Three Systems for Cryptographic Protocol Analysis (1994)

by Richard Kemmerer, Catherine Meadows, Jonathan Millen
Venue:Journal of Cryptology