A new look at an old protocol

Operating Systems Review (ACM)

Volumn 30, Issue 3, 1996, Pages 1-4

  Syverson, Paul F ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 2842611393     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/230908.230911     Document Type: Article

References (13)

1. Martín Abadi and Mark Tuttle. A Semantics for a Logic of Authentication. In Proceedings of the Tenth ACM Symposium on Principles of Distributed Computing, pages 201-216. ACM Press, August 1991.
2. Michael Burrows, Martín Abadi, and Roger Needham. A Logic of Authentication. Research Report 39, Digital Systems Research Center, February 1989. Parts and versions of this material have been presented in many places including ACM Transactions on Computer Systems, 8(1): 18-36, Feb. 1990. All references herein are to the SRC Research Report 39 as revised Feb. 22, 1990.
3. S.M. Bellovin and M. Merritt. Encrypted Key Exchange: Password-based Protocols Secure Against Dictionary Attacks. In Proc. IEEE Computer Society Symposium on Research in Security and Privacy, pages 72-84. IEEE Computer Society Press, Los Alamitos, California, May 1992.
4. S.M. Bellovin and M. Merritt. Augmented Encrypted Key Exchange: a Password-based Protocol Secure Against Dictionary Attacks and Password File Compromise. In Proc. First ACM Conference on Computer and Communications Security, pages 244-250, November 1993.
5. D. E. Denning and G. M. Sacco. Timestamps in Key Distribution Protocols. Communications of the ACM, 24(8):533-536, August 1981.
6. Li Gong, Roger Needham, and Raphael Yahalom. Reasoning about Belief in Cryptographic Protocols. In Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy, pages 234-248. IEEE Computer Society Press, Los Alamitos, California, 1990.
7. D. M. Nessett. A Critique of the Burrows, Abadi, and Needham Logic. Operating Systems Review, 24(2):35-38, April 1990.
8. R.M. Needham and M.D. Schroeder. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM, 21(12):993-999, December 1978.
9. Paul F. Syverson and Paul C. van Oorschot. A Unified Cryptographic Protocol Logic. Submitted for Publication. Parts of this paper appeared in preliminary form in [SvO94].
10. Paul F. Syverson and Paul C. van Oorschot. On Unifying Some Cryptographic Protocol Logics. In Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, pages 14-28. IEEE Computer Society Press, Los Alamitos, California, 1994.
11. Paul F. Syverson. Knowledge, Belief, and Semantics in the Analysis of Cryptographic Protocols. Journal of Computer Security, 1(3):317-334, 1992.
12. Paul C. van Oorschot. Extending Cryptographic Logics of Belief to Key Agreement Protocols (Extended Abstract). In Proceedings of the First ACM Conference on Computer and Communications Security, pages 232-243, November 1993.
13. Gabriele Wedel and Volker Kessler. Formal Semantics for Authentication Logics. Submitted for Publication.