James W. Gray III Kin Fai Epsilon Ip King-Shan Lui Provable Security for Cryptographic Protocols: Exact Analysis and Engineering Applications. 45-58 1997 conf/csfw/1997 CSFW http://csdl.computer.org/comp/proceedings/csfw/1997/7990/00/79900045abs.htm db/conf/csfw/csfw1997.html#GrayIL97