A Theory of Runtime Enforcement, with Results.

Jay Ligatti Srikar Reddy

Published in: ESORICS (2010)

Keyphrases

access control
theoretical framework
theoretical basis
databases
general theory
genetic algorithm
image processing
decision trees
video sequences
search algorithm
query processing
special case
information theory