956 search results - page 52 / 192 » A security framework for agent-based systems |
162
click to vote
IJHPCN
2008
15 years 6 months ago
2008
: Publish/Subscribe infrastructures have gained significant traction recently with several specifications such as the Java Message Service (JMS), WS-Eventing and WS-Notification. I...
186
click to vote
TCS
2008
15 years 6 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
176
click to vote
IFIP11
2004
15 years 8 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
174
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Security of stored templates is a critical issue in biometric systems because biometric templates are non-revocable. Fuzzy vault is a cryptographic framework that enables secure te...
147
click to vote
NOMS
2006
IEEE
16 years 16 days ago
2006
IEEE
—Network identity management system, in theory, is conceived as the solution to many identity-related issues burgeoning day-to-day. These issues, which need to be addressed, rang...