DPhil project of John Lyle, funded by the EPSRC and QinetiQ.
This project involves increasing the trustworthiness of web services through program assertions and trusted computing.
In order to make web services a reasonable target for trusted computing, the project also investigates practical development and deployment issues.
