Strand spaces: Proving security protocols correct (1999)

by F J Thayer Fabrega, J Herzog, J Guttman
Venue:J. Comput. Secur