@inproceedings{key-exchange,
  title = "{Modelling and verifying key-exchange protocols using CSP and FDR}",
  author = "A. W. Roscoe",
  year = "1995",
  booktitle = "{Proceedings of 1995 IEEE Computer Security Foundations Workshop}",
  publisher = "{IEEE Computer Society Press}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/58.ps",
}