Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection
['Federico De Meo', 'Marco Rocchetto', 'Luca Viganò']
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection