Panel: Use of Formal Methods in the Analysis of Cryptographic Protocols.

Joshua D. Guttman Panel: Use of Formal Methods in the Analysis of Cryptographic Protocols. 112 1992 CSFW db/conf/csfw/csfw1992.html#Guttman92