{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T01:26:19Z","timestamp":1772155579246,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642011863","type":"print"},{"value":"9783642011870","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01187-0_17","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T16:53:15Z","timestamp":1241455995000},"page":"212-226","source":"Crossref","is-referenced-by-count":11,"title":["Typing for Conflict Detection in Access Control Policies"],"prefix":"10.1007","author":[{"given":"Kamel","family":"Adi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yacine","family":"Bouzida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ikhlass","family":"Hattak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Logrippo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serge","family":"Mankovskii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"AbouElKalam, A., El Baida, R., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Mi\u00e8ge, A., Saurel, C., Trouessin, G.: Organization Based Access Control. In: Proceedings of IEEE 4 th International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), Lake Come, Italy, June 2003, pp. 120\u2013134 (2003)"},{"key":"17_CR2","unstructured":"Adi, K., Elkabbal, A., Mejri, M.: Un Syst\u00e8me de Types pour l\u2019Analyse des Pare-feux. In: Proccedings of the 4th Conference on Security and Network Architectures (SAR 2005), pp. 227\u2013236 (2005)"},{"issue":"10","key":"17_CR3","doi-asserted-by":"publisher","first-page":"2069","DOI":"10.1109\/JSAC.2005.854119","volume":"23","author":"E. Al-Shaer","year":"2005","unstructured":"Al-Shaer, E., Hamed, H., Boutaba, R., Hasan, M.: Conflict classification and analysis of distributed firewall policies. IEEE Journal on Selected Areas in Communications\u00a023(10), 2069\u20132084 (2005)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Bertino, E., Catania, B., Ferrari, E., Perlasca, P.: A logical framework for reasoning about access control models. ACM Trans. Inf. Syst. Secur.\u00a06(1) (2003)","DOI":"10.1145\/605434.605437"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Bertino, E., Jajodia, S., Samarati, P.: Supporting Multiple Access Control Policies in Database Systems. In: IEEE Symposium on Security and Privacy, pp. 94\u2013107 (1996)","DOI":"10.1109\/SECPRI.1996.502673"},{"key":"17_CR6","unstructured":"Bouzida, Y.: Managing security rules conflicts. European Patent Number EP 2 023 567 A1 (August 2007)"},{"key":"17_CR7","unstructured":"Bouzida, Y.: Online security rules conflict management. European Patent Number EP 2 023 566 A1 (August 2007)"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2007.01.064","volume":"186","author":"F. Cuppens","year":"2007","unstructured":"Cuppens, F., Cuppens-Boulahia, N., BenGhorbel, M.: High Level Conflict Management Strategies in Advanced Access Control Models. Electr. Notes Theor. Comput. Sci.\u00a0186, 3\u201326 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Cuppens, F., Mi\u00e8ge, A.: Modelling contexts in the Or-BAC model. In: Proceedings of the 19th Annual Computer Security Applications Conference (ACSAC 2003), Las Vegas, Nevada, USA, December 2003, pp. 416\u2013427 (2003)","DOI":"10.1109\/CSAC.2003.1254346"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Gouda, M.G., Liu, A.X.: Firewall Design: Consistency, Completeness, and Compactness. In: ICDCS 2004, pp. 320\u2013327 (2004)","DOI":"10.1109\/ICDCS.2004.1281597"},{"key":"17_CR11","unstructured":"Weissman, V., Halpern, J.Y.: Using First-Order Logic to Reason about Policies. In: 16th IEEE Computer Security Foundations Workshop, CSFW 2003 (2003)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Jajodia, S., Samarati, P., Subrahmanian, V.S.: A logical language for expressing authorizations. In: IEEE Symposium on Security and Privacy, pp. 31\u201342 (1997)","DOI":"10.1109\/SECPRI.1997.601312"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45931-6_16","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Koch","year":"2002","unstructured":"Koch, M., Mancini, L., Parisi-Presicce, F.: Conflict detection and resolution in access control policy specifications. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 223\u2013237. Springer, Heidelberg (2002)"},{"key":"17_CR14","first-page":"505","volume-title":"AINAW 2007: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops","author":"A. Masoumzadeh","year":"2007","unstructured":"Masoumzadeh, A., Amini, M., Jalili, R.: Conflict detection and resolution in context-aware authorization. In: AINAW 2007: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops, pp. 505\u2013511. IEEE Computer Society, Los Alamitos (2007)"},{"key":"17_CR15","first-page":"301","volume-title":"Proccedings of 5th International Conference on Software Methodologies, Tools and Techniques","author":"L. Pene","year":"2006","unstructured":"Pene, L., Adi, K.: Calculus for Distributed Firewall Specification and Verification. In: Proccedings of 5th International Conference on Software Methodologies, Tools and Techniques, pp. 301\u2013315. IOS Press, Amsterdam (2006)"},{"issue":"2","key":"17_CR16","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R.S. Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. IEEE Computer\u00a029(2), 38\u201347 (1996)","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Business Information Processing","E-Technologies: Innovation in an Open World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01187-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:35:44Z","timestamp":1558298144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01187-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642011863","9783642011870"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01187-0_17","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}