: 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.