Examining indistinguishability-based proof models for key establishment protocols

Authors:
Kim-Kwang Raymond Choo;Colin Boyd;Yvonne Hitchcock
Affiliations:
Information Security Institute, Queensland University of Technology, Brisbane, Australia;Information Security Institute, Queensland University of Technology, Brisbane, Australia;Information Security Institute, Queensland University of Technology, Brisbane, Australia
Venue:
ASIACRYPT'05 Proceedings of the 11th international conference on Theory and Application of Cryptology and Information Security
Year:
2005

Citing 12
Cited 47

Entity authentication and key distribution

CRYPTO '93 Proceedings of the 13th annual international cryptology conference on Advances in cryptology
Provably secure session key distribution: the three party case

STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract)

STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels

EUROCRYPT '01 Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques: Advances in Cryptology
Efficient and Mutually Authenticated Key Exchange for Low Power Computing Devices

ASIACRYPT '01 Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology
Entity Authentication and Authenticated Key Transport Protocols Employing Asymmetric Techniques

Proceedings of the 5th International Workshop on Security Protocols
Key Agreement Protocols and Their Security Analysis

Proceedings of the 6th IMA International Conference on Cryptography and Coding
Authenticated key exchange secure against dictionary attacks

EUROCRYPT'00 Proceedings of the 19th international conference on Theory and application of cryptographic techniques
Examining indistinguishability-based proof models for key establishment protocols

ASIACRYPT'05 Proceedings of the 11th international conference on Theory and Application of Cryptology and Information Security
Interactive diffie-hellman assumptions with applications to password-based authentication

FC'05 Proceedings of the 9th international conference on Financial Cryptography and Data Security
On session identifiers in provably secure protocols: the Bellare-Rogaway three-party key distribution protocol revisited

SCN'04 Proceedings of the 4th international conference on Security in Communication Networks
A new two-party identity-based authenticated key agreement

CT-RSA'05 Proceedings of the 2005 international conference on Topics in Cryptology

Security weakness in a three-party pairing-based protocol for password authenticated key exchange

Information Sciences: an International Journal
Obtaining a secure and efficient key agreement protocol from (H)MQV and NAXOS

Designs, Codes and Cryptography
Cryptanalysis of simple three-party key exchange protocol (S-3PAKE)

Information Sciences: an International Journal
Securing group key exchange against strong corruptions

Proceedings of the 2008 ACM symposium on Information, computer and communications security
Security arguments for the UM key agreement protocol in the NIST SP 800-56A standard

Proceedings of the 2008 ACM symposium on Information, computer and communications security
Comparing the Pre- and Post-specified Peer Models for Key Agreement

ACISP '08 Proceedings of the 13th Australasian conference on Information Security and Privacy
Securing group key exchange against strong corruptions and key registration attacks

International Journal of Applied Cryptography
Forward Secure Password-Based Authenticated Key Distribution in the Three-Party Setting

NPC '08 Proceedings of the IFIP International Conference on Network and Parallel Computing
Efficient and Strongly Secure Password-Based Server Aided Key Exchange (Extended Abstract)

INDOCRYPT '08 Proceedings of the 9th International Conference on Cryptology in India: Progress in Cryptology
A Modular Security Analysis of the TLS Handshake Protocol

ASIACRYPT '08 Proceedings of the 14th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology
Comparing the pre- and post-specified peer models for key agreement

International Journal of Applied Cryptography
Authenticated wireless roaming via tunnels: making mobile guests feel at home

Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
An ID-based authenticated key exchange protocol based on bilinear Diffie-Hellman problem

Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
Group Key Exchange Enabling On-Demand Derivation of Peer-to-Peer Keys

ACNS '09 Proceedings of the 7th International Conference on Applied Cryptography and Network Security
Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol

ACNS '09 Proceedings of the 7th International Conference on Applied Cryptography and Network Security
Password-based authenticated key distribution in the three-party setting with forward security

International Journal of Communication Networks and Distributed Systems
HPAKE: Password Authentication Secure against Cross-Site User Impersonation

CANS '09 Proceedings of the 8th International Conference on Cryptology and Network Security
Fully Robust Tree-Diffie-Hellman Group Key Exchange

