@misc{indiciae0aac5bc0f18c,
  title = {Automated Composition of Security Protocols},
  author = {Bela Genge and Iosif Ignat and Piroska Haller},
  year = {2009},
  url = {https://arxiv.org/abs/0908.4325},
  note = {Source identifier: 0908.4325}
}