Home // ICIW 2012, The Seventh International Conference on Internet and Web Applications and Services // View article

Distinguishing Obligations and Violations in Goal-based Data Usage Policies

Authors:
Sebastian Speiser

Keywords: policy; obligations; usage policies

Abstract:
Laws, regulations and contracts often allow actions, such as usages of data artefacts, under the condition that a set of obligations is fulfilled. Formalising such allowances as policies enables the automated testing whether actions are compliant. Previous approaches to formalise obligations treat them as special objects in the underlying logic. We propose to represent obligations and other compliance conditions in a uniform way, in order to increase understandability by non-expert users. The challenge of such an approach is to differentiate between policy violations and not yet fulfilled obligations. We present a solution based on abductive reasoning, which is described in general terms for policy languages based on first-order logic (FOL). Furthermore, we discuss the use of decidable fragments of FOL as a base for practical policy languages.

Pages: 275 to 281

Copyright: Copyright (c) IARIA, 2012

Publication date: May 27, 2012

Published in: conference

ISSN: 2308-3972

ISBN: 978-1-61208-200-4

Location: Stuttgart, Germany

Dates: from May 27, 2012 to June 1, 2012