Automatic generation of XSS and SQL injection attacks with goal-directed model checking (2008)

by M Martin, M S Lam
Venue:In Proceedings of the 17th conference on Security symposium (SS