Automated Analysis of Cryptographic Protocols Using Murphi (1997)

by John C. Mitchell, Mark Mitchell, Ulrich Stern