Checking noninterference in Timed CSP.
A. W. RoscoeJian HuangPublished in: Formal Aspects Comput. (2013)
Keyphrases
- constraint satisfaction problems
- petri net
- decomposition methods
- timed automata
- tree decompositions
- constraint propagation
- constraint satisfaction
- security policies
- tree decomposition
- discrete event
- verification method
- search space
- artificial intelligence
- constraint solving
- constraint problems
- closest string
- arc consistency algorithm
- arc consistency
- dynamic systems
- constraint programming
- distributed systems
- information systems