Design of secure key establishment protocols: successes, failures and prospects

Authors:
Colin Boyd
Affiliations:
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 18
Cited 0

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
Using encryption for authentication in large networks of computers

Communications of the ACM
Key Exchange in IPSec: Analysis of IKE

IEEE Internet Computing
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Robustness Principles for Public Key Protocols

CRYPTO '95 Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology
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
On the Security of Joint Signature and Encryption

EUROCRYPT '02 Proceedings of the International Conference on the Theory and Applications 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
Universally Composable Security: A New Paradigm for Cryptographic Protocols

FOCS '01 Proceedings of the 42nd IEEE symposium on Foundations of Computer Science
Prudent Engineering Practice for Cryptographic Protocols

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission

SP '01 Proceedings of the 2001 IEEE Symposium on Security and Privacy
From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification

Proceedings of the 2003 workshop on New security paradigms
Scalable Protocols for Authenticated Group Key Exchange

Journal of Cryptology
Authenticated key exchange secure against dictionary attacks

EUROCRYPT'00 Proceedings of the 19th international conference on Theory and application of cryptographic techniques
Provably secure mobile key exchange: applying the Canetti-Krawczyk approach

ACISP'03 Proceedings of the 8th Australasian conference on Information security and privacy
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Key establishment protocols form one of the most basic types of cryptographic protocols and have been studied intensively for over 20 years. The current status of design and analysis methods is reviewed with particular reference to formal appoaches. Likely future trends and open issues are also discussed.