A New Enforcement on Declassification with Reachability Analysis

Cong Sun Liyong Tang Zhong Chen

Published in: CoRR (2011)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
access control
incremental algorithms
state space
temporal logic
reinforcement learning
digital rights
linear programming
markov chain
optimal policy
linear program
policy iteration