947 search results - page 4 / 190 » Provable Implementations of Security Protocols |
ACNS
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. One of the main challenges in RFIDs is the design of privacypreserving authentication protocols. Indeed, such protocols should not only allow legitimate readers to authen...
ACSW
2003
13 years 10 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
ESAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
EUROCRYPT
2000
Springer
14 years 4 days ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
Group Key Agreement (GKA) protocols enable the participants to derive a key based on each one's contribution over a public network without any central authority. They also pr...