Design of Secure Key Establishment Protocols: Successes, Failures and Prospects

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.

DOI: 10.1007/978-3-540-30556-9_1

Extracted Key Phrases

Cite this paper

@inproceedings{Boyd2004DesignOS, title={Design of Secure Key Establishment Protocols: Successes, Failures and Prospects}, author={Colin Boyd}, booktitle={INDOCRYPT}, year={2004} }