A logic for state-modifying authorization policies.

Moritz Y. Becker Sebastian Nanz

Published in: ACM Trans. Inf. Syst. Secur. (2010)

Keyphrases

access control
database
neural network
fine grained
data sets
machine learning
information systems
multi agent
state space
modal logic
conflict resolution
predicate logic
asynchronous circuits