Prudent Engineering Practice for Cryptographic Protocols (1994)

by Martin Abadi, Roger Needhamt
Venue:Proc. IEEE Computer Society Symposium on Research in Security and Privacy