Handling distributed authorization with delegation through answer set programming.
Shujing WangYan ZhangPublished in: Int. J. Inf. Sec. (2007)
Keyphrases
- answer set programming
- access control
- logic programming
- logic programs
- answer sets
- security policies
- conflict resolution
- constraint logic programming
- distributed systems
- role based access control
- reasoning tasks
- answer set programs
- causal theories
- distributed environment
- access control systems
- stable model semantics
- meta level reasoning
- stable models
- trust management
- haplotype inference
- strong equivalence
- access control policies
- deductive databases
- knowledge representation