Case studies in the specification and analysis of protocols in Maude

Electronic Notes in Theoretical Computer Science

Volumn 36, Issue , 2000, Pages 257-273

  Rodríguez, Dilia E ^a  

^a AIR FORCE RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; PATTERN MATCHING; PUBLIC KEY CRYPTOGRAPHY;

AUTHENTICATION PROTOCOL; CRYPTOGRAPHIC PROTOCOLS; REWRITE THEORY; SECURITY PROTOCOLS;

SECURITY OF DATA;

EID: 0009950983     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80140-9     Document Type: Conference Paper

References (11)

1. J. Clark and J. Jacob. A Survey of Authentication Protocol Literature: Version 1.0. Unpublished draft available at http://www-users.cs.york.ac.uk/jac/, November 1997.
2. Clavel M., Durán F., Eker S., Lincoln P., Martì-Oliet N., Meseguer J., Quesada J. Maude: Specification and Programming in Rewriting Logic. January 1999;SRI International, Computer Science Laboratory, Menlo Park, CA. http://maude.csl.sri.com/manual/
3. G. Denker, J. Meseguer and C. Talcott. Protocol Specification and Analysis in Maude. In N. Heintze and J. Wing, editors, Proc. of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998.
4. Lowe G. An Attack on the Needham-Schroeder Public Key Authentication Protocol. Information Processing Letters. 56:(3):November1995;131-136
5. Lowe G. A Hierarchy of Authentication Specifications. Proc. of Computer Security Foundations Workshop X, 1997. 1997;IEEE Computer Society Press
6. Lowe G. Casper: A Compiler for the Analysis of Security Protocols. Proc. of the 1997 IEEE Computer Society Symposium on Research in Security and Privacy. 1997
7. Lowe G. Some New Attacks upon Security Protocols. Proc. of Computer Security Foundations Workshop VIII. 1996;IEEE Computer Society Press
8. Meseguer J. A Logical Theory of Concurrent Objects and Its Realization in the Maude Language. Agha G., Wegner P., Yonezawa A. Research Directions in Concurrent Object-Oriented Programming. 1993;The MIT Press
9. Needham R., Schroeder M. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM. 21:(12):December 1978
10. Otway D., Rees O. Efficient and Timely Mutual Authentication. Operating Systems Review. 21:(1):January, 1997;8-10
11. Woo T.Y.C., Lam S.S. A Lesson on Authentication Protocol Design. Operating Systems Review. 1994;24-37