@article{strands-channels,
  title = "Specifying and Modelling Secure Channels in Strand Spaces",
  author = "Allaa Kamil and Gavin Lowe",
  year = "2009",
  booktitle = "Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009)",
  howpublished = "In Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009)",
  journal = "Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009)",
}