Complexity and Unwinding for Intransitive Noninterference.

Sebastian Eggert Ron van der Meyden Henning Schnoor Thomas Wilke

Published in: CoRR (2013)

Keyphrases

three dimensional
computational complexity
decision problems
machine learning
information systems
decision making
high level
data model
management system
worst case
security policies