Enforcing Reactive Noninterference with Reachability Analysis.

Cong Sun Liyong Tang Zhong Chen

Published in: ITNG (2011)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
reactive systems
incremental algorithms
agent architecture
reactive planning
state space
security policies
machine learning
real time
decision making
temporal logic
theorem prover