@inproceedings{WebServicesSecurity,
  title = "{Web Services Security: a preliminary study using Casper and FDR}",
  author = "A. W. Roscoe and E. Kleiner",
  year = "2004",
  booktitle = "{Proceedings of Automated Reasoning for Security Protocol Analysis (ARSPA 04)}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/100.pdf",
}