1790 search results - page 130 / 358 » On Privacy Models for RFID |
178
click to vote
CSFW
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
142
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
143
click to vote
BIOSURVEILLANCE
2008
Springer
15 years 7 months ago
2008
Springer
Salmonella is among the most common food borne illnesses which may result from consumption of contaminated products. In this paper we model the co-occurrence data between USDA-cont...
158
click to vote
ACISP
2008
Springer
15 years 7 months ago
2008
Springer
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
155
Voted
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...