Hidden assumptions in cryptographic protocols (1990)

by C Boyd
Venue:Computers and Digital Techniques, IEE Proceedings