On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.

Liana Bozga Cristian Ene Yassine Lakhnech On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. 42-57 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2987&spage=42 2004 conf/fossacs/2004 FoSSaCS db/conf/fossacs/fossacs2004.html#BozgaEL04