@misc{indiciae85f82dce3f18,
  title = {Deciding security properties for cryptographic protocols. Application to key cycles},
  author = {Hubert Comon-Lundh and Véronique Cortier and Eugen Zalinescu},
  year = {2009},
  url = {https://arxiv.org/abs/0708.3564},
  note = {Source identifier: 0708.3564}
}