A Logic for State-Modifying Authorization Policies.

Moritz Y. Becker Sebastian Nanz

Published in: ESORICS (2007)

Keyphrases

access control
fine grained
data sets
machine learning
logic programming
optimal policy
predicate logic
dynamical systems
state variables
conflict resolution
access control policies
temporally extended