Hidden assumptions in cryptographic protocols (1990)

by C Boyd
Venue:In Proceedings of IEEE