Sciweavers

Share
PROVSEC
2007
Springer

Stronger Security of Authenticated Key Exchange

12 years 19 days ago
Stronger Security of Authenticated Key Exchange
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outside the boundary of the current class of security definitions. In an attempt to bring these attacks within the scope of analysis we extend the AKE security definition to provide greater powers to the adversary. We provide a general framework for defining AKE security, which we call strong AKE security, such that existing security definitions occur as instances of the framework. We then introduce NAXOS, a new two-pass AKE protocol, and prove that it is secure in this stronger definition. In addition, we formulate a notion of ephemeral secret key which captures all ephemeral information used in session establishment. We demonstrate the importance of this formulation by showing that a secure AKE protocol SIG-DH can become vulnerable when instantiated with signature schemes which are insecure against revelatio...
Brian A. LaMacchia, Kristin Lauter, Anton Mityagin
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where PROVSEC
Authors Brian A. LaMacchia, Kristin Lauter, Anton Mityagin
Comments (0)
books