Nevin Heintze J. D. Tygar A Model for Secure Protocols and Their Compositions. 16-30 http://www.computer.org/tse/ts1996/e0016abs.htm 1996 22 IEEE Trans. Software Eng. 1 db/journals/tse/tse22.html#HeintzeT96