The NRL protocol analyzer: An overview

Journal of Logic Programming

Volumn 26, Issue 2 SPEC. ISS., 1996, Pages 113-131

  Meadows, Catherine ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; PROLOG (PROGRAMMING LANGUAGE);

CRYPTOGRAPHIC PROTOCOLS; NAVAL RESEARCH LABORATORY PROTOCOL ANALYZER;

NETWORK PROTOCOLS;

EID: 0030084918     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/0743-1066(95)00095-x     Document Type: Review

References (17)

1. Aziz, A. and Diffie, W., Privacy and Authentication for Wireless Local Area Networks, IEEE Personal Commun. 1(1):25-31 (1994).
2. Burns, J. and Mitchell, C. J., A Security Scheme for Resource Shoring Over a Network, Computers and Security 9:67-76 (1990).
3. Burrows, M., Abadi, M., and Needham, R., A Logic of Authentication, ACM Trans. Computer Syst. 8(1):18-36 (1990).
4. Denning, D. E. and Sacco, G. M., Timestamps in Key Distribution Protocols, Commun. ACM 24(8):533-536 (1981).
5. Diffie, W. and Hellman, M., New Directions in Cryptography, IEEE Trans. Inform. Theory IT-22:644-654 (1976).
6. Diffie, W., van Oorschot, P. C., and Wiener, M. J., Authentication and Authenticated Key Exchanges, Designs, Codes, and Cryptography 2:107-125 (1992).
7. Dolev, D., Even, S., and Karp, R., On the Security of Ping-Pong Protocols, Inform. Control 55:57-68 (1982).
8. Dolev, D. and Yao, A., On the Security of Public Key Protocols, IEEE Trans. Inform. Theory 29(2):198-208 (1983).
9. Kemmerer, R., Meadows, C., and Millen, J., Three Systems for Cryptographic Protocol Analysis, J. Cryptology 7(2):79-130 (1994).
10. Meadows, C., 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.
11. Meadows, C., Applying Formal Methods to the Analysis of a Key Management Protocol, J. Computer Security 1:5-53 (1992).
12. Meadows, C., Formal Verification of Cryptographic Protocols: A Survey, in: Proceedings of AsiaCrypt '94, to Springer-Verlag, Berlin, pp. 133-150.
13. Neuman, B. C. and Stubblebine, S. G., A Note on the Use of Timestamps as Nonces, Operating Syst. Rev. 27(2):10-14 (1993).
14. Simmons, G. J., How to (Selectively) Broadcast a Secret, in: Proceedings of the 1985 IEEE Computer Society Symposium on Security and Privacy, IEEE Computer Society Press, New York, 1985, pp. 108-113.
15. Syverson, P. and Meadows, C., A Logical Language for Specifying Cryptographic Protocol Requirements, in: Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, IEEE Computer Society Press, Los Alamitos, CA 1993, pp. 165-177.
16. Syverson, P. and Meadows, C., Formal Requirements for Key Distribution Protocols, in: Proceedings of Eurocrypt 94, Lecture Notes in Computer Science Springer, Berlin, 1994, to appear.
17. Syverson, P. and Meadows, C., A Formal Language for Cryptographic Protocol Requirements, Designs, Codes, and Cryptography, to appear.