@inproceedings{DBLP:conf/trust/Lyle09,
  title = "Trustable Remote Verification of Web Services",
  author = "John Lyle",
  year = "2009",
  booktitle = "TRUST",
  editor = "Liqun Chen and Chris J. Mitchell and Andrew Martin",
  isbn = "978-3-642-00586-2",
  location = "Oxford, UK",
  month = "April",
  pages = "153-168",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-00587-9_10",
}