On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version)

Yannick Chevalier Mounira Kourjieh On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version) http://arxiv.org/abs/0906.1199 2009 CoRR abs/0906.1199 db/journals/corr/corr0906.html#abs-0906-1199 informal publication