Incremental update of constraint-compliant policy rules

Bottoni, P and Fish, A. (2010) Incremental update of constraint-compliant policy rules In: Third International Workshop on Graph Computation Models, 2nd October 2010, Enschede, The Netherlands.

Full text not available from this repository.

Official URL: http://journal.ub.tu-berlin.de/eceasst/article/vie...

Abstract

Organizations typically define policies to describe (positive or negative) requirements about strategic objectives. Examples are policies relative to the security of information systems in general or to the control of access to an organization’s resources. Often, the form used to specify policies is in terms of general constraints (what and why) to be enforced via the use of rules (how and when). The consistency of the rule system (transforming valid states into valid states) can be compromised and rules can violate some constraints when constraints are updated due to changing requirements. Here, we explore a number of issues related to constraint update, in particular proposing a systematic way to update rules as a consequence of modifications of constraints, by identifying which components of the rule have to be updated. Moreover, we show the construction of sets of rules, directly derived from a positive constraint, to guarantee constraint preservation and constraint enforcement.

Item Type:Contribution to conference proceedings in the public domain ( Full Paper)
Subjects:G000 Computing and Mathematical Sciences > G400 Computing
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:8656
Deposited By:editor cmis
Deposited On:31 May 2011 17:21
Last Modified:21 Mar 2013 02:17

Repository Staff Only: item control page