Martín Abadi Roger M. Needham Prudent Engineering Practice for Cryptographic Protocols. 6-15 http://www.computer.org/tse/ts1996/e0006abs.htm 1996 22 IEEE Trans. Software Eng. 1 db/journals/tse/tse22.html#AbadiN96