Nexus Authorization Logic (NAL): Logical Results
Andrew K. HirschMichael R. ClarksonPublished in: CoRR (2012)
Keyphrases
- logical operations
- logical framework
- probabilistic logic
- logical representation
- access control
- predicate calculus
- truth values
- dynamic logic
- logical rules
- modal logic
- lambda calculus
- multi valued
- logic programming
- logical theories
- logical formulas
- probabilistic knowledge
- logical reasoning
- abductive reasoning
- data sets
- security policies
- fine grained
- classical logic
- inconsistent knowledge
- formal logic
- predicate logic
- asynchronous circuits
- epistemic logic
- digital circuits
- reasoning about actions
- computational properties
- automated reasoning
- first order logic
- information systems
- databases