Detlef Kähler Ralf Küsters Thomas Wilke A Dolev-Yao-Based Definition of Abuse-Free Protocols. 95-106 2006 conf/icalp/2006-2 ICALP (2) http://dx.doi.org/10.1007/11787006_9 db/conf/icalp/icalp2006-2.html#KahlerKW06