Gavin Lowe Casper: A Compiler for the Analysis of Security Protocols. 18-30 1997 conf/csfw/1997 CSFW http://csdl.computer.org/comp/proceedings/csfw/1997/7990/00/79900018abs.htm db/conf/csfw/csfw1997.html#Lowe97