{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:07:38Z","timestamp":1755907658664,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,12,8]],"date-time":"2023-12-08T00:00:00Z","timestamp":1701993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62262018"],"award-info":[{"award-number":["62262018"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Jiangsu Provincial Water Conservancy Science and Technology Plan","award":["2021064"],"award-info":[{"award-number":["2021064"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,12,8]]},"DOI":"10.1145\/3638584.3638666","type":"proceedings-article","created":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T11:15:19Z","timestamp":1710414919000},"page":"91-98","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Inconsistency Detecting and Resolving for Security Policy and IPv6 Firewall Policy"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7692-2672","authenticated-orcid":false,"given":"Yi","family":"Yin","sequence":"first","affiliation":[{"name":"Nanjing Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3235-2161","authenticated-orcid":false,"given":"Yuichiro","family":"Tateiwa","sequence":"additional","affiliation":[{"name":"Nagoya Institute of Technology, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7097-2396","authenticated-orcid":false,"given":"Xiaojun","family":"Qian","sequence":"additional","affiliation":[{"name":"Nanjing Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1534-2524","authenticated-orcid":false,"given":"Qian","family":"Gao","sequence":"additional","affiliation":[{"name":"Nanjing Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-0311-6784","authenticated-orcid":false,"given":"Lingling","family":"Shen","sequence":"additional","affiliation":[{"name":"Nanjing Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6545-4802","authenticated-orcid":false,"given":"Guoqiang","family":"Zhang","sequence":"additional","affiliation":[{"name":"Hainan Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,3,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"RFC","author":"Hinden B.","year":"2013","unstructured":"B. Hinden, S. Deering, \u201cInternet Protocol, Version 6 (IPv6) Specification\u201d, RFC 2460, March 2013."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68542-7_13"},{"key":"e_1_3_2_1_3_1","unstructured":"\u201cSugar: a SAT-based Constraint Solver\u201d https:\/\/cspsat.gitlab.io\/sugar\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2009.5425865"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_6_1","unstructured":"Z3 C API. https:\/\/z3prover.github.io\/api\/html\/groupcapi.html"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2010.29"},{"key":"e_1_3_2_1_8_1","first-page":"1","volume-title":"IEEE Transcations on Reliability","author":"Togay C.","year":"2021","unstructured":"C. Togay, A. Kasif, C. Catal, B. Tekinerdogan, \u201cA Firewall Policy Anomaly Detection Framework for Reliable Network Security\u201d, IEEE Transcations on Reliability, pp. 1-9, July 2021."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2006.1607877"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10371-6"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.20"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2367160"},{"key":"e_1_3_2_1_13_1","volume-title":"SECRYPT","author":"Lorenz C.","year":"2015","unstructured":"C. Lorenz, B. Schnor, \"Policy Anomaly Detection for Distributed IPv6 Firewalls\", SECRYPT 2015."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.53106\/160792642021072204014"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC\/SmartCity\/DSS.2019.00241"},{"key":"e_1_3_2_1_16_1","first-page":"80","volume-title":"2016 NCA","author":"Bouhoula A.","unstructured":"A. Bouhoula, A. Yazidi, \u201cA security policy query engine for fully automated resolution of anomalies in firewall configurations\u201d. 2016 NCA, pp. 76\u201380."},{"key":"e_1_3_2_1_17_1","first-page":"130","volume-title":"Proceedings of the International Work shop on Computational Intelligence in Security for Information Systems","author":"Matsumoto S.","year":"2008","unstructured":"S. Matsumoto, A. Bouhoula, \u201cAutomatic verification of firewall configuration with respect to security policy requirements\u201d. Proceedings of the International Work shop on Computational Intelligence in Security for Information Systems, pp. 123\u2013130 (2008)"},{"key":"e_1_3_2_1_18_1","first-page":"526","volume-title":"IEEE Symposium on Computers and Communications","author":"Youssef N.B.","year":"2009","unstructured":"N.B.Youssef, A. Bouhoula, F. Jacquemard, \u201cAutomatic Verification of Conformance of Firewall Configurations to Security Policies\u201d, IEEE Symposium on Computers and Communications, pp.526-531, 2009."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SocialCom.2010.126"},{"volume-title":"Moura","author":"B.","key":"e_1_3_2_1_20_1","unstructured":"Dutertre, B., Moura, L.D.: The YICES SMT solver. http:\/\/gauss.ececs.uc.edu\/Courses\/c626\/lectures\/SMT\/tool-paper.pdf"}],"event":{"name":"CSAI 2023: 2023 7th International Conference on Computer Science and Artificial Intelligence","acronym":"CSAI 2023","location":"Beijing China"},"container-title":["Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3638584.3638666","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3638584.3638666","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T14:55:32Z","timestamp":1755874532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3638584.3638666"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,8]]},"references-count":20,"alternative-id":["10.1145\/3638584.3638666","10.1145\/3638584"],"URL":"https:\/\/doi.org\/10.1145\/3638584.3638666","relation":{},"subject":[],"published":{"date-parts":[[2023,12,8]]},"assertion":[{"value":"2024-03-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}