Cryptanalysis and protocol failures (1994)

by G J Simmons
Venue:Communications of the ACM