Analyzing XACML policies using answer set programming.
Mohsen RezvaniDavid RajaratnamAleksandar IgnjatovicMaurice PagnuccoSanjay JhaPublished in: Int. J. Inf. Sec. (2019)
Keyphrases
- answer set programming
- logic programs
- logic programming
- answer sets
- access control policies
- role based access control
- constraint logic programming
- access control
- causal theories
- multi domain
- reasoning tasks
- answer set programs
- stable model semantics
- markup language
- stable models
- conflict resolution
- update semantics
- disjunctive logic programming
- general purpose
- haplotype inference
- search algorithm
- knowledge base