Semi-Automated Verification of Defense against SQL Injection in Web Applications.

Kaiping Liu, Hee Beng Kuan Tan, Lwin Khin Shar

Browse the full APSEC paper archive.