Bruno Blanchet Automatic Proof of Strong Secrecy for Security Protocols. 86- 2004 conf/sp/2004 IEEE Symposium on Security and Privacy http://csdl.computer.org/comp/proceedings/sp/2004/2136/00/21360086abs.htm db/conf/sp/sp2004.html#Blanchet04