Logic-based Conflict Detection for Distributed Policies

• Autorzy: Montangero C. , Reiff-Marganiec S. , Semini L.
• Języki publikacji: EN

Abstrakty

EN

Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there are many policies leading naturally to inconsistency between the policies, a problem that has been recognised and termed policy conflict. We present a novel formal semantics for distributed policies expressed in the APPEL language (so far APPEL only had an informal semantics and a recently defined formal semantics without distribution of policies). The semantics is expressed in DSTL(x), an extension of temporal logic to deal with global applications: it includes modalities to localize properties to system components, an operator to deal with events, and temporal modalities `a la Unity. A further contribution of the paper is the development of semantics based techniques to detect policy conflict and a consideration of conflict resolution.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 89, nr 4
• Strony: 511--538
• Opis fizyczny: bibliogr. 37 poz.

Twórcy

autor

Montangero C.

autor

Reiff-Marganiec S.

autor

Semini L.

• Dip. di Informatica, Universita di Pisa, Italy,

Bibliografia

• [1] Citizens Information (Irish eGoverment website), www.citizensinformation.ie.
• [2] Sensoria home page, www.sensoria-ist.eu.
• [3] Amer,M., Karmouch, A., Gray, T.,Mankovskii, S.: Feature Interaction Resolution using Fuzzy Policies, [8], may 2000.
• [4] Amyot, D., Logrippo, L., Eds.: Feature Interactions in Telecommunications and Software Systems VII, IOS Press (Amsterdam), 2003.
• [5] Areces, C.: Logic Engineering. The Case of Description and Hybrid Logics, Ph.D. Thesis, ILLC, University of Amsterdam, The Netherlands., 2000.
• [6] Bertino, E., Catania, B., Ferrari, E., Perlasca, P.: A system to specify and manage multipolicy access control models, [25], 2002.
• [7] Calder, M., Kolberg, M., Magill, E. H., Reiff-Marganiec, S.: Feature Interaction: A critical Review and Considered Forecast, Computer Networks, 41, 2001, 115-141.
• [8] Calder,M.,Magill, E., Eds.: Feature Interactions in Telecommunications and Software Systems VI, IOS Press (Amsterdam), May 2000.
• [9] Chandy, K., Misra, J.: Parallel Program Design: A Foundation, Addison-Wesley, Reading Mass., 1988.
• [10] Costello, T., Patterson, A.: Quantifiers and Operations on Modalities and Contexts, in: KR'98: Principles of Knowledge Representation and Reasoning (A. Cohn, L. Schubert, S. Shapiro, Eds.),Morgan Kaufmann, San Francisco, 1998, 270-281.
• [11] Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The Ponder Policy Specification Language, POLICY (M. Sloman, J. Lobo, E. Lupu, Eds.), 1995, Springer, 2001, ISBN 3-540-41610-2.
• [12] DMTF: CIM Simplified Policy Language (CIM-SPL), 2007.
• [13] Dunlop, N., Indulska, J., Raymond, K.: Methods for Conflict Resolution in Policy-Based Management Systems, Enterprise Distributed Object Computing Conference, IEEE Computer Society, 2002, ISBN 0-7695-1742-0.
• [14] Efstratiou, C., Friday, A., Davies, N., Cheverst, K.: Utilising the event calculus for policy driven adaptation on mobile systems, [25], 2002.
• [15] Ferrari, G., Montangero, C., Semini, L., Semprini, S.: MaRK, a reasoning kit for mobility, Automated Software Engineering, 9(2), Apr 2002, 137-150.
• [16] Gnesi, S., ter Beek, M., Baumeister, H., Hoelzl, M., Moiso, C., Koch, N., Zobel, A., Alessandrini, M.: D8.0: Case studies scenario description (automotive case study), SENSORIA project deliverable, 2006.
• [17] Gorton, S., Montangero, C., Reiff-Marganiec, S., Semini., L.: StPowla: SOA, Policies and Workflows, 3rd International Workshop on Engineering Service-Oriented Applications: Analysis, Design, and Composition, Vienna, Sep. 2007, (LNCS proceedings forthcoming).
• [18] Gorton, S., Reiff-Marganiec, S.: Policy Support for Business-oriented Web Service Management, Web Congress, 2006. LA-Web '06. Fourth Latin American, IEEE Computer Society, Los Alamitos, CA, USA, Oct. 2006, ISBN 0-7695-2693-4.
• [19] Halpern, J. Y.,Weissman, V.: Using First-Order Logic to Reason about Policies, Proceedings of the Computer Security Foundations Workshop (CSFW'03), IEEE Computer Society, Los Alamitos, CA, USA, 2003, ISSN 1063-6900.
• [20] Hennessy,M., Riely, J.: Resource access control in systems of mobile agents, Information and Computation, 173, 2002, 82-120.
• [21] IBM: Autonomic Computing Policy Language, 2005.
• [22] Kephart, J., Walsh, W.: An Artificial Intelligence Perspective on Autonomic Computing Policies, Proc. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), IEEE Computer Society, June 2004.
• [23] Layouni, A. F., Logrippo, L., Turner, K. J.: Conflict Detection in Call Control using First-Order LogicModel Checking, Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems (L. du Bousquet, J.-L. Richier, Eds.), IMAG Laboratory, University of Grenoble, France, 2007.
• [24] Lupu, E., Sloman, M.: Conflicts in Policy Based Distributed Systems Management, IEEE Transactions on Software Engineering, 25(6), 1999.
• [25] Michael, J. B., Lobo, J., Dulay, N., Eds.: Proc. 3rd. International Workshop on Policies for Distributed Systems and Networks, IEEE Computer Society, Los Alamitos, California, USA, June 2002.
• [26] Moffett, J. D., Sloman, M. S.: Policy Conflict Analysis in Distributed Systems Management, Journal of Organizational Computing, 4(1), 1994, 1-22.
• [27] Montangero, C., Reiff-Marganiec, S., Semini., L.: Logic-based detection of conflicts in APPEL policies., IPM International Symposium on Fundamentals of Software Engineering, FSEN07 (F. Arbab, M. Sirjani, Eds.), LNCS 4767, Springer, Tehran, Iran, Apr. 2007.
• [28] Montangero, C., Semini, L.: Distributed States Logic, 9th International Symposium on Temporal Representation and Reasoning (TIME'02), IEEE CS Press, Manchester, UK, July 2002.
• [29] Montangero, C., Semini, L., Semprini, S.: Logic Based Coordination for Event-Driven Self-Healing Distributed Systems, Proc. 6th Int. Conf. on CoordinationModels and Languages, COORDINATION'04 (R. Nicola, G.Ferrari, G. Meredith, Eds.), 2949, Springer-Verlag, Pisa, Italy, Feb. 2004.
• [30] Reiff-Marganiec, S., Ryan,M., Eds.: Feature Interactions in Telecommunications and Software Systems VIII, IOS Press (Amsterdam), June 2005.
• [31] Reiff-Marganiec, S., Turner, K., Blair, L.: APPEL: The Accent Project Policy Environment/Language, Technical Report TR-161, University of Stirling, Dec. 2005.
• [32] Reiff-Marganiec, S., Turner, K. J.: Use of Logic to Describe Enhanced Communication Services, LNCS2529: Formal Techniques for Networked and Distributed Systems - FORTE2002 (D. A. Peled, M. Y. Vardi, Eds.), Springer Verlag (Berlin), Nov. 2002.
• [33] Reiff-Marganiec, S., Turner, K. J.: Feature interaction in policies, Comput. Networks, 45(5), 2004, 569-584, ISSN 1389-1286.
• [34] Siewe, F., Cau, A., Zedan, H.: A compositional framework for access control policies enforcement, FMSE '03: Proceedings of the 2003 ACM workshop on Formal methods in security engineering, ACM Press, New York, NY, USA, 2003, ISBN 1-58113-781-8.
• [35] Sloman, M., Lobo, J., Lupu, E. C., Eds.: Proc. 2nd International Workshop on Policies for Distributed Systems and Networks, LNCS 1995, Springer Verlag, 2001.
• [36] Turner, K. J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., Ireland, J.: Policy Support for Call Control, Computer Standards and Interfaces, 28(6), 2006, 635-649.
• [37] Zhang, X., Parisi-Presicce, F., Sandhu, R., Park, J.: Formal model and policy specification of usage control, ACM Trans. Inf. Syst. Secur., 8(4), 2005, 351-387, ISSN 1094-9224.