{"id":"https://openalex.org/W4392824433","doi":"https://doi.org/10.1145/3638584.3638666","title":"Inconsistency Detecting and Resolving for Security Policy and IPv6 Firewall Policy","display_name":"Inconsistency Detecting and Resolving for Security Policy and IPv6 Firewall Policy","publication_year":2023,"publication_date":"2023-12-08","ids":{"openalex":"https://openalex.org/W4392824433","doi":"https://doi.org/10.1145/3638584.3638666"},"language":"en","primary_location":{"id":"doi:10.1145/3638584.3638666","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3638584.3638666","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3638584.3638666","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3638584.3638666","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054467989","display_name":"Yi Yin","orcid":"https://orcid.org/0000-0002-7692-2672"},"institutions":[{"id":"https://openalex.org/I152031979","display_name":"Nanjing Normal University","ror":"https://ror.org/036trcv74","country_code":"CN","type":"education","lineage":["https://openalex.org/I152031979"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Yin","raw_affiliation_strings":["Nanjing Normal University, China"],"raw_orcid":"https://orcid.org/0000-0002-7692-2672","affiliations":[{"raw_affiliation_string":"Nanjing Normal University, China","institution_ids":["https://openalex.org/I152031979"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030799955","display_name":"Yuichiro Tateiwa","orcid":"https://orcid.org/0000-0002-3235-2161"},"institutions":[{"id":"https://openalex.org/I197274945","display_name":"Nagoya Institute of Technology","ror":"https://ror.org/055yf1005","country_code":"JP","type":"education","lineage":["https://openalex.org/I197274945"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yuichiro Tateiwa","raw_affiliation_strings":["Nagoya Institute of Technology, Japan"],"raw_orcid":"https://orcid.org/0000-0002-3235-2161","affiliations":[{"raw_affiliation_string":"Nagoya Institute of Technology, Japan","institution_ids":["https://openalex.org/I197274945"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073699015","display_name":"Xiaojun Qian","orcid":"https://orcid.org/0000-0002-7097-2396"},"institutions":[{"id":"https://openalex.org/I152031979","display_name":"Nanjing Normal University","ror":"https://ror.org/036trcv74","country_code":"CN","type":"education","lineage":["https://openalex.org/I152031979"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaojun Qian","raw_affiliation_strings":["Nanjing Normal University, China"],"raw_orcid":"https://orcid.org/0000-0002-7097-2396","affiliations":[{"raw_affiliation_string":"Nanjing Normal University, China","institution_ids":["https://openalex.org/I152031979"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018626315","display_name":"Q Gao","orcid":"https://orcid.org/0000-0003-1534-2524"},"institutions":[{"id":"https://openalex.org/I152031979","display_name":"Nanjing Normal University","ror":"https://ror.org/036trcv74","country_code":"CN","type":"education","lineage":["https://openalex.org/I152031979"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qian Gao","raw_affiliation_strings":["Nanjing Normal University, China"],"raw_orcid":"https://orcid.org/0000-0003-1534-2524","affiliations":[{"raw_affiliation_string":"Nanjing Normal University, China","institution_ids":["https://openalex.org/I152031979"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088942019","display_name":"L.C. Shen","orcid":"https://orcid.org/0009-0001-0311-6784"},"institutions":[{"id":"https://openalex.org/I152031979","display_name":"Nanjing Normal University","ror":"https://ror.org/036trcv74","country_code":"CN","type":"education","lineage":["https://openalex.org/I152031979"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lingling Shen","raw_affiliation_strings":["Nanjing Normal University, China"],"raw_orcid":"https://orcid.org/0009-0001-0311-6784","affiliations":[{"raw_affiliation_string":"Nanjing Normal University, China","institution_ids":["https://openalex.org/I152031979"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034532127","display_name":"G. Q. Zhang","orcid":"https://orcid.org/0000-0001-6545-4802"},"institutions":[{"id":"https://openalex.org/I152033890","display_name":"Hainan Normal University","ror":"https://ror.org/031dhcv14","country_code":"CN","type":"education","lineage":["https://openalex.org/I152033890"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guoqiang Zhang","raw_affiliation_strings":["Hainan Normal University, China"],"raw_orcid":"https://orcid.org/0000-0001-6545-4802","affiliations":[{"raw_affiliation_string":"Hainan Normal University, China","institution_ids":["https://openalex.org/I152033890"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23206868,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"91","last_page":"98"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/firewall","display_name":"Firewall (physics)","score":0.7353854179382324},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.639051079750061},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.6319570541381836},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.604088544845581},{"id":"https://openalex.org/keywords/ipv6","display_name":"IPv6","score":0.4768025577068329},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.2297690510749817},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.1135111153125763},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09463462233543396},{"id":"https://openalex.org/keywords/finance","display_name":"Finance","score":0.06511566042900085}],"concepts":[{"id":"https://openalex.org/C77714075","wikidata":"https://www.wikidata.org/wiki/Q5452017","display_name":"Firewall (physics)","level":5,"score":0.7353854179382324},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.639051079750061},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.6319570541381836},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.604088544845581},{"id":"https://openalex.org/C84555802","wikidata":"https://www.wikidata.org/wiki/Q2551624","display_name":"IPv6","level":3,"score":0.4768025577068329},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.2297690510749817},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.1135111153125763},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09463462233543396},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.06511566042900085},{"id":"https://openalex.org/C115304011","wikidata":"https://www.wikidata.org/wiki/Q72755","display_name":"Schwarzschild radius","level":3,"score":0.0},{"id":"https://openalex.org/C2776401274","wikidata":"https://www.wikidata.org/wiki/Q3756855","display_name":"Accretion (finance)","level":2,"score":0.0},{"id":"https://openalex.org/C183915046","wikidata":"https://www.wikidata.org/wiki/Q1316152","display_name":"Charged black hole","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3638584.3638666","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3638584.3638666","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3638584.3638666","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3638584.3638666","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3638584.3638666","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3638584.3638666","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5612648679","display_name":null,"funder_award_id":"62262018","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"},{"id":"https://openalex.org/G6381764930","display_name":null,"funder_award_id":"62262018","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4392824433.pdf","grobid_xml":"https://content.openalex.org/works/W4392824433.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1998822780","https://openalex.org/W2002596950","https://openalex.org/W2003780485","https://openalex.org/W2081642714","https://openalex.org/W2131123562","https://openalex.org/W2144338762","https://openalex.org/W2157609788","https://openalex.org/W2237442253","https://openalex.org/W2294280084","https://openalex.org/W2318841872","https://openalex.org/W2489446424","https://openalex.org/W2561038813","https://openalex.org/W2766864291","https://openalex.org/W2978360181","https://openalex.org/W3178039307","https://openalex.org/W3180836858","https://openalex.org/W4250791217"],"related_works":["https://openalex.org/W4220912467","https://openalex.org/W2363554702","https://openalex.org/W2920874691","https://openalex.org/W2766864291","https://openalex.org/W2762356698","https://openalex.org/W2186505934","https://openalex.org/W143204455","https://openalex.org/W2127561726","https://openalex.org/W2377491601","https://openalex.org/W2361862789"],"abstract_inverted_index":{"Firewall":[0],"is":[1,11,28,46,66,99],"the":[2,40,52,71,93,103,120,135,152,155],"first":[3],"defense":[4],"line":[5],"for":[6,55,61],"network":[7,19,56],"security.":[8],"Packet":[9],"filtering":[10],"a":[12,23,47,100,128,147],"basic":[13,53],"function":[14],"in":[15,123],"firewall,":[16],"it":[17,65],"filter":[18],"packets":[20],"according":[21],"to":[22,69,113,131],"series":[24],"of":[25,34,42,83,96,154],"rules,":[26],"which":[27,45],"called":[29],"firewall":[30,35,63,74,88,116,142],"policy.":[31,78,117,143],"The":[32],"design":[33],"policy":[36,75,85,89,139],"should":[37],"be":[38,110],"observe":[39],"regulations":[41],"security":[43,77,84,138],"policy,":[44,64],"generic":[48],"guideline":[49],"that":[50],"lists":[51],"requirements":[54],"access":[57],"permissions.":[58],"However,":[59,92],"even":[60],"IPv4":[62,87],"extremely":[67],"hard":[68],"keep":[70],"consistency":[72],"between":[73,137],"and":[76,86,133,140,150],"Some":[79],"inconsistency":[80,105],"decision":[81,106],"methods":[82,107],"were":[90],"proposed.":[91],"address":[94,98],"space":[95],"IPv6":[97,115,141],"very":[101],"large,":[102],"existing":[104],"could":[108],"not":[109],"directly":[111],"used":[112],"handle":[114],"To":[118],"resolve":[119],"above":[121],"problem,":[122],"this":[124],"work,":[125],"we":[126],"use":[127],"formal":[129],"technique":[130],"find":[132],"eliminate":[134],"inconsistencies":[136],"We":[144],"also":[145],"build":[146],"prototype":[148],"system":[149],"test":[151],"effectiveness":[153],"proposed":[156],"method":[157],"through":[158],"experiments.":[159]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}