John Lyle. Trustable Remote Verification of Web Services. In Liqun Chen, Chris J. Mitchell, Andrew Martin, editors, Trusted Computing, Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. Volume 5471 of Lecture Notes in Computer Science, pages 153-168, Springer, 2009. [doi]