Applications of term rewriting to cryptographic protocol analysis

Electronic Notes in Theoretical Computer Science

Volumn 36, Issue , 2000, Pages 229-234

  Millen, J ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; INTERNET; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PUBLIC KEY CRYPTOGRAPHY;

CRYPTOGRAPHIC PROTOCOLS; REWRITING; SECURITY ANALYSIS; VULNERABILITY;

SECURITY OF DATA;

EID: 0009926726     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80142-2     Document Type: Conference Paper

References (17)

1. Abadi M., Gordon A. A calculus for cryptographic protocols: the Spi calculus. Technical Report SRC-149, Digital Systems Research Center. 1998
2. Burrows M., Abadi M., Needham R. A logic of authentication. ACM Transactions on Computer Systems. 8:(1):1990;18-36
3. Cervesato I., Durgin N., Lincoln P., Mitchell J., Scedrov A. A meta-notation for protocol analysis. 12th IEEE Computer Security Foundations Workshop. IEEE Computer Society,. 1999;55-69
4. Denker G. Design of a GIL connector to Maude. Heintze V.H.N., Clarke E. Workshop on Formal Methods and Comuter Security. July 2000;Carnegie Mellon University
5. Denker G., Meseguer J., Talcott C. Protocol specification and analysis in Maude. Formal Methods and Security Protocols. 1998;. LICS '98 Workshop
6. Denker G., Millen J. CAPSL integrated protocol environment. DARPA Information Survivability Conference (DISCEX 2000). IEEE Computer Society,. 2000;207-221
7. Dolev D., Yao A. On the security of public key protocols. IEEE Transactions on Information Theory 1983. Also STAN-CS-81-854, Stanford U. IT-29:May 1981;198-208
8. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proceedings of TAG AS, volume 1055 of Lecture Notes in Computer Science, pages 147-166. Springer-Verlag, 1996.
9. Lowe G. Towards a completeness result for model checking of security protocols. Journal of Computer Security. 7:(2/3):1999;89-146
10. Marrero W., Clarke E., Jha S. Model checking for security protocols. DIM ACS Workshop on Design and Verification of Security Protocols. 1997;Rutgers U
11. Meadows C. A system for the specification and verification of key management protocols. IEEE Symposium on Security and Privacy. IEEE Computer Society. 1991;182-195
12. Millen J., Clark S., Freedman S. The Interrogator: protocol security analysis. IEEE Transactions on Software Engineering. SE-13(2):February 1987;274-288
13. Mitchell J., Mitchell M., Stern U. Automated analysis of cryptographic protocols using Murø IEEE Symposium on Security and Privacy. IEEE Computer Society. 1997;141-154
14. Paulson L. The inductive approach to verifying cryptographic protocols. Journal of Computer Security. 6:(1):1998;85-128
15. Roscoe A.W. Modelling and verifying key-exchange protocols using CSP and FDR. 8th IEEE Computer Security Foundations Workshop. IEEE Computer Society. 1995;98-107
16. Song D. Athena: a new efficient automatic checker for security protocol analysis. 12th IEEE Computer Security Foundations Workshop. IEEE Computer Society. 1999;192-202
17. Thayer J., Herzog J., Guttman J. Honest ideals on strand spaces. 11th IEEE Computer Security Foundations Workshop. IEEE Computer Society. 1998;66-78