Semi-Automated Verification of Defense against SQL Injection in Web Applications.
Kaiping LiuHee Beng Kuan TanLwin Khin SharPublished in: APSEC (2012)
Keyphrases
- web applications
- automated verification
- sql injection attacks
- sql injection
- model checking
- automated reasoning
- formal verification
- application development
- end users
- web application development
- web services
- intrusion detection
- network security
- database
- graph theory
- knowledge representation
- information systems
- security issues