1059 search results - page 127 / 212 » Modeling Security Protocols as Games |
95
Voted
TGC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
113
click to vote
LCN
2006
IEEE
15 years 6 months ago
2006
IEEE
IP Multicast is best known for its bandwidth conservation and lower resource utilization. The classical model of multicast makes it difficult to permit access only to authorized ...
104
click to vote
EUROCRYPT
2005
Springer
15 years 6 months ago
2005
Springer
Biometric data offer a potential source of high-entropy, secret information that can be used in cryptographic protocols provided two issues are addressed: (1) biometric data are n...
101
click to vote
ASIAN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
116
Voted
WOTE
2010
14 years 10 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...