Revere: A Checker for Secure Protocols

This paper describes a preliminary implementation of Revere and some of the algorithms underlying it:

Fast, Automatic Checking of Security Protocols, Darrell Kindred and Jeannette M. Wing, Proc. of the USENIX 1996 Workshop on Electronic Commerce, November 1996.

Darrell Kindred, Carnegie Mellon University
Last modified: Thu Oct 21 14:08:47 EDT 1999