{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T03:30:08Z","timestamp":1764732608513,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319171265"},{"type":"electronic","value":"9783319171272"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17127-2_10","type":"book-chapter","created":{"date-parts":[[2015,4,27]],"date-time":"2015-04-27T02:12:01Z","timestamp":1430100721000},"page":"148-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Inter-technology Conflict Analysis for Communication Protection Policies"],"prefix":"10.1007","author":[{"given":"Cataldo","family":"Basile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Canavese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Lioy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fulvio","family":"Valenza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,28]]},"reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MIC.2010.29","volume":"14","author":"A Wool","year":"2010","unstructured":"Wool, A.: Trends in firewall configuration errors: measuring the holes in swiss cheese. IEEE Internet Comput. 14(4), 58\u201365 (2010)","journal-title":"IEEE Internet Comput."},{"key":"10_CR2","unstructured":"Center for Strategic and International Studies: Securing cyberspace for the 44th presidency. Technical report, December 2008"},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1109\/MCOM.2006.1607877","volume":"44","author":"H Hamed","year":"2006","unstructured":"Hamed, H., Al-Shaer, E.: Taxonomy of conflicts in network security policies. IEEE Commun. Mag. 44(3), 134\u2013141 (2006)","journal-title":"IEEE Commun. Mag."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Hamed, H., Al-Shaer, E., Marrero, W.: Modeling and verification of IPsec and vpn security policies. In: 13th IEEE International Conference on Network Protocols, ICNP 2005, pp. 259\u2013278. IEEE Computer Society, November 2005","DOI":"10.1109\/ICNP.2005.25"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Li, Z., Cui, X., Chen, L.: Analysis and classification of IPsec security policy conflicts. In: Japan-China Joint Workshop on Frontier of Computer Science and Technology, FCST 2006, pp. 83\u201388. IEEE Computer Society, November 2006","DOI":"10.1109\/FCST.2006.10"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Kelly, S., Ramamoorthi, S.: Requirements for IPsec Remote Access Scenarios. RFC 3457, January 2003","DOI":"10.17487\/rfc3457"},{"issue":"2","key":"10_CR7","first-page":"551","volume":"21","author":"A Khakpour","year":"2009","unstructured":"Khakpour, A., Liu, A.X.: Quarnet: a tool for quantifying static network reachability. IEEE\/ACM Trans. Netw. 21(2), 551\u2013565 (2009)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"10_CR8","unstructured":"Group, W.O.W.: OWL 2 web ontology language document overview. Technical report, October 2009. http:\/\/www.w3.org\/TR\/2009\/REC-owl2-overview-20091027\/"},{"key":"10_CR9","unstructured":"W3C: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Technical report, World Wide Web Consortium, May 2004"},{"issue":"10","key":"10_CR10","doi-asserted-by":"publisher","first-page":"2069","DOI":"10.1109\/JSAC.2005.854119","volume":"23","author":"E Al-Shaer","year":"2006","unstructured":"Al-Shaer, E., Hamed, H., Boutaba, R., Hasan, M.: Conflict classification and analysis of distributed firewall policies. IEEE J. Sel. Areas Commun. 23(10), 2069\u20132084 (2006)","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"10_CR11","unstructured":"Zao, J.: Semantic model for IPsec policy interaction. Technical report, Internet Draft, March 2000"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-44569-2_3","volume-title":"Policies for Distributed Systems and Networks","author":"Z Fu","year":"2001","unstructured":"Fu, Z., Wu, S.F., Huang, H., Loh, K., Gong, F., Baldine, I., Xu, C.: IPSec\/VPN security policy: correctness, conflict detection, and resolution. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol. 1995, p. 39. Springer, Heidelberg (2001)"},{"issue":"4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1109\/TNET.2011.2178431","volume":"20","author":"C Basile","year":"2012","unstructured":"Basile, C., Cappadonia, A., Lioy, A.: Network-level access control policy analysis and transformation. IEEE\/ACM Trans. Netw. 20(4), 985\u2013998 (2012)","journal-title":"IEEE\/ACM Trans. Netw."},{"issue":"3","key":"10_CR14","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1109\/TDSC.2012.20","volume":"9","author":"H Hu","year":"2012","unstructured":"Hu, H., Ahn, G.J., Kulkarni, K.: Detecting and resolving firewall policy anomalies. IEEE Trans. Dependable Secure Comput. 9(3), 318\u2013331 (2012)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Hu, H., Ahn, G.J., Kulkarni, K.: Ontology-based policy anomaly management for autonomic computing. In: 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing. CollaborateCom, IEEE Computer Society, pp. 487\u2013494, October 2011","DOI":"10.4108\/icst.collaboratecom.2011.247119"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Bandara, A.K., Kakas, A.C., Lupu, E.C., Russo, A.: Using argumentation logic for firewall configuration management. In: Integrated Network Management-Workshops, 2009, IM 2009, pp. 180\u2013187. IEEE Computer Society, June 2009","DOI":"10.1109\/INM.2009.5188808"},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s10207-007-0045-7","volume":"7","author":"JG Alfaro","year":"2008","unstructured":"Alfaro, J.G., Boulahia-Cuppens, N., Cuppens, F.: Complete analysis of configuration rules to guarantee reliable network security policies. Int. J. Inf. Secur. 7(2), 103\u2013122 (2008)","journal-title":"Int. J. Inf. Secur."},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-19348-4_15","volume-title":"Data Privacy Management and Autonomous Spontaneous Security","author":"J Garcia-Alfaro","year":"2011","unstructured":"Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N., Preda, S.: MIRAGE: a management tool for the analysis and deployment of network security policies. In: Garcia-Alfaro, J., Navarro-Arribas, G., Cavalli, A., Leneutre, J. (eds.) DPM 2010 and SETOP 2010. LNCS, vol. 6514, pp. 203\u2013215. Springer, Heidelberg (2011)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Thanasegaran, S., Yin, Y., Tateiwa, Y., Katayama, Y., Takahashi, N.: A topological approach to detect conflicts in firewall policies. In: IEEE International Symposium on Parallel & Distributed Processing, IPDPS 2009, pp. 1\u20137. IEEE Computer Society, May 2009","DOI":"10.1109\/IPDPS.2009.5161245"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Ferraresi, S., Pesic, S., Trazza, L., Baiocchi, A.: Automatic conflict analysis and resolution of traffic filtering policy for firewall and security gateway. In: International Chamber of Commerce, ICC 2007, pp. 1304\u20131310. IEEE Computer Society, June 2007","DOI":"10.1109\/ICC.2007.220"}],"container-title":["Lecture Notes in Computer Science","Risks and Security of Internet and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17127-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T15:15:27Z","timestamp":1748358927000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17127-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319171265","9783319171272"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17127-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}