PAQMAN: Policy Analysis for Quality of Service MANagement
PAQMAN is an EPSRC funded project in collaboration with the Centre for Comms. Systems Research, Department of Electrical Engineering, University of Surrey
Overview
Policy-based management has been proposed in recent years as a suitable means for managing Quality of Service (QoS) in IP networks. Yet despite research projects, standardisation efforts, and substantial interest from industry, policy-based management is still not a reality. There are some vendor tools, mostly part of virtual private network provisioning toolsets, but policy-based management is still far from being widely adopted despite its potential benefits of flexibility and constrained programmability. One of the reasons for the reticence to adopt this technology is that it is difficult to analyse policies to determine that they will actually work given the capabilities of managed network devices, and to guarantee the stability of the network configuration given that policies may have conflicts leading to unpredictable effects.
This project will attempt to address the problems of policy analysis, including conflict detection and validation, and policy refinement using QoS management for IP networks as an application-specific demonstrator. Our overall goal is to make use of the complementary expertise of the Imperial and Surrey groups to integrate formal analysis techniques with policy specification, policy deployment and QoS management techniques for IP networks.
People
DSE Group, Department of Computing, Imperial College London
CCSR Networking Group, Department of Electronic Engineering, University of Surrey
Publications
A. Bandara, E. Lupu, A. Russo, N. Dulay, M. Sloman, P. Flegkas, M. Charalambides, G. Pavlou. Policy Refinement for DiffServ Quality of Service Management. IEEE eTransactions on Network and Service Management. 3(2):2-13, 2006. Pdf
- A. Bandara, A. Kakas, E. Lupu, A. Russo. Using Argumentation Logic for Firewall Policy Specification and Analysis. 17th IFIP/IEEE Distributed Systems: Operations and Management (DSOM 2006), Dublin, Ireland. Springer-Verlag LNCS.
M. Charalambides, P. Flegkas, G. Pavlou, J. Rubio-Loyola, A. Bandara, E. Lupu, A. Russo, M. Sloman, N. Dulay. Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management. IFIP/IEEE Netowork Operations and Management Symp. (NOMS 2006), Vancouver, Canada, April 2006.
- M. Charalambides, P. Flegkas, G. Pavlou, A. Bandara, E. Lupu, A. Russo, N. Dulay, M. Sloman, J. Rubio-Loyola. Policy Conflict Analysis for Quality of Service Management. IEEE Conference on Policies for Distributed Systems and Networks (Policy 2005), Stockholm, June 2005, pp. IEEE CS Press.
A. Bandara, E. Lupu, A. Russo, N.Dulay, M.Sloman, P. Flegas, M. Charalambides, G. Pavlou. Policy Refinement for DiffServ Quality of Service Management. IEEE/IFIP International Symposium on Integrated Network Management (IM 2005). May 2005, Nice France. Pdf
A. Bandara, E. Lupu, J. Moffett, A. Russo. A Goal-based Approach to Policy Refinement. IEEE Workshop on Policies for Distributed Systems and Networks, 5th IEEE Workshop on Policies for Distributed Systems and Networks, (Policy 2004), New York, June 2004. Pdf
A. Bandara, E. Lupu, A. Russo. Using Event Calculus to Formalise Policy Specification and Analysis. IEEE 4th International Workshop on Policies for Distributed Systems and Networks (Policy 2003). Como, Italy, June 2003. Pdf
Poster: Policy Refinement for DiffServ Quality of Service Management
A. Bandara, E. Lupu, , A. Russo, N. Dulay, M. Sloman, P. Flegkas, M. Charalambides, G. Pavlou Proceedings 13th HP Openview University Association Workshop, Portugal, July 2004
Software and Demonstrations
PonderART. Ponder Analysis and Refinement ToolSet