See this document in CiteSeerX!

On Session Key Construction in Provably-Secure Key Establishment Protocols (2005)  (Make Corrections)  
Kim-Kwang Raymond Choo, Colin Boyd, and Yvonne Hitchcock Information Security ...



  Home/Search   Context   Related

 
View or download:
iacr.org/2005/206.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  iacr.org/complete/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We examine the role of session key construction in provablysecure key establishment protocols. We revisit an ID-based key establishment protocol due to Chen & Kudla (2003) and an ID-based protocol 2P-IDAKA due to McCullagh & Barreto (2005). Both protocols carry proofs of security in a weaker variant of the Bellare & Rogaway (1993) model where the adversary is not allowed to make any Reveal query. (Update)

Active bibliography (related documents):   More   All
0.4:   Overview of Key Agreement Protocols - Dutta, Barua (2005)   (Correct)
0.3:   On Session Identifiers in Provably Secure Protocols - .. - Choo, Boyd.. (2004)   (Correct)
0.3:   Towards Extensional Goals in Authentication Protocols - Boyd (1997)   (Correct)

Similar documents based on text:   More   All
0.2:   Revisit of McCullagh-Barreto Two-Party ID-Based Authenticated Key.. - Choo (2004)   (Correct)
0.2:   Accelerating Key Establishment Protocols for Mobile.. - Lee, Hong, Yoon, Cho   (Correct)
0.2:   A Password-Based Authenticator: Security Proof and.. - Hitchcock, Tin..   (Correct)

BibTeX entry:   (Update)

@misc{ choo-session,
  author = "Kim-Kwang Raymond Choo",
  title = "On Session Key Construction in Provably-Secure Key Establishment Protocols",
  url = "citeseer.ist.psu.edu/723704.html" }
Citations (may not include all citations):
188   Entity Authentication and Key Distribution (context) - Bellare, Rogaway - 1993
176   Timestamps in Key Distribution Protocols (context) - Denning, Sacco - 1981
130   Provably Secure Session Key Distribution: The Three Party Ca.. - Bellare, Rogaway - 1995
120   A Modular Approach to The Design and Analysis of Authenticat.. (context) - Bellare, Canetti et al. - 1998
110   Authenticated Key Exchange Secure Against Dictionary Attacks - Bellare, Pointcheval et al. - 2000
59   The Gap-Problems: a New Class of Problems for the Security o.. (context) - Okamoto, Pointcheval - 2001
51   Analysis of Key-Exchange Protocols and Their Use for Buildin.. - Canetti, Krawczyk - 2001
18   A New Two-Party IdentityBased Authenticated Key Agreement - McCullagh, Barreto - 2005
14   Key Agreement Protocols and their Security Analysis - Blake-Wilson, Johnson et al. - 1997
12   Protocols for Authentication and Key Establishment (context) - Boyd, Mathuria - 2003
11   Identity Based Authenticated Key Agreement Protocols from Pa.. - Chen, Kudla - 2003
11   Provable Security (context) - Koblitz, Menezes et al. - 2004
7   SIGMA: The 'SIGn-and-MAc' Approach to Authenticated Di#eHell.. (context) - Krawczyk - 2003
4   One-Round Protocols for Two-Party Authenticated Key Exchange - Jeong, Katz et al. - 2004
4   Some Attacks Upon Authenticated Group Key Agreement Protocol.. - Pereira, Quisquater - 2003
3   Personal Communication (context) - Chow - 2005
3   Security Proofs for Entity Authentication and Authenticated .. - Blake-Wilson, Menezes - 1997
1   Security Analysis of a Password Authenticated Key Exchange P.. (context) - Bao - 2003
1   Revisit Of McCullagh--Barreto Two-Party ID-Based Authenticat.. (context) - Choo - 2004

Documents on the same site (http://eprint.iacr.org/complete/):   More
A Tool for Obtaining Tighter Security Analyses of.. - Bellare, Impagliazzo (1999)   (Correct)
Chameleon Hashing and Signatures - Krawczyk, Rabin (1997)   (Correct)
Verifiable Encryption and Applications to Group.. - Camenisch, Damgård (1999)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC