Prudent Engineering Practice for Cryptographic Protocols (1994)

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