Prudent engineering practice for cryptographic protocols. (1994)

by Martın Abadi, Roger Needham
Venue:In Proceedings, 1994 IEEE Symposium on Research in Security and Privacy,