James W. Gray III, Kin Fai Epsilon Ip, King-Shan Lui. Provable Security for Cryptographic Protocols: Exact Analysis and Engineering Applications. In 10th Computer Security Foundations Workshop (CSFW 97), June 10-12, 1997, Rockport, Massachusetts, USA. pages 45-58, IEEE Computer Society, 1997. [doi]
Abstract is missing.