@inproceedings{strands-abstraction,
  title = "Understanding Abstractions of Secure Channels",
  author = "Allaa Kamil and Gavin Lowe",
  year = "2010",
  booktitle = "Proceedings of Formal Aspects of Security and Trust (FAST 2010)",
}