Harnessing Models for Policy Conflict Analysis

Authors:
Steven Davy;Brendan Jennings
Affiliations:
Telecommunications Software & Systems Group, Waterford Institute of Technology, Cork Road, Waterford, Ireland;Telecommunications Software & Systems Group, Waterford Institute of Technology, Cork Road, Waterford, Ireland
Venue:
AIMS '07 Proceedings of the 1st international conference on Autonomous Infrastructure, Management and Security: Inter-Domain Management
Year:
2007

Citing 8
Cited 0

Conflicts in Policy-Based Distributed Systems Management

IEEE Transactions on Software Engineering
Conflict Resolution Using Logic Programming

IEEE Transactions on Knowledge and Data Engineering
Dynamic Conflict Detection in Policy-Based Management Systems

EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Using Event Calculus to Formalise Policy Specification and Analysis

POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Analyzing consistency of security policies

SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
PDL with Preferences

POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
Using argumentation logic for firewall policy specification and analysis

DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
Conflict prevention via model-driven policy refinement

DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which the policies are being defined. However, by developing analysis processes that can link the constructs of a policy language to the entities of an information model, we can harness knowledge relating to relationships and associations, constraint information, behavioural specifications codified by finite state machines, and extensive semantic information expressed via ontologies to provide powerful policy analysis processes.