A framework for design of key establishment protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1172, Issue , 1996, Pages 146-157

  Boyd, Colin ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONCRETE DESIGN; HIGH LEVEL OF ABSTRACTION; KEY ESTABLISHMENT PROTOCOL;

SECURITY OF DATA;

EID: 35048851277     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0023295     Document Type: Conference Paper

References (11)

1. M. Abadi and R. Needham, "Prudent Engineering Practice for Cryptographic Protocols", DEC SRC Research Report 125. June 1994.
2. S. Bakhtiari, R. Safavi-Naini and J. Pieprzyk, "Keyed Hash Functions", Cryptography: Policy and Algorithms, Springer-Verlag, 1996, pp. 201-214.
3. C. Boyd, "A Class of Flexible and Efficient Key Management Protocol", IEEE Security Foundations Workshop, IEEE Press, 1996, pp. 2-8.
4. M. Burrows, M. Abadi, and R.M. Needham, "A Logic of Authentication", ACM Transactions on Computer Systems, Vol 8, 1, February 1990, pp 18-36.
5. W. Diffie and M.E. Heilman, "New Directions in Cryptography", IEEE Transaction on Information Theory, IT-22, pp. 644-654, 1976.
6. L. Gong, "Efficient Network Authentication Protocols: Lower Bounds and Optimal Implementations", Distributed Computing, 9(3), 1995.
7. L. Gong and P. Syverson, "Fail-Stop Protocols: An Approach to Designing Secure Protocols", Proceedings of IFIP DCCA-5, Illinois, September 1995. (Available as http://www.csl.sri.com/~gong/failstop-protocols.ps.gz.)
8. W. Mao and C. Boyd, "Methodical Use of Cryptographic Transformations in Authentication Protocols", IEE Proceedings - Computers and Digital Techniques, 142, 4, July 1995. pp. 272-278.
9. R. M. Needham & M. D. Schroeder, "Using Encryption for Authentication in Large Networks of Computers", Communications of the ACM, 21, 12, December 1978, 993-999.
10. R. Kemmerer, C. Meadows and J. Millen, "Three Systems for Cryptographic Protocols Analysis", Journal of Cryptology, 7, 2, Spring 1994, pp. 79-130.
11. Thomas Y.C. Woo and Simon S. Lam, "A Lesson on Authentication Protocol Design", ACM Operating Systems Review, July 1994.