Prudent engineering practice for cryptographic protocols (1996)

by M Abadi, R Needham
Venue:IEEE Transactions on Software Engineering