Injecting CSP for Fun and Security.
Christoph KerschbaumerSid StammStefan BrunthalerPublished in: ICISSP (2016)
Keyphrases
- constraint satisfaction problems
- information security
- access control
- security threats
- constraint satisfaction
- security requirements
- security issues
- information assurance
- security level
- security systems
- security protocols
- security mechanisms
- network security
- computer games
- intrusion detection
- arc consistency
- statistical databases
- security policies
- constraint propagation
- security properties
- security vulnerabilities
- database
- key management
- constraint programming
- data security
- constraint solving
- intrusion detection system