A formal and automated approach to exploiting multi-stage attacks of web applications.
Federico De MeoLuca ViganòPublished in: J. Comput. Secur. (2020)
Keyphrases
- web applications
- multistage
- attack detection
- sql injection attacks
- dynamic programming
- application development
- single stage
- web services
- lot sizing
- sql injection
- web browser
- end users
- optimal policy
- countermeasures
- application developers
- web application development
- web development
- formal specification
- software developers
- mashup
- formal methods
- data management
- supply chain
- database systems