Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs.
Qingyang ZhouQiushi WuDinghao LiuShouling JiKangjie LuPublished in: CCS (2022)
Keyphrases
- security vulnerabilities
- database security
- information security
- security requirements
- intrusion detection
- database
- computer security
- network security
- information assurance
- security level
- security systems
- statistical databases
- oracle database
- automatic detection
- source code
- software projects
- security issues
- security mechanisms
- security analysis
- knowledge base
- security measures
- access control
- databases
- security policies
- security problems
- cryptographic protocols
- software development
- data security
- cyber security
- data integrity