Specifying Distributed Authorization with Delegation Using Logic Programming.
Shujing WangYan ZhangPublished in: KES (2) (2005)
Keyphrases
- logic programming
- logic programs
- access control
- deductive databases
- conflict resolution
- logic programming language
- role based access control
- security policies
- nonmonotonic reasoning
- answer set programming
- distributed systems
- knowledge representation
- programming language
- knowledge representation and reasoning
- knowledge base
- computational logic
- answer sets
- default logic
- distributed environment
- probabilistic reasoning
- constraint logic programming
- cooperative
- linear logic
- multi agent
- access control systems
- reasoning about actions
- stable models
- databases
- procedural semantics
- access control policies
- normal logic programs
- declarative semantics
- inductive logic programming
- software engineering
- fuzzy linguistic
- propositional variables