Trustable Remote Verification of Web Services

  • John Lyle
Conference paper

DOI: 10.1007/978-3-642-00587-9_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5471)
Cite this paper as:
Lyle J. (2009) Trustable Remote Verification of Web Services. In: Chen L., Mitchell C.J., Martin A. (eds) Trusted Computing. Trust 2009. Lecture Notes in Computer Science, vol 5471. Springer, Berlin, Heidelberg


Service Oriented Architectures currently provide little or no evidence that each remote component has been implemented correctly. This is a problem for businesses hoping to exploit the potential benefits of SOA. We present a technique called Trustable Remote Verification, which lets providers create behavioural guarantees of their web services. Our approach is flexible, using Extended Static Checking for verification and has the significant advantage of requiring no additional trusted third party.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • John Lyle
    • 1
  1. 1.Computing LaboratoryOxford UniversityOxfordUK

Personalised recommendations