1790 search results - page 194 / 358 » On Privacy Models for RFID |
204
click to vote
CSFW
2006
IEEE
16 years 1 months 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...
154
click to vote
IEEEARES
2006
IEEE
16 years 1 months 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...
208
click to vote
CSFW
2005
IEEE
16 years 18 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...
216
Voted
CCS
2005
ACM
16 years 16 days 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...
159
click to vote
ISPEC
2005
Springer
16 years 14 days 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...