1790 search results - page 121 / 358 » On Privacy Models for RFID |
139
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
188
click to vote
ACSAC
1996
IEEE
15 years 9 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
149
click to vote
ACISP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose new instantiations of chosen-ciphertext secure identitybased encryption schemes with wildcards (WIBE). Our schemes outperform all existing alternatives in term...
145
click to vote
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
145
Voted
ESORICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract We present a computational analysis of basic Kerberos with and without its public-key extension PKINIT in which we consider authentication and key secrecy properties. Our ...