@misc{indiciae273a634abd25,
  title = {A Modeling Framework for Generating Security Protocol Specifications},
  author = {Bela Genge and Piroska Haller},
  year = {2009},
  url = {https://arxiv.org/abs/0908.3090},
  note = {Source identifier: 0908.3090}
}