Detecting Incompleteness, Conflicting and Unreachability XACML Policies using Answer Set Programming.
Carroline Dewi Puspa Kencana RamliPublished in: CoRR (2015)
Keyphrases
- answer set programming
- logic programming
- logic programs
- role based access control
- answer sets
- access control policies
- access control
- causal theories
- answer set programs
- constraint logic programming
- stable models
- reasoning tasks
- stable model semantics
- incomplete information
- markup language
- multi domain
- optimal policy
- conflict resolution
- data model
- relational databases
- search algorithm
- inductive logic programming