Mei Lin Hui Gavin Lowe Safe Simplifying Transformations for Security Protocols. 32-43 1999 CSFW http://www.computer.org/proceedings/csfw/0201/02010032abs.htm db/conf/csfw/csfw1999.html#Lowe99