Login / Signup

TBA : A Hybrid of Logic and Extensional Access Control Systems.

Timothy L. HinrichsWilliam C. Garrison IIIAdam J. LeeSkip SaundersJohn C. Mitchell
Published in: Formal Aspects in Security and Trust (2011)
Keyphrases
  • access control systems
  • access control
  • security policies
  • access control policies
  • modal logic
  • data processing
  • partial order
  • conflict resolution