Tripartite key exchange in the canetti-krawczyk proof model

Authors:
Yvonne Hitchcock;Colin Boyd;Juan Manuel González Nieto
Affiliations:
Information Security Research Centre, Queensland University of Technology, Brisbane, Australia;Information Security Research Centre, Queensland University of Technology, Brisbane, Australia;Information Security Research Centre, Queensland University of Technology, Brisbane, Australia
Venue:
INDOCRYPT'04 Proceedings of the 5th international conference on Cryptology in India
Year:
2004

Citing 12
Cited 3

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
Provably authenticated group Diffie-Hellman key exchange

CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Handbook of Applied Cryptography

Handbook of Applied Cryptography
Efficient Identity Based Signature Schemes Based on Pairings

SAC '02 Revised Papers from the 9th Annual International Workshop on Selected Areas in Cryptography
Identity-Based Encryption from the Weil Pairing

CRYPTO '01 Proceedings of the 21st Annual International Cryptology Conference on Advances in Cryptology
Efficient Algorithms for Pairing-Based Cryptosystems

CRYPTO '02 Proceedings of the 22nd Annual International Cryptology Conference on Advances in Cryptology
Relations Among Notions of Security for Public-Key Encryption Schemes

CRYPTO '98 Proceedings of the 18th Annual International Cryptology Conference on Advances in Cryptology
Short Signatures from the Weil Pairing

ASIACRYPT '01 Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology
An Identity-Based Signature from Gap Diffie-Hellman Groups

PKC '03 Proceedings of the 6th International Workshop on Theory and Practice in Public Key Cryptography: Public Key Cryptography
A One Round Protocol for Tripartite Diffie-Hellman

ANTS-IV Proceedings of the 4th International Symposium on Algorithmic Number Theory
Provably secure mobile key exchange: applying the Canetti-Krawczyk approach

ACISP'03 Proceedings of the 8th Australasian conference on Information security and privacy
Protocols for Authentication and Key Establishment

Protocols for Authentication and Key Establishment

Modeling leakage of ephemeral secrets in tripartite/group key exchange

ICISC'09 Proceedings of the 12th international conference on Information security and cryptology
Modular security proofs for key agreement protocols

ASIACRYPT'05 Proceedings of the 11th international conference on Theory and Application of Cryptology and Information Security
Errors in computational complexity proofs for protocols

ASIACRYPT'05 Proceedings of the 11th international conference on Theory and Application of Cryptology and Information Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

A definition of secure multi-party key exchange in the Canetti-Krawczyk proof model is proposed, followed by a proof of the security of the Joux tripartite key agreement protocol according to that definition. The Joux protocol is then combined with two authentication mechanisms to produce a variety of provably secure key agreement protocols. The properties and efficiency of the Joux based protocols thus derived are then compared with each other and other published tripartite key agreement protocols. It is concluded that the Joux protocol can be used to generate efficient yet provably secure protocols.