Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection.

Federico De Meo Marco Rocchetto Luca Viganò

Published in: STM (2016)

Keyphrases

formal analysis
web applications
sql injection
sql injection attacks
security vulnerabilities
formal methods
end users
agent model
web services
artificial intelligence
knowledge base
security issues
web development