Policy refinement: decomposition and operationalization for dynamic domains

Authors:
Robert Craven;Jorge Lobo;Emil Lupu;Alessandra Russo;Morris Sloman
Affiliations:
Imperial College London, UK;IBM Research, T. J. Watson, NY;Imperial College London, UK;Imperial College London, UK;Imperial College London, UK
Venue:
Proceedings of the 7th International Conference on Network and Services Management
Year:
2011

Citing 12
Cited 0

The existence of refinement mappings

Theoretical Computer Science
Formal refinement patterns for goal-driven requirements elaboration

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
The Ponder Policy Specification Language

POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Policy Transformation Techniques in Policy-based Systems Management

POLICY '04 Proceedings of the Fifth IEEE International Workshop on Policies for Distributed Systems and Networks
A Goal-based Approach to Policy Refinement

POLICY '04 Proceedings of the Fifth IEEE International Workshop on Policies for Distributed Systems and Networks
A Functional Solution for Goal-Ooriented Policy Refinement

POLICY '06 Proceedings of the Seventh IEEE International Workshop on Policies for Distributed Systems and Networks
Goals and Policies for Sensor Network Management

SENSORCOMM '08 Proceedings of the 2008 Second International Conference on Sensor Technologies and Applications
Goals and Policies for Sensor Network Management

SENSORCOMM '08 Proceedings of the 2008 Second International Conference on Sensor Technologies and Applications
Expressive policy analysis with enhanced system dynamicity

Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
ChangeRefinery: Assisted Refinement of High-Level IT Change Requests

POLICY '09 Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks
Security policy refinement using data integration: a position paper

Proceedings of the 2nd ACM workshop on Assurable and usable security configuration
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

We describe a method for policy refinement. The refinement process involves stages of decomposition, operationalization, deployment and re-refinement, and operates on policies expressed in a logical language flexible enough to be translated into many different enforceable policy dialects. We illustrate with examples from a coalition scenario, and describe how the stages of decomposition and operationaliztion work internally, and fit together in an interleaved fashion. Domains are represented in a logical formalization of UML diagrams. Both authorization and obligation policies are supported.