Policy conflict analysis for quality of service management

Proceedings - Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005

Volumn 2005, Issue , 2005, Pages 99-108

  Charalambides, Marinos ^a   Flegkas, Paris ^a   Pavlou, George ^a   Bandara, Arosha K ^b   Lupu, Emil C ^b   Russo, Alessandra ^b   Dulay, Naranker ^b   Sloman, Morris ^b   Rubio Loyola, Javier ^c  

^a UNIVERSITY OF SURREY   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

^c UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ADMISSION CONTROL; NETWORK DIMENSIONING; POLICY CONFLICT ANALYSIS; STATIC RESOURCE MANAGEMENT;

BANDWIDTH; COMPUTER NETWORKS; DECISION MAKING; LARGE SCALE SYSTEMS; PUBLIC POLICY; RESOURCE ALLOCATION;

QUALITY OF SERVICE;

EID: 33744968649     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2005.23     Document Type: Conference Paper

References (18)

1. B.C. Lupu and M.S. Sloman, "Conflicts in Policy-Based Distributed Systems Management, " In IEEE Transactions on Software Engineering - Special Issue on Inconsistency Management, vol. 25, pp. 852-869, 1999.
2. S. Jajodia, P. Samarati, and V.S. Subrahmanian, "A Logical Language for Expressing Authorisations, " presented at IEEE Symposium on Security and Privacy, Oakland, USA, 1997a.
3. A.K. Bandara, E.C. Lupu, and A. Russo, "Using Event Calculus to Formalise Policy Specification and Analysis," presented at 4th IEEE Workshop on Policies for Networks and Distributed Systems (Policy 2003), Lake Como, Italy, 2003.
4. R.A. Kowalski and M.J. Sergot, "A logc-based calculus of events," New Generation Computing, vol. 4, pp. 67-95, 1986.
5. N. Damianou, N. Dulay, E.C. Lupu, and M.S. Sloman, "The Ponder Policy Specification Language," presented at 4th IEEE Workshop on Policies for Networks and Distributed Systems (Policy 2001), Bristol, UK, 2001.
6. A.C. Kakas, R.A. Kowalski, and F. Toni, "The Role of Abduction in Logic Programming," Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235-324, 1998.
7. P. Flegkas, P. Trimintzios, and G. Pavlou, "A Policy-based Quality of Service Management Architecture for IP DiffServ Networks," IEEE Network Magazine Special Issue on Policy Based Networking, vol. 16 No. 2, pp. 50-56, 2002.
8. P. Flegkas, P. Trimintzios, G. Pavlou, and A. Liotta, "Design and Implementation of a Policy-Based Resource Management Architecture" presented at IEEE/IFIP Integrated Management Symposium (IM 2003), Colorado Springs, Colorado, USA, Kluwer, pp. 215-229, 2003.
9. A. Russo, R. Miller, B. Nuseibeh, and J. Kramer, "An Abductive Approach for Analysing Event-Based Requirements Specifications, " presented at 18th Int. Conf. on Logic Programming (ICLP), Copenhagen, Denmark, 2002.
10. J.D. Moffett and M.S. Sloman, "Policy Conflict Analysis in Distributed System Management, " Journal of Organisational Computing, vol. 4, pp. 1-22, 1994.
11. K. Nichols, V. Jacobson and L. Zhang, "A Two Bit Differentiated Services Architecture for the Internet," in Network Working Group - RFC2638, http://www.ietf.org/rfc/rfc2638.txt, 1999.
12. A.K. Bandara et al., "Policy Refinement for DiffServ Quality of Service Management," accepted for the proceedings of IEEE/IFIP Integrated Management Symposium (IM 2005), Nice, France, 2005.
13. B. van Nuffelen and A. Kakas, "A-System: Programming with abduction," presented at Logic Programming and Nonmonotonic Reasoning (LPNMR 2001), 2001.
14. E.C. Lupu and M.S. Sloman, "Conflicts in Policy-Based Distributed Systems Management," In IEEE Transactions on Software Engineering - Special Issue on Inconsistency Management, vol. 25, pp. 852-869, 1999.
15. J. Lobo, R. Bhatia, and S. Naqvi, "A Policy Description Language," presented at 16th National Conf. on Artificial Intelligence, Orlando, Florida, USA, 1999.
16. J. Chomicki, J. Lobo, and S. Naqvi, "A Logic Programming Approach to Conflict Resolution in Policy Management," presented at 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, USA, 2000.
17. T.C. Son and J. Lobo, "Reasoning about Policies Using Logic Programs," presented at AAAI Spring Symposium on Answer Set Programming, Stanford University, CA, 2001.
18. E. Al-Shaer and H. Hamed, "Modeling and Management of Firewall Policies," in IEEE Transactions on Network and Service Management (eTNSM 2004), Volume 1-1, April 2004.