Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking

Michael Martin, Monica S. Lam. Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking. In Paul C. van Oorschot, editor, Proceedings of the 17th USENIX Security Symposium, July 28-August 1, 2008, San Jose, CA, USA. pages 31-44, USENIX Association, 2008. [doi]

Abstract

Abstract is missing.