Provably secure mobile key exchange: applying the Canetti-Krawczyk approach

Authors:
Yiu Shing Terry Tin;Colin Boyd;Juan Manuel González Nieto
Affiliations:
Information Security Research Centre, Queensland University of Technology, Brisbane, QLD, Australia;Information Security Research Centre, Queensland University of Technology, Brisbane, QLD, Australia;Information Security Research Centre, Queensland University of Technology, Brisbane, QLD, Australia
Venue:
ACISP'03 Proceedings of the 8th Australasian conference on Information security and privacy
Year:
2003

Citing 7
Cited 6

Authentication and authenticated key exchanges

Designs, Codes and Cryptography
Random oracles are practical: a paradigm for designing efficient protocols

CCS '93 Proceedings of the 1st ACM conference on Computer and communications security
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
Authentication and Payment in Future Mobile Systems

ESORICS '98 Proceedings of the 5th European Symposium on Research in Computer Security
Mutual Authentication for Low-Power Mobile Devices

FC '01 Proceedings of the 5th International Conference on Financial Cryptography

Modular security proofs for key agreement protocols

ASIACRYPT'05 Proceedings of the 11th international conference on Theory and Application of Cryptology and Information Security
On the design of provably secure identity-based authentication and key exchange protocol for heterogeneous wireless access

ICCNMC'05 Proceedings of the Third international conference on Networking and Mobile Computing
Design of secure key establishment protocols: successes, failures and prospects

INDOCRYPT'04 Proceedings of the 5th international conference on Cryptology in India
Tripartite key exchange in the canetti-krawczyk proof model

INDOCRYPT'04 Proceedings of the 5th international conference on Cryptology in India
Security analysis of KEA authenticated key exchange protocol

PKC'06 Proceedings of the 9th international conference on Theory and Practice of Public-Key Cryptography
LAKE: A Server-Side Authenticated Key-Establishment with Low Computational Workload

ACM Transactions on Internet Technology (TOIT)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Practical use of the Canetti and Krawczyk approach to development of proven secure key exchange protocols is explored. The suite of protocols that can be developed using existing building blocks is discussed. An additional building block is provided by proving a new protocol secure in the ideal model of the approach. In the application area of wireless protocols it is shown that the best existing protocols can be matched with versions carrying security proofs. We conclude that building a library of building blocks will allow protocols with proven security to become the norm rather than the exception.