Formalising UPTANE in CSP for Security Testing.
Rhys KirkHoang Nga NguyenJeremy W. BryansSiraj A. ShaikhDavid EvansDavid PricePublished in: QRS Companion (2021)
Keyphrases
- constraint satisfaction problems
- information security
- security issues
- penetration testing
- information assurance
- security problems
- security vulnerabilities
- test cases
- fault injection
- security requirements
- computer security
- access control
- security management
- security level
- key management
- security policies
- constraint propagation
- constraint programming
- constraint satisfaction
- intrusion detection
- security systems
- user authentication
- network security
- np hard
- solving constraint satisfaction problems