@inproceedings{unilateral,
  title = "Analysing Applications Layered on Unilaterally Authenticating Protocols",
  author = "Thomas Gibson-Robinson and Gavin Lowe",
  year = "2011",
  booktitle = "Proceedings of Formal Aspects of Security and Trust (FAST 2011)",
  url = "http://www.cs.ox.ac.uk/gavin.lowe/Papers/unilateral.pdf",
}