Provable Security for Cryptographic Protocols - Exact Analysis and Engineering Applications.

James W. Gray III Kin Fai Epsilon Ip King-Shan Lui Provable Security for Cryptographic Protocols - Exact Analysis and Engineering Applications. 23-52 1998 6 Journal of Computer Security 1-2 db/journals/jcs/jcs6.html#GrayIL98