Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version).

Federico De Meo Marco Rocchetto Luca Viganò

Published in: CoRR (2016)

Keyphrases

web applications
formal analysis
sql injection
sql injection attacks
security vulnerabilities
web services
end users
formal methods
web application development
agent model
countermeasures
security issues
databases
expert systems
user interface
information security