@misc{indiciae32e7cba58737,
  title = {Heuristic Methods for Security Protocols},
  author = {Qurat ul Ain Nizamani and Emilio Tuosto},
  year = {2009},
  doi = {10.4204/eptcs.7.5},
  url = {https://arxiv.org/abs/0910.4053},
  note = {Source identifier: 0910.4053}
}