153 search results - page 7 / 31 » Multi-factor Authenticated Key Exchange |
106
click to vote
EUROCRYPT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
104
click to vote
TCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...
132
click to vote
ICICS
2010
Springer
14 years 11 months ago
2010
Springer
With today's technology, many applications rely on the existence of small devices that can exchange information and form communication networks. In a significant portion of su...
123
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...