Managing Authorization Provenance: A Modal Logic Based Approach.
Jinwei HuYan ZhangRuixuan LiZhengding LuPublished in: ICTAI (2009)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- fine grained
- inference rules
- epistemic logic
- access control
- classical logic
- nonmonotonic logics
- conflict resolution
- security requirements
- conditional logic
- situation calculus
- default logic
- dynamic logic
- metadata
- prime implicates
- data quality
- integrity constraints
- higher order
- domain knowledge