{"id":"https://openalex.org/W4402772427","doi":"https://doi.org/10.1109/tnet.2024.3456124","title":"XNV: Explainable Network Verification","display_name":"XNV: Explainable Network Verification","publication_year":2024,"publication_date":"2024-09-16","ids":{"openalex":"https://openalex.org/W4402772427","doi":"https://doi.org/10.1109/tnet.2024.3456124"},"language":"en","primary_location":{"id":"doi:10.1109/tnet.2024.3456124","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2024.3456124","pdf_url":null,"source":{"id":"https://openalex.org/S62238642","display_name":"IEEE/ACM Transactions on Networking","issn_l":"1063-6692","issn":["1063-6692","1558-2566"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Networking","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083598234","display_name":"Fuliang Li","orcid":"https://orcid.org/0000-0001-9782-0053"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fuliang Li","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":"https://orcid.org/0000-0001-9782-0053","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100616698","display_name":"Minglong Li","orcid":"https://orcid.org/0000-0002-6387-2186"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Minglong Li","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111338362","display_name":"Yunhang Pu","orcid":null},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yunhang Pu","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":"https://orcid.org/0009-0001-9632-8101","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100398054","display_name":"Yuxin Zhang","orcid":"https://orcid.org/0009-0008-1907-1788"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxin Zhang","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100326915","display_name":"Xingwei Wang","orcid":"https://orcid.org/0000-0003-2856-4716"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingwei Wang","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":"https://orcid.org/0000-0003-2856-4716","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100740023","display_name":"Jiannong Cao","orcid":"https://orcid.org/0000-0002-2725-2529"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Jiannong Cao","raw_affiliation_strings":["Department of Computing, The Hong Kong Polytechnic University, Hung Hom, Hong Kong","Department of Computing, The Hong Kong Polytechnic University, Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-2725-2529","affiliations":[{"raw_affiliation_string":"Department of Computing, The Hong Kong Polytechnic University, Hung Hom, Hong Kong","institution_ids":["https://openalex.org/I14243506"]},{"raw_affiliation_string":"Department of Computing, The Hong Kong Polytechnic University, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I14243506"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2495,"currency":"USD","value_usd":2495},"apc_paid":null,"fwci":0.7914,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.85887907,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"32","issue":"6","first_page":"5097","last_page":"5111"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.8841000199317932,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.8841000199317932,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.8810999989509583,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.8629999756813049,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4877038896083832}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4877038896083832}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnet.2024.3456124","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2024.3456124","pdf_url":null,"source":{"id":"https://openalex.org/S62238642","display_name":"IEEE/ACM Transactions on Networking","issn_l":"1063-6692","issn":["1063-6692","1558-2566"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Networking","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1671140559","display_name":null,"funder_award_id":"92267206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2390495701","display_name":"\u57fa\u4e8e\u610f\u56fe\u7684\u7f51\u7edc\u914d\u7f6e\u7efc\u5408\u7cfb\u7edf\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"62072091","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2551476765","display_name":null,"funder_award_id":"62032013","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6760061280","display_name":null,"funder_award_id":"U22B2005","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"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1601038846","https://openalex.org/W2118404561","https://openalex.org/W2121337044","https://openalex.org/W2131256974","https://openalex.org/W2142065670","https://openalex.org/W2149286688","https://openalex.org/W2162152151","https://openalex.org/W2294131806","https://openalex.org/W2485543941","https://openalex.org/W2488197787","https://openalex.org/W2492337463","https://openalex.org/W2552298303","https://openalex.org/W2583115580","https://openalex.org/W2621104972","https://openalex.org/W2742515467","https://openalex.org/W2762286066","https://openalex.org/W2805655805","https://openalex.org/W2870362495","https://openalex.org/W2968168257","https://openalex.org/W2995523160","https://openalex.org/W2996714391","https://openalex.org/W3046445220","https://openalex.org/W3108015722","https://openalex.org/W4300490703","https://openalex.org/W4389322001","https://openalex.org/W6627884483","https://openalex.org/W6732171612","https://openalex.org/W6734194636","https://openalex.org/W6750584877","https://openalex.org/W6774785472","https://openalex.org/W6776240636","https://openalex.org/W6793768971","https://openalex.org/W7053032915"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Network":[0],"verification":[1,51,82,91],"has":[2],"recently":[3],"made":[4],"strides,":[5],"focusing":[6],"on":[7,131],"the":[8,15,29,81,85,90,96,103,108],"satisfiability":[9],"of":[10,19,89,102,127,157],"configurations":[11],"and":[12,17,87,111,123,134,140,155],"policies":[13,122],"or":[14,37],"performance":[16],"versatility":[18],"their":[20],"methods.":[21],"However,":[22],"they":[23],"generally":[24],"ignore":[25],"explainability,":[26],"which":[27,54],"is":[28],"ability":[30],"to":[31,62,77],"explain":[32],"why":[33],"a":[34,39,56],"network":[35,50,67],"violates":[36],"satisfies":[38],"certain":[40],"forwarding":[41],"policy.":[42],"In":[43],"this":[44],"paper,":[45],"we":[46],"propose":[47],"an":[48,64,99],"explainable":[49,66],"framework":[52],"XNV,":[53],"uses":[55,95],"novel":[57],"interpretable":[58],"fault":[59,119],"analysis":[60,126],"method":[61],"construct":[63],"effective":[65],"verifier":[68],"using":[69],"knowledge":[70],"graph":[71],"(KG).":[72],"XNV":[73,94,116],"provides":[74,147],"appropriate":[75],"explanations":[76],"help":[78],"operators":[79],"understand":[80],"results,":[83],"improving":[84],"transparency":[86],"trustworthiness":[88],"system.":[92],"First,":[93],"KG":[97,132],"as":[98],"intermediate":[100],"representation":[101],"configuration":[104,109],"semantic":[105],"level,":[106],"storing":[107],"semantics":[110],"routing":[112],"protocol":[113],"states.":[114],"Then,":[115],"constructs":[117],"human-logical":[118],"trees":[120],"for":[121],"implements":[124],"root-cause":[125],"policy":[128],"violations":[129],"based":[130],"queries":[133],"minimum":[135],"cut":[136],"set":[137],"matching.":[138],"Experiments":[139],"case":[141],"evaluations":[142],"show":[143],"that":[144],"our":[145],"system":[146],"good":[148],"interpretability":[149],"while":[150],"balancing":[151],"performance,":[152],"accelerated":[153],"understanding,":[154],"handling":[156],"misconfigurations.":[158]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}