112 search results - page 6 / 23 » Security proofs for an efficient password-based key exchange |
176
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
A key exchange protocol allows a set of parties to agree upon a secret session key over a public network. Two-party key exchange (2PKE) protocols have been rigorously analyzed unde...
174
click to vote
CCS
2005
ACM
16 years 2 days 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...
210
click to vote
PKC
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. An unresolved problem in research on authenticated key exchange (AKE) is to construct a secure protocol against advanced attacks such as key compromise impersonation and ...
168
click to vote
ACISP
2010
Springer
15 years 8 months ago
2010
Springer
We provide the first description of and security model for authenticated key exchange protocols with predicate-based authentication. In addition to the standard goal of session ke...