@misc{indiciae65058d92bbb0,
  title = {Term-based composition of security protocols},
  author = {Bela Genge and Piroska Haller and Ovidiu Ratoi and Iosif Ignat},
  year = {2009},
  doi = {10.1109/aqtr.2008.4588741},
  url = {https://arxiv.org/abs/0908.3083},
  note = {Source identifier: 0908.3083}
}