A Functional Solution for Goal-Ooriented Policy Refinement

Authors:
Javier Rubio-Loyola;Joan Serrat;Marinos Charalambides;Paris Flegkas;George Pavlou
Affiliations:
Universitat Politècnica de Catalunya;Universitat Politècnica de Catalunya;University of Surrey, UK;University of Surrey, UK;University of Surrey, UK
Venue:
POLICY '06 Proceedings of the Seventh IEEE International Workshop on Policies for Distributed Systems and Networks
Year:
2006

Citing 0
Cited 6

The policy continuum-Policy authoring and conflict analysis

Computer Communications
Strategy-Trees: A Feedback Based Approach to Policy Management

MACE '08 Proceedings of the 3rd IEEE international workshop on Modelling Autonomic Communications Environments
Compositional Refinement of Policies in UML --- Exemplified for Access Control

ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security
Goal-Based Service Creation Using Autonomic Entities

MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
Achieving High-Level Directives Using Strategy-Trees

MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
Policy refinement: decomposition and operationalization for dynamic domains

Proceedings of the 7th International Conference on Network and Services Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Policy refinement is a key but still unsolved area of policy based management. Goal oriented requirements engineering methodologies have been suggested as a prominent alternative to address policy refinement. Practical approaches that capture the administrative requirements and enable systematic policy refinement are still missing although such integrated solutions are rather convenient to make policy-based management systems really useful. In this paper we present a functional solution for goal oriented policy refinement grounded in linear temporal logic and reactive systems analysis techniques. We describe the technical foundations and demonstrate how these were used to develop an integrated solution for policy refinement, focusing on the details of the implemented prototype. Our policy analysis techniques that enable systematic policy refinement are demonstrated through a scenario applied to the domain of QoS Management for Differentiated Services (DiffServ) networks.