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