Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution.
Giovanni AgostaAlessandro BarenghiAntonio ParataGerardo PelosiPublished in: ITNG (2012)
Keyphrases
- web applications
- security analysis
- dynamic content
- public key
- smart card
- application development
- web services
- security requirements
- end users
- security properties
- concurrent programs
- user authentication
- conflict resolution
- web application development
- visual studio
- database
- software development
- low cost
- data mining
- databases