A formal language for cryptographic protocol requirements

Designs, Codes, and Cryptography

Volumn 7, Issue 1-2, 1996, Pages 27-59

  Syverson, Paul ^a   Meadows, Catherine ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001937830     PISSN: 09251022     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00125075     Document Type: Article

References (30)

1. Martín Abadi, An Axiomatization of Lamport's Temporal Logic of Action, Research Report 65, Digital Systems Research Center, (October 1990).
2. Martín Abadi and Mark Tuttle, A semantics for a logic of authentication, Proceedings of the Tenth ACM Symposium on Principles of Distributed Computing, ACM Press (August 1991) pp. 201-216.
3. A. Aziz and W. Diffie, Privacy and authentication for wireless local area networks, IEEE Personal Communications, Vol. 1, No. 1 (1994) pp. 25-31.
4. M. Bellare and P. Rogaway, Entity authentication and key distribution, Advances in Cryptology - CRYPTO '93, volume to appear, Springer-Verlag (1994).
5. Ray Bird, Inder Gopal, Amir Herzberg, Phil Janson, Shay Kutten, Refik Molva, and Moti Yung, Systematic design of two-party authentication protocols, Advances in Cryptology - CRYPTO '91, (Joan Feigenbaum, ed.), Lecture Notes in Computer Science, Springer Verlag, Berlin, 572 (1992).
6. J. Burns and C.J. Mitchell, A security scheme for resource sharing over a network, Computers and Security, Vol. 9 (1990) pp. 67-76.
7. 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, Vol. 8, No. 1 (1990) pp. 18-36. All references herein are to the SRC Research Report 39 as revised Feb. 22, 1990.
8. Michael Burrows, Martín Abadi, and Roger Needham, Rejoinder to Nessett, Operating Systems Review, Vol. 24, No. 2 (1990) pp. 39-40.
9. D. Chaum, A. Fiat, and M. Naor, Untraceable electronic cash, Advances in Cryptology - CRYPTO '88, (S. Goldwasser, ed.), Springer-Verlag, LNCS 403 (1990) pp. 319-327.
10. Whitfield Diffie and Martin E. Hellman, New directions in cryptography, IEEE Transactions on Information Theory, Vol. IT-22, No. 6 (1976) pp. 644-654.
11. Whitfield Diffie, Paul C. van Oorschot, and Michael J. Wiener, Authentication and authenticated key exchanges, Designs, Codes, and Cryptography, Vol. 2 (1992) pp. 107-125.
12. D. Dolev and A. Yao, On the security of public key protocols, IEEE Transactions on Information Theory, Vol. 29, No. 2 (1983) pp. 198-208.
13. Taher ElGamal, A public-key cryptosystem and a signature scheme based on discrete logarithms, IEEE Transactions on Information Theory, Vol. IT-31, No. 4 (1985) pp. 469-472.
14. nd edition, CSLI Lecture Notes, CSLI Publications, Stanford, 7 (1992).
15. Leslie Lamport, A Temporal Logic of Action, Research Report 57, Digital systems research Center, (April 1990).
16. C. Meadows, A system for the specification and analysis of key management protocols, Proceedings of the 1991 IEEE Computer Society Symposium on Research in Security and Privacy, IEEE Computer Society Press, Los Alamitos, California, (1991) pp. 182-195.
17. C. Meadows, Applying formal methods to the analysis of a key management protocol, Journal of Computer Security, Vol. 1 (1992) pp. 5-53.
18. M. J. Merritt, Cryptographic Protocols, Ph.d. thesis, Georgia Institute of Technology (1983).
19. S. P. Miller, C. Neuman, J. I. Schiller, and J. H. Saltzer, Kerberos authentication and authorization system, in Project Athena Technical Plan. MIT, Cambridge, Mass. (July 1987).
20. D. M. Nessett, A critique of the Burrows, Abadi, and Needham logic, Operating Systems Review, Vol. 24, No. 2 (1990) pp. 35-38.
21. S. G. Stubblebine and V. D. Gligor, On message integrity in cryptographic protocols, Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, IEEE Computer Society Press, Los Alamitos, California (1992) pp. 85-104.
22. Paul Syverson and Catherine Meadows, A logical language for specifying cryptographic protocol requirements, Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, IEEE Computer Society Press, Los Alamitos, California (1993) pp. 165-177.
23. Paul Syverson and Catherine Meadows, Formal requirements for key distribution protocols, Pre-proceedings of EUROCRYPT '94, University of Perugia, Italy, (1994) pp. 325-337. Final proceedings forthcoming from Springer-Verlag.
24. Paul F. Syverson, The use of logic in the analysis of cryptographic protocols, Proceedings of the 1991 IEEE Computer Society Symposium on Research in Security and Privacy, IEEE Computer Society Press, Los Alamitos, California (1991) pp. 156-170.
25. Paul F. Syverson, Adding time to a logic of authentication, Proceedings of the First ACM Conference on Computer and Communications Security, ACM Press, New York (1993) pp. 97-101.
26. Paul F. Syverson, On key distribution protocols for repeated authentication, Operating Systems Review, Vol. 27, No. 4 (1993) pp. 24-30.
27. M.-J. Toussaint, Separating the specification and implementation phases in cryptology, Computer Security - ESORICS 92, Springer-Verlag LMCS 638 (1992) pp. 77-102.
28. Johan van Bentham, The Logic of Time, Synthese Library, Vol. 156, Kluwer Academic Publishers, Dordrecht, The Netherlands, second edition, (1991).
29. T. Y. C. Woo and S. Lam, A semantic model for authentication protocols, Proceedings of the 1993 Symposium on Research in Security and Privacy, IEEE Computer Society Press (1993) pp. 178-194.
30. R. Yahalom, Optimality of asynchronous two-party secure data-exchange protocols, Journal of Computer Security, Vol. 2, No. 2-3 (1994) pp. 191-209.