Semi-Automated Verification and Removal of Open Redirect Vulnerabilities in Web Applications.
Lwin Khin SharHee Beng Kuan TanPublished in: Software Engineering Research and Practice (2010)
Keyphrases
- web applications
- automated verification
- model checking
- automated reasoning
- formal verification
- application development
- application developers
- web services
- web application development
- web browser
- end users
- business applications
- databases
- natural language
- temporal logic
- information security
- security issues
- open source
- dynamic content
- web development
- bayesian networks