1790 search results - page 194 / 358 » On Privacy Models for RFID |
181
click to vote
CSFW
2006
IEEE
16 years 16 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
143
click to vote
IEEEARES
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper we present a mixed qualitative and quantitative approach for evaluation of Information Technology (IT) security investments. For this purpose, we model security scen...
196
click to vote
CSFW
2005
IEEE
16 years 2 days ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
199
click to vote
CCS
2005
ACM
16 years 10 hour ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
142
click to vote
ISPEC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...