Journal article icon

Journal article

Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol

Abstract:

In the paper, 'stronger security of authenticated key exchange' (LaMacchia et al., 2006, 2007), a new security model for authenticated key exchange protocols (eCK) is proposed. The new model is suggested to be at least as strong as previous models for key exchange protocols, such as the CK model (Canetti and Krawczyk, 2001; Krawczyk, 2005). The model includes a new notion of an EphemeralKeyReveal adversary query, which is claimed in e.g., LaMacchia et al. (2006...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1504/IJACT.2010.038304

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Kellogg College
Role:
Author
Publisher:
Inderscience
Journal:
International Journal of Applied Cryptography More from this journal
Volume:
2
Issue:
2
Pages:
83-83
Publication date:
2011-01-28
DOI:
EISSN:
1753-0571
ISSN:
1753-0563
Keywords:
Pubs id:
pubs:427787
UUID:
uuid:f84453a7-494c-4964-b6ad-a084a592e04b
Local pid:
pubs:427787
Source identifiers:
427787
Deposit date:
2017-01-03

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP