The Ipurge Unwinding Theorem for CSP Noninterference Security.
Pasquale NocePublished in: Arch. Formal Proofs (2015)
Keyphrases
- security policies
- constraint satisfaction problems
- information security
- access control
- security requirements
- network security
- constraint satisfaction
- security management
- intrusion detection
- statistical databases
- network management
- security systems
- computer security
- security problems
- security issues
- database
- security level
- constraint propagation
- information assurance
- functional requirements
- key management
- smart card
- constraint solving
- security threats
- security measures
- arc consistency algorithm