Relating declarative semantics and usability in access control.
Vivek KrishnanMahesh V. TripunitaraKinson ChikTony BergstromPublished in: SOUPS (2012)
Keyphrases
- access control
- declarative semantics
- deductive databases
- logic programming
- logic programs
- logic programming language
- operational semantics
- fine grained
- data security
- security policies
- role based access control
- dynamic access control
- partial order
- security requirements
- fixpoint
- access control models
- defeasible reasoning
- query evaluation
- integrity constraints
- usage control
- stable models
- access control systems
- access control mechanism
- artificial intelligence
- inference rules
- security mechanisms
- rbac model
- constraint logic programming
- databases
- knowledge base
- relational databases
- knowledge representation
- software engineering
- programming language
- situation calculus
- network security