Alfred P. Maneki Honest Functions and their Application to the Analysis of Cryptographic Protocols. 83-89 1999 CSFW http://www.computer.org/proceedings/csfw/0201/02010083abs.htm db/conf/csfw/csfw1999.html#Maneki99