For:
Foundations of Secure Web Programming > Language-based Web Security
http://wp.doc.ic.ac.uk/fswp/project/verification-of-application-specific-web-security-protocols/
