Login / Signup

A logic for state-modifying authorization policies.

Moritz Y. BeckerSebastian 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