@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},
}