Anthony H. Dekker C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis. 77-87 2000 CSFW http://www.computer.org/proceedings/csfw/0671/06710077abs.htm db/conf/csfw/csfw2000.html#Dekker00