Design and analysis of Diffie-Hellman-based key exchange using one-time ID by SVO logic

Electronic Notes in Theoretical Computer Science

Volumn 135, Issue 1, 2005, Pages 79-94

  Imamoto, Kenji ^a   Sakurai, Kouichi ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

Diffie Hellman based key exchange; One time ID; Pre shared key model; SVO Logic

Indexed keywords

CRYPTOGRAPHY; INFORMATION ANALYSIS; INTERNET; RESEARCH; TELECOMMUNICATION SERVICES;

DIFFIE-HELLMAN BASED KEY EXCHANGE; ONE-TIME ID; PRE-SHARED KEY MODEL; SVO LOGIC;

NETWORK PROTOCOLS;

EID: 23144441485     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.06.003     Document Type: Conference Paper

References (13)

1. R. Perlman, C. Kaufman, Analysis of IPSec Key Exchange Standard, WETICE2001, 2001
2. K. Imamoto, K. Sakurai, Notes on Dynamic Information Management for Authenticated Key Exchange, ISEC, March 2003
3. H. Krawczyk, The IKE-SIGMA Protocol, Internet Draft, Nov 2001. http://www.ee.technion.ac.il/~hugo/draft-krawczyk-ipsec-ike-sigma-00.txt
4. C. Neuman and T. Ts'o, Kerberos: an authentication service for computer networks, IEEE communications, 1994
5. D. Otway, and O. Rees Efficient and timely mutual authentication Operating Systems Review 21 1 1987 8 10
6. C. Lin, H. Wen, T. Hwang, and H. Sun Provably Secure Three-Party Password-Authenticated Key Exchange IEICE TRANS. Fundamentals E85 A 1 2002
7. P. Syverson and P. C. van Oorschot. A Unified Cryptographic Protocol Logic. NRL CHAOS Report, 5540-227, 1996
8. P. Syverson, and I. Cervesato The Logic of Authentication Protocols FOSAD'00 LNCS 2171 2001 63 137
9. W. Diffie and M. E. Hellman, "New directions in cryptography", IEEE Trans. Inform. Theory IT-22:644-654, Nov 1976
10. D. Harkins and D. Carrel. The Internet Key Exchange (IKE), RFC2409, 1998. http://www.ietf.org/rfc/rfc2409.txt
11. V. Shoup, On formal models for secure key exchange, IBM Research Report RZ3120, April 1999
12. V. Boyko, P. MacKenzie, and S. Patel, Provably Secure Password-Authenticated Key Exchange Using Diffie-Hellman, EUROCRYPT'2000, 2000
13. H. Krawczyk, SIGMA: the 'SIGn-and-MAc' Approach to Authenticated Diffie-Hellman and its Use in the IKE Protocols, 2003