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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lupu, E.C., Sloman, M.: Conflict in Policy Based Distributed Systems Management. IEEE Transactions on Software Engineering 25(6), 852–869 (1999)
Dunlop, N., Indulska, J., Raymond, K.: Dynamic Conflict Detection in Policy-Based Management Systems, In: Enterprise Distributed Object Computing Conference, pp. 15–26 (2002)
Bandara, A.K., Lupu, E.C., Russo, A.: Using Event Calculus to formalize policy specification and analysis. In: 4th IEEE Workshop on Policies for Distributed Systems and Networks (2003)
Cholvy, L., Cuppens, F.: Analyzing Consistency of Security Policies. IEEE Symposium on Security and Privacy, pp. 103–112 (1997)
Bandara, A.K., Kakas, A., Lupu, E.C., Russo, A.: Using Argumentation Logic for Firewall Policy Specification and Analysis. In: State, R., van der Meer, S., O’Sullivan, D., Pfeifer, T. (eds.) DSOM 2006. LNCS, vol. 4269, pp. 185–196. Springer, Heidelberg (2006)
Chomicki, J., Lobo, J., Naqvi, S.: Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng. 15(1), 244–249 (2003)
Bertino, E., Mileo, A., Provetti, A.: PDL with Preferences. In: 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), pp. 213–222 (2005)
Barrett, K., Davy, S., Jennings, B., van der Meer, S., Strassner, J.: Model Based Generation of Integrated Suites of Languages and Tools for Policy Specification, Analysis and Deployment, submitted to IEEE Workshop on Policies for Distributed Systems and Networks (submitted)
Davy, S., Jennings, B., Strassner, J.: Policy Conflict Prevention via Model-driven Policy Refinement. In: Proc 17th IFIP/IEEE Distributed Systems: Operations and Management (DSOM), pp. 209–220 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Davy, S., Jennings, B. (2007). Harnessing Models for Policy Conflict Analysis. In: Bandara, A.K., Burgess, M. (eds) Inter-Domain Management. AIMS 2007. Lecture Notes in Computer Science, vol 4543. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72986-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-72986-0_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72985-3
Online ISBN: 978-3-540-72986-0
eBook Packages: Computer ScienceComputer Science (R0)