{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:14:04Z","timestamp":1737522844557,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540756972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75698-9_17","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T02:26:03Z","timestamp":1191464763000},"page":"257-271","source":"Crossref","is-referenced-by-count":8,"title":["Logic\u2013Based Detection of Conflicts in Appel Policies"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Montangero","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Reiff-Marganiec","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Semini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Lupu, E., Sloman, M.: Conflicts in policy based distributed systems management. IEEE Transactions on Software Engineering\u00a025(6) (1999)","DOI":"10.1109\/32.824414"},{"volume-title":"Proc. 3rd. International Workshop on Policies for Distributed Systems and Networks","year":"2002","key":"17_CR2","unstructured":"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 (2002)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Policies for Distributed Systems and Networks","year":"2001","unstructured":"Sloman, M., Lobo, J., Lupu, E.C. (eds.): POLICY 2001. LNCS, vol.\u00a01995. Springer, Heidelberg (2001)"},{"issue":"6","key":"17_CR4","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/j.csi.2005.05.004","volume":"28","author":"K.J. Turner","year":"2006","unstructured":"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\u00a028(6), 635\u2013649 (2006)","journal-title":"Computer Standards and Interfaces"},{"key":"17_CR5","first-page":"199","volume":"0","author":"S. Gorton","year":"2006","unstructured":"Gorton, S., Reiff-Marganiec, S.: Policy support for business-oriented web service management. la-web\u00a00, 199\u2013202 (2006)","journal-title":"la-web"},{"issue":"5","key":"17_CR6","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1016\/j.comnet.2004.03.004","volume":"45","author":"S. Reiff-Marganiec","year":"2004","unstructured":"Reiff-Marganiec, S., Turner, K.J.: Feature interaction in policies. Comput. Networks\u00a045(5), 569\u2013584 (2004)","journal-title":"Comput. Networks"},{"key":"17_CR7","unstructured":"Reiff-Marganiec, S., Turner, K., Blair, L.: Appel: The accent project policy environment\/language. Technical Report TR-161, University of Stirling (2005)"},{"key":"17_CR8","volume-title":"TIME 2002","author":"C. Montangero","year":"2002","unstructured":"Montangero, C., Semini, L.: Distributed states logic. In: TIME 2002. 9 th International Symposium on Temporal Representation and Reasoning, Manchester, UK, IEEE CS Press, Los Alamitos (2002)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-3-540-24634-3_19","volume-title":"Coordination Models and Languages","author":"C. Montangero","year":"2004","unstructured":"Montangero, C., Semini, L., Semprini, S.: Logic Based Coordination for Event\u2013Driven Self\u2013Healing Distributed Systems. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 248\u2013262. Springer, Heidelberg (2004)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36135-9_9","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"S. Reiff-Marganiec","year":"2002","unstructured":"Reiff-Marganiec, S., Turner, K.J.: Use of logic to describe enhanced communication services. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, Springer, Heidelberg (2002)"},{"issue":"2","key":"17_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1014530313153","volume":"9","author":"G. Ferrari","year":"2002","unstructured":"Ferrari, G., Montangero, C., Semini, L., Semprini, S.: Mark, a reasoning kit for mobility. Automated Software Engineering\u00a09(2), 137\u2013150 (2002)","journal-title":"Automated Software Engineering"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Efstratiou, C., Friday, A., Davies, N., Cheverst, K.: Utilising the event calculus for policy driven adaptation on mobile systems. [2], 13\u201324 (2002)","DOI":"10.1109\/POLICY.2002.1011289"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Amer, M., Karmouch, A., Gray, T., Mankovskii, S.: Feature interaction resolution using fuzzy policies. [23], 94\u2013112 (2000)","DOI":"10.1007\/978-0-387-35532-0_15"},{"issue":"1","key":"17_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/10919399409540214","volume":"4","author":"J.D. Moffett","year":"1994","unstructured":"Moffett, J.D., Sloman, M.S.: Policy conflict analysis in distributed systems management. Journal of Organizational Computing\u00a04(1), 1\u201322 (1994)","journal-title":"Journal of Organizational Computing"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Bertino, E., Catania, B., Ferrari, E., Perlasca, P.: A system to specify and manage multipolicy access control models. [2], 116\u2013127 (2002)","DOI":"10.1109\/POLICY.2002.1011299"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/1035429.1035433","volume-title":"FMSE 2003","author":"F. Siewe","year":"2003","unstructured":"Siewe, F., Cau, A., Zedan, H.: A compositional framework for access control policies enforcement. In: FMSE 2003. Proceedings of the 2003 ACM workshop on Formal methods in security engineering, pp. 32\u201342. ACM Press, New York, NY, USA (2003)"},{"key":"17_CR17","first-page":"187","volume":"00","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. csfw\u00a000, 187 (2003)","journal-title":"csfw"},{"issue":"4","key":"17_CR18","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/1108906.1108908","volume":"8","author":"X. Zhang","year":"2005","unstructured":"Zhang, X., Parisi-Presicce, F., Sandhu, R., Park, J.: Formal model and policy specification of usage control. ACM Trans. Inf. Syst. Secur.\u00a08(4), 351\u2013387 (2005)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"17_CR19","first-page":"15","volume-title":"Enterprise Distributed Object Computing Conference, IEEE Computer Society","author":"N. Dunlop","year":"2002","unstructured":"Dunlop, N., Indulska, J., Raymond, K.: Methods for conflict resolution in policy-based management systems. In: Enterprise Distributed Object Computing Conference, IEEE Computer Society, pp. 15\u201326. IEEE Computer Society, Los Alamitos (2002)"},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S1389-1286(02)00352-3","volume":"41","author":"M. Calder","year":"2001","unstructured":"Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: A critical review and considered forecast. Computer Networks\u00a041, 115\u2013141 (2001)","journal-title":"Computer Networks"},{"volume-title":"Feature Interactions in Telecommunications and Software Systems VII","year":"2003","key":"17_CR21","unstructured":"Amyot, D., Logrippo, L. (eds.): Feature Interactions in Telecommunications and Software Systems VII. IOS Press, Amsterdam (2003)"},{"volume-title":"Feature Interactions in Telecommunications and Software Systems VIII","year":"2005","key":"17_CR22","unstructured":"Reiff-Marganiec, S., Ryan, M. (eds.): Feature Interactions in Telecommunications and Software Systems VIII. IOS Press, Amsterdam (2005)"},{"volume-title":"Feature Interactions in Telecommunications and Software Systems VI","year":"2000","key":"17_CR23","unstructured":"Calder, M., Magill, E. (eds.): Feature Interactions in Telecommunications and Software Systems VI. IOS Press, Amsterdam (2000)"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75698-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T11:28:32Z","timestamp":1737458912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75698-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540756972"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75698-9_17","relation":{},"subject":[]}}