Work

In the Nick of Time: Proactive Prevention of Obligation Violations

Year: 2016

Type: conference-paper

Abstract: We present a system model, an enforcement mechanism, and a policy language for the proactive enforcement of timed provisions and obligations. Our approach improves upon existing formalisms in two ways: (1) we exploit the target system's existing functionality to avert policy violations proactively, rather than compensate for them reactively, and, (2) instead of requiring the manual specification of remedial actions in the policy, we automatically deduce required actions directly from the policy. As a policy language, we employ timed dynamic condition response (DCR) processes. DCR primitives declaratively express timed provisions and obligations as causal relationships between events, and DCR states explicitly represent pending obligations. As key technical results, we show that enforceability of DCR policies is decidable, we give a sufficient polynomial time verifiable condition for a policy to be enforceable, and we give an algorithm for determining from a DCR state a sequence of actions that discharge impending obligations.

Source: IEEE Computer Security Foundations Workshop (CSFW)

DOI: 10.1109/csf.2016.16

Authors: David Basin, Soren Debois, Thomas T. Hildebrandt

Institutions: ETH Zurich, Institute of Information Security, IT University of Copenhagen

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

SDG: Peace, justice, and strong institutions

Open Access status: green

OpenAlex ID: W2511065019

FWCI: 1.723

Cites: 33

Cited by: 15

Related to: 10