5488 search results - page 246 / 1098 » On the Secure Implementation of Security Protocols |
175
click to vote
TCC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
176
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Password-based protocols for authenticated key exchange (AKE) are designed to work despite the use of passwords drawn from a space so small that an adversary might well enumerate, ...
144
click to vote
SPW
2005
Springer
16 years 2 days ago
2005
Springer
We describe our work in progress aimed at implementing a multi-hat PDA. Our current prototype is based on SELinux and KDE and accepts a proximity token, in the form of a Bluetooth ...
162
click to vote
ACISP
2007
Springer
15 years 10 months ago
2007
Springer
This paper studies the interplay of network connectivity and perfectly secure message transmission under the corrupting influence of a Byzantine mobile adversary that may move from...
144
click to vote
IJNSEC
2008
15 years 6 months ago
2008
Many security and privacy protocols for RFID systems have been proposed [8, 13, 19, 20]. In most cases these protocols are evaluated in terms of security based on some model. Ofte...