CANS '09 Proceedings of the 8th International Conference on Cryptology and Network Security
On security models and compilers for group key exchange protocols

IWSEC'07 Proceedings of the Security 2nd international conference on Advances in information and computer security
Stronger security of authenticated key exchange

ProvSec'07 Proceedings of the 1st international conference on Provable security
Security of a leakage-resilient protocol for key establishment and mutual authentication

ProvSec'07 Proceedings of the 1st international conference on Provable security
Secure cross-realm client-to-client password-based authenticated key exchange against undetectable on-line dictionary attacks

AAECC'07 Proceedings of the 17th international conference on Applied algebra, algebraic algorithms and error-correcting codes
Traceable privacy of recent provably-secure RFID protocols

ACNS'08 Proceedings of the 6th international conference on Applied cryptography and network security
A new security model for authenticated key agreement

SCN'10 Proceedings of the 7th international conference on Security and cryptography for networks
Modeling and analyzing security in the presence of compromising adversaries

ESORICS'10 Proceedings of the 15th European conference on Research in computer security
Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol

International Journal of Applied Cryptography
Constructing certificateless encryption and ID-based encryption from ID-based key agreement

Pairing'10 Proceedings of the 4th international conference on Pairing-based cryptography
Security analysis of the extended access control protocol for machine readable travel documents

ISC'10 Proceedings of the 13th international conference on Information security
Cross-realm password-based server aided key exchange

WISA'10 Proceedings of the 11th international conference on Information security applications
Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security
Strongly secure identity-based authenticated key agreement protocols

Computers and Electrical Engineering
Non-repudiable authentication and billing architecture for wireless mesh networks

Wireless Networks
Privacy Analysis of Forward and Backward Untraceable RFID Authentication Schemes

Wireless Personal Communications: An International Journal
Cryptanalysis of two provably secure cross-realm C2C-PAKE protocols

INDOCRYPT'06 Proceedings of the 7th international conference on Cryptology in India
Provably secure three-party password authenticated key exchange protocol in the standard model

Journal of Systems and Software
Examining indistinguishability-based proof models for key establishment protocols

ASIACRYPT'05 Proceedings of the 11th international conference on Theory and Application of Cryptology and Information Security
Flexible group key exchange with on-demand computation of subgroup keys

AFRICACRYPT'10 Proceedings of the Third international conference on Cryptology in Africa
Security analysis of KEA authenticated key exchange protocol

PKC'06 Proceedings of the 9th international conference on Theory and Practice of Public-Key Cryptography
A framework for robust group key agreement

ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part III
Password based server aided key exchange

ACNS'06 Proceedings of the 4th international conference on Applied Cryptography and Network Security
A diffie-hellman key exchange protocol without random oracles

CANS'06 Proceedings of the 5th international conference on Cryptology and Network Security
Analysis of the SSH key exchange protocol

IMACC'11 Proceedings of the 13th IMA international conference on Cryptography and Coding
Cryptanalysis of a provably secure cross-realm client-to-client password-authenticated key agreement protocol of CANS '09

CANS'11 Proceedings of the 10th international conference on Cryptology and Network Security
Cryptanalysis of a communication-efficient three-party password authenticated key exchange protocol

Information Sciences: an International Journal
Sufficient condition for identity-based authenticated key exchange resilient to leakage of secret keys

ICISC'11 Proceedings of the 14th international conference on Information Security and Cryptology
Malicious participants in group key exchange: key control and contributiveness in the shadow of trust

ATC'07 Proceedings of the 4th international conference on Autonomic and Trusted Computing
Strongly-secure identity-based key agreement and anonymous extension

ISC'07 Proceedings of the 10th international conference on Information Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

We examine various indistinguishability-based proof models for key establishment protocols, namely the Bellare & Rogaway (1993, 1995), the Bellare, Pointcheval, & Rogaway (2000), and the Canetti & Krawczyk (2001) proof models. We then consider several variants of these proof models, identify several subtle differences between these variants and models, and compare the relative strengths of the notions of security between the models. For each of the pair of relations between the models (either an implication or a non-implication), we provide proofs or counter-examples to support the observed relations. We also reveal a drawback with the original formulation of the Bellare, Pointcheval, & Rogaway (2000) model, whereby the Corrupt query is not allowed.