Knowledge-based security testing of web applications by logic programming.
Philipp ZechMichael FeldererRuth BreuPublished in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
- web applications
- logic programming
- logic programs
- logic programming language
- nonmonotonic reasoning
- deductive databases
- answer set programming
- application development
- programming language
- knowledge base
- information security
- web services
- knowledge representation
- end users
- constraint logic programming
- computational logic
- answer sets
- concurrent programs
- sql injection
- security requirements
- default logic
- network security
- intrusion detection
- security issues
- database
- expert systems
- web application development
- web development
- background knowledge
- user interface
- database systems
- high level
- artificial intelligence