Three systems for cryptographic protocol analysis (1994)

by R Kemmerer, C Meadows, J Millan
Venue:Journal of Cryptology