Prudent engineering practice for cryptographic protocols,’ expanded version of 1994 (1994)

by WITH M ABADI
Venue:IEEE Symposium paper, Report 125, DEC Systems Research Centre, Palo Alto CA