Conservation of CSP Noninterference Security under Concurrent Composition.
Pasquale NocePublished in: Arch. Formal Proofs (2016)
Keyphrases
- security policies
- constraint satisfaction problems
- access control
- security requirements
- security management
- network security
- constraint satisfaction
- security issues
- statistical databases
- information assurance
- security measures
- constraint propagation
- information security
- computer security
- web service composition
- intrusion detection
- security mechanisms
- decomposition methods
- constraint programming
- key management
- security analysis
- cyber security
- security problems
- distributed systems
- np hard
- data mining