Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version)

Yannick Chevalier Mounira Kourjieh Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) http://arxiv.org/abs/0710.5674 2007 CoRR abs/0710.5674 db/journals/corr/corr0710.html#abs-0710-5674 informal publication