The Generic Unwinding Theorem for CSP Noninterference Security.
Pasquale NocePublished in: Arch. Formal Proofs (2015)
Keyphrases
- security policies
- access control
- information security
- constraint satisfaction problems
- intrusion detection
- network security
- security management
- constraint satisfaction
- security systems
- security requirements
- domain specific
- security threats
- statistical databases
- computer security
- security protocols
- constraint programming
- constraint propagation
- security analysis
- data security
- von neumann
- security properties
- smart card
- information systems
- security measures
- information assurance
- arc consistency algorithm