Joseph Y. Halpern Riccardo Pucella Modeling Adversaries in a Logic for Security Protocol Analysis. 115-132 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2629&spage=115 2002 conf/fasec/2002 FASec db/conf/fasec/fasec2002.html#HalpernP02