@article{ComonCZ-TOCL10, author = {Hubert Comon-Lundh and V\'eronique Cortier and Eugen Zalinescu}, title = {Deciding security properties for cryptographic protocols. {A}pplication to key cycles}, journal = {ACM Transactions on Computational Logic}, year = 2010, volume = {11}, number = {2}, doi = {10.1145/1656242.1656244}, }