Deciding security properties for cryptographic protocols. Application to key cycles

Hubert Comon-Lundh Véronique Cortier Eugen Zalinescu Deciding security properties for cryptographic protocols. Application to key cycles http://arxiv.org/abs/0708.3564 2007 CoRR abs/0708.3564 db/journals/corr/corr0708.html#abs-0708-3564 informal publication