Static enforcement of web application integrity through strong typing



FREE-DOWNLOAD W Robertson… – Proceedings of the 18th conference on …, 2009
This paper presents a different approach to web application security. In this work, we present
a web application framework that leverages existing work on strong type systems to statically
enforce a separation between the structure and content of both web documents and