Analyzing Internet security protocols

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2001-January, Issue , 2001, Pages 149-159

  Yasinsac, Alec ^a   Childs, Justin ^a  

^a Florida State University   (United States)

Author keywords

Application software; Costs; Cryptographic protocols; Cryptography; Internet; Performance analysis; Read only memory; Security; Sockets; Software tools

Indexed keywords

APPLICATION PROGRAMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; COSTS; CRYPTOGRAPHY; DISTRIBUTED COMPUTER SYSTEMS; ELECTRIC CONNECTORS; INTERNET; NETWORK SECURITY; ROM; SEEBECK EFFECT; SYSTEMS ENGINEERING;

CRYPTOGRAPHIC PROTOCOLS; INTERNET SECURITY; PERFORMANCE ANALYSIS; SECURE SOCKETS LAYER PROTOCOL; SECURITY; TRANSPORT LAYER SECURITY PROTOCOLS;

INTERNET PROTOCOLS;

EID: 84948954303     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2001.966816     Document Type: Conference Paper

References (15)

1. Martin Abadi and Roger Needham, "Prudent Engineering Practice for Cryptographic Protocols", IEEE Transactions on Software Engineering, 22(1):6-15, January 1996.
2. M. Burrows, M. Abadi, Roger Needham. "A Logic of Authentication". Research Report 39, Digital Systems Research Center, February 1989.
3. S. Brackin, "Automatically Detecting Most Vulnerabilities in Cryptographic Protocols", in The DARPA Information Survivability Conf and Exposition, Jan 2000, V. 1, pp 222-36
4. Justin Childs, "Evaluating the TLS Family of Protocols with Weakest Precondition Reasoning. ", Technical Report. Florida State University Department of Computer Science. http://www. cs. fsu. edu/research/reports
5. J. Clark and J. Jacob. A survey of authentication protocol literature: Version 1. 0. A continually updated library of protocols analyzed in the literature, available at www. cs. york. Ac. uk/~jac/.
6. T. Dierks and C. Allen, "The TLS protocol: Version 1. 0. Request for Comments: 2246", available at ftp://ftp. isi. edu/in-notes/rfc2246. Txt.
7. E. W. Dijkstra, A Discipline of Programming, Prentice Hall Series in Automatic Computation, Prentice-hall Inc. Englewood Cliffs, NJ, 1976.
8. J. Kelsey, B. Schneier, and D. Wagner, "Protocol interactions and the chosen protocol attack, " in Lecture Notes in Computer Science, 1361. pp. 91-104 Heidelberg: Springer, Berlin, 1998
9. Catherine Meadows, "Analysis of the Internet Key Exchange Protocol Using the NRL Protocol Analyzer, " IEEE Symposium on Security and Privacy, 1999.
10. J. C. Mitchell, V. Shmatikov, and U. Stern, "Finite-State analysis of SSL 3. 0 and related protocols, " In Workshop on Design and Formal Verification of Security Protocols Sept. 1997. DIMACS.
11. Roger M. Needham, Michael D. Schroeder, "Using Encryption for Authentication in Large Networks of Computers", Communications of the ACM, December 1978 vol. 21 #12, pp. 993-999
12. L. C. Paulson, "Inductive Analysis of the Internet Protocol TLS, " Technical Report 440, Cambridge University Computer Science Laboratory, 1998.
13. P. F. Syverson, "A Taxonomy of Replay Attacks, " Proceedings of the Computer Security Foundations Workshop VII, Franconia NH, IEEE CS Press, Los Alamitos, 1994.
14. D. Wagner and B. Schneier, "Analysis of the SSL 3. 0 Protocol, " In D. Tygar Ed., USENIX Workshop on Electronic Commerce, pages 29-40. USENIX Association, 1996.
15. Alec Yasinsac and William A. Wulf, "A Framework for A Cryptographic Protocol Evaluation Workbench, " Proceedings of the Fourth IEEE International High Assurance Systems Engineering Symposium (HASE99), Washington D. C., Nov. 1999