Arnab Roy Anupam Datta Ante Derek John C. Mitchell Jean-Pierre Seifert Secrecy Analysis in Protocol Composition Logic. 197-213 2006 ASIAN http://dx.doi.org/10.1007/978-3-540-77505-8_15 conf/asian/2006 db/conf/asian/asian2006.html#RoyDDMS06