Secure and Trustworthy Web Services

DPhil project of john lyle, funded by the EPSRC and QinetiQ.

 This project involves increasing the trustworthiness of web services through formal program assertions and trusted computing.