Trustable Remote Code Analysis for Web Services
John Lyle
- 12:00 12th March 2009 ( week 8th, Hilary Term 2009 )Common Room (103)
Service Oriented Architectures currently provide little or no evidence that each remote component has
been implemented correctly. I will present a technique called Trustable Remote Verification (Or, more
accurately, Trustable Remote Code Analysis), which lets service providers create behavioural guarantees
for their web services. The approach uses a unique combination of Extended Static Checking and Trusted
Computing, and requires no additional third party. The general principle can also be used with with any
program analysis tool and any service architecture.
been implemented correctly. I will present a technique called Trustable Remote Verification (Or, more
accurately, Trustable Remote Code Analysis), which lets service providers create behavioural guarantees
for their web services. The approach uses a unique combination of Extended Static Checking and Trusted
Computing, and requires no additional third party. The general principle can also be used with with any
program analysis tool and any service architecture.