Delegation logic: A logic-based approach to distributed authorization.
Ninghui LiBenjamin N. GrosofJoan FeigenbaumPublished in: ACM Trans. Inf. Syst. Secur. (2003)
Keyphrases
- classical logic
- conflict resolution
- access control
- logic programming
- management system
- computational properties
- automated reasoning
- modal logic
- asynchronous circuits
- epistemic logic
- predicate logic
- multi valued
- distributed database systems
- mobile agents
- fault tolerant
- multiagent systems
- peer to peer
- distributed systems
- multi agent
- neural network
- deontic logic
- databases