Conservation of CSP Noninterference Security under Sequential Composition.
Pasquale NocePublished in: Arch. Formal Proofs (2016)
Keyphrases
- security policies
- access control
- constraint satisfaction problems
- information security
- security requirements
- security issues
- information assurance
- intrusion detection
- decomposition methods
- security problems
- security measures
- security systems
- security threats
- security management
- network security
- constraint propagation
- data security
- constraint solving
- constraint satisfaction
- neural network
- distributed systems
- search space