CAPSL interface for the NRL Protocol Analyzer

Proceedings - 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology, ASSET 1999

Volumn , Issue , 1999, Pages 64-73

  Brackin, Stephen ^a   Meadows, Catherine ^b   Millen, Jonathan ^c  

^a Arca Systems   (United States)

^b NAVAL RESEARCH LABORATORY   (United States)

^c SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CRYPTOGRAPHY; FORMAL METHODS; HIGH LEVEL LANGUAGES; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; TRANSLATION (LANGUAGES);

ANALYSIS TOOLS; AUTHENTICATION PROTOCOLS; CRYPTOGRAPHIC PROTOCOLS; PROTOCOL ANALYZERS; SECURITY ANALYSIS; TRANSLATION SOFTWARE;

APPLICATION PROGRAMS;

EID: 85025425124     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASSET.1999.756753     Document Type: Conference Paper

References (21)

1. Steven Bellovin and Michael Merritt. Encrypted key exchange: Password-based protocols secure against dictionary attack. In Proceedings of the IEEE Computer Society Symposium on Research on Security and Privacy, pages 72-84. IEEE Computer Society Press, 1992.
2. S. Brackin. An interface specification language for automatically analyzing cryptographic protocols. In Symposium on Network and Distributed System Security, 1997.
3. S. Brackin. A state-based HOL theory of protocol failure. Technical Report 98007, Arca Systems, Inc., Ithaca, NY, October 1997.
4. S. Brackin. A HOL formalization of CAPSL semantics. In Proceedings of the 21st National Con-ference on Information Systems Security. IEEE, October 1998.
5. CAPSL: Common Authentication Protocol Speci -cation Language. http://www.csl.sri.com /~millen/capsl.
6. U. Carlsen. Generating formal cryptographic protocol specifications. In 1994 Symposium on Re-search in Security and Privacy, pages 137-146. IEEE Computer Society, 1994.
7. D. Dolev and A. Yao. On the Security of Public Key Protocols. IEEE Transactions on Informa-tion Theory, 29(2):198-208, March 1983.
8. S. Gritzalis, D. Spinellis, and P. Georgiadis. Security Protocols over open networks and distributed systems: Formal methods for their analysis, design and verification, Computer Communications, 1999, to appear. Currently available at http://kerkis.math.aegean.gr/~dspin/pubs/jrnl/1997-CompComm-Formal/html/formal.htm.
9. Richard Kemmerer, Catherine Meadows, and Jonathan Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 3(2), 1994.
10. G. Lowe. Casper: a compiler for the analysis of security protocols. In 10th IEEE Computer Se-curity Foundations Workshop, pages 18-30, IEEE Computer Society, June 1997.
11. Catherine Meadows. The NRL Protocol Analyzer: An overview. Journal of Logic Program-ming, 26(2):113-131, February 1996.
12. Catherine Meadows. Using the NRL Protocol Analyzer to examine protocol suites. In Electronic Proceedings of LICS Workshop on Formal Meth-ods and Security Protocols. http://www.cs.belllabs. com/who/nch/fmsp/program.html, 1998.
13. Catherine Meadows Analysis of the Internet Key Exchange Protocol Using the NRL Protocol Analyzer In Proceedings of the 1999 Symposium on Security and Privacy, to appear.
14. Catherine Meadows and Paul Syverson. A formal specification of requirements for payment transactions in the SET protocol. In Proceed-ings of Financial Cryptography '98, pages 122-140. Springer-Verlag Lecture Notes in Computer Science, 1998
15. J. Millen. CAPSL: Common Authentication Protocol Specification Language. Technical Report MP 97B48, The MITRE Corporation, 1997.
16. J. Mitchell, M. Mitchell, and U. Stern. Automated analysis of cryptographic protocols. In 1997 IEEE Symposium on Security and Privacy. IEEE Computer Society, 1997.
17. R. Needham and M. Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM, 21(12), December 1978.
18. B. Cliford Newman and Theodore Ts'o. Kerberos: An authentication service for computer networks. IEEE Communications, 32(9):33-38, September 1994.
19. David Otway and Owen Rees. Eficient and timely authentication. Operating Systems Re-view, 21(1):8-10, 1987.
20. L. Paulson. The inductive approach to verifying cryptographic protocols. J. Computer Security, 6(1):85-128, 1998.
21. The SSL protocol. http://home.netscape.com /newsref/std/SSL.html, March 1996.