@conference{cdilloway2007spec,
  title = "On the Specification of Secure Channels",
  author = "Christopher Dilloway and Gavin Lowe",
  year = "2007",
  booktitle = "Proceedings of the Workshop on Issues in the Theory of Security (WITS '07)",
}