Prudent Engineering Practice for Cryptographic Protocols

Roger M. Needham
IEEE Trans. Software Eng., 22 (1996), pp. 6-15

Abstract