Logic-based Conflict Detection for Distributed Policies

Abstract

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

Topics

  • Presentations referencing similar topics