Dynamic Noninterference: Consistent Policies, Characterizations and Verification

Sebastian Eggert Henning Schnoor Thomas Wilke

Published in: CoRR (2012)

Keyphrases

real world
information retrieval
dynamic environments
optimal policy
data sets
decision trees
sufficient conditions
integrity constraints