Logic-based Conflict Detection for Distributed Policies


Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there are many policies leading naturally to inconsistency between the policies, a problem that has been recognised and termed policy conflict. We present a novel formal semantics for… (More)

4 Figures and Tables


  • Presentations referencing similar topics