Login / Signup
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