Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions
Diego Agustín Ambrossio, Marcos Cramer
Distributed Autoepistemic Logic with Inductive Definitions (dAEL(ID)) is a recently proposed non-monotonic logic for says-based access control. We define a query-driven decision pr…
cs.LO2019
Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation"
Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, delegation chains will form. There are different ways to trea…