@misc{indiciae7fca10704f52,
  title = {Intruder deducibility constraints with negation. Decidability and application to secured service compositions},
  author = {Tigran Avanesov and Yannick Chevalier and Michaël Rusinowitch and Mathieu Turuani},
  year = {2012},
  url = {https://arxiv.org/abs/1207.4871},
  note = {Source identifier: 1207.4871}
}