Keyphrases
- computational properties
- access control
- fine grained
- expressive power
- metadata
- logic programming
- logic programs
- data quality
- security policies
- classical logic
- automated reasoning
- monadic second order logic
- multi valued
- database
- access control policies
- security requirements
- conflict resolution
- defeasible logic
- role based access control
- asynchronous circuits
- proof theory
- access control mechanism
- modal logic
- access requests