A Logic for the Analysis of Cryptographic Protocols (1990)

by P Syverson
Venue:Naval Research Laboratory