CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

Automated analysis of cryptographic protocols using Murφ

by: J. C. Mitchell, M. Mitchell, U. Stern
Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on In Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on (1997), pp. 141-151.

X Abstract

A methodology is presented for using a general-purpose state enumeration tool, Murφ, to analyze cryptographic and security-related protocols. We illustrate the feasibility of the approach by analyzing the Needham-Schroeder (1978) protocol, finding a known bug in a few seconds of computation time, and analyzing variants of Kerberos and the faulty TMN protocol used in another comparative study. The efficiency of Murφ also allows us to examine multiple terms of relatively short protocols, giving us the ability to detect replay attacks, or errors resulting from confusion between independent execution of a protocol by independent parties

View the full article here:

DOI, IEEE Explore

This article has been bookmarked once, on 2009-01-07.

2009-01-07 User yoriyuki
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.