{"id":"https://openalex.org/W3203439338","doi":"https://doi.org/10.1109/tnet.2021.3114448","title":"Fast Configuration Change Impact Analysis for Network Overlay Data Center Networks","display_name":"Fast Configuration Change Impact Analysis for Network Overlay Data Center Networks","publication_year":2021,"publication_date":"2021-10-02","ids":{"openalex":"https://openalex.org/W3203439338","doi":"https://doi.org/10.1109/tnet.2021.3114448","mag":"3203439338"},"language":"en","primary_location":{"id":"doi:10.1109/tnet.2021.3114448","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2021.3114448","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/A5011225547","display_name":"Lizhao You","orcid":"https://orcid.org/0000-0002-9672-7938"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lizhao You","raw_affiliation_strings":["School of Informatics, Xiamen University, Xiamen, China"],"affiliations":[{"raw_affiliation_string":"School of Informatics, Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068322056","display_name":"Jiahua Zhang","orcid":"https://orcid.org/0000-0001-6298-8374"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiahua Zhang","raw_affiliation_strings":["Huawei Technologies Company Ltd., Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies Company Ltd., Shenzhen, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014168147","display_name":"Yili Jin","orcid":"https://orcid.org/0000-0002-7127-8902"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]},{"id":"https://openalex.org/I4210116924","display_name":"Chinese University of Hong Kong, Shenzhen","ror":"https://ror.org/02d5ks197","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633","https://openalex.org/I180726961","https://openalex.org/I4210116924"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yili Jin","raw_affiliation_strings":["Huawei Technologies Company Ltd., Shenzhen, China","School of Science and Engineering, The Chinese University of Hong Kong (Shenzhen), Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies Company Ltd., Shenzhen, China","institution_ids":["https://openalex.org/I2250955327"]},{"raw_affiliation_string":"School of Science and Engineering, The Chinese University of Hong Kong (Shenzhen), Shenzhen, China","institution_ids":["https://openalex.org/I4210116924"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050748634","display_name":"Hao Tang","orcid":"https://orcid.org/0000-0002-2077-1246"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Tang","raw_affiliation_strings":["Huawei Technologies Company Ltd., Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies Company Ltd., Shenzhen, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100630881","display_name":"Li Xiao","orcid":"https://orcid.org/0000-0003-2861-8438"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Li","raw_affiliation_strings":["Huawei Technologies Company Ltd., Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies Company Ltd., Shenzhen, China","institution_ids":["https://openalex.org/I2250955327"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5011225547"],"corresponding_institution_ids":["https://openalex.org/I191208505"],"apc_list":null,"apc_paid":null,"fwci":0.6112,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.70312098,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"30","issue":"1","first_page":"423","last_page":"436"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9983000159263611,"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"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9983000159263611,"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/T10742","display_name":"Peer-to-Peer Network Technologies","score":0.9973999857902527,"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/T11478","display_name":"Caching and Content Delivery","score":0.9958000183105469,"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.8838453888893127},{"id":"https://openalex.org/keywords/overlay-network","display_name":"Overlay network","score":0.7036305665969849},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.671600341796875},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6328176856040955},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6187734603881836},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2264498472213745},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.12449827790260315},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11179453134536743}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8838453888893127},{"id":"https://openalex.org/C169851745","wikidata":"https://www.wikidata.org/wiki/Q1331985","display_name":"Overlay network","level":3,"score":0.7036305665969849},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.671600341796875},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6328176856040955},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6187734603881836},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2264498472213745},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.12449827790260315},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11179453134536743}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnet.2021.3114448","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2021.3114448","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/G2715116677","display_name":null,"funder_award_id":"2021J05003","funder_id":"https://openalex.org/F4320321878","funder_display_name":"Natural Science Foundation of Fujian Province"},{"id":"https://openalex.org/G7970673430","display_name":null,"funder_award_id":"20720210070","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321878","display_name":"Natural Science Foundation of Fujian Province","ror":null},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W2064322639","https://openalex.org/W2115526539","https://openalex.org/W2122695394","https://openalex.org/W2126969025","https://openalex.org/W2138556012","https://openalex.org/W2339906640","https://openalex.org/W2465388983","https://openalex.org/W2485543941","https://openalex.org/W2613035487","https://openalex.org/W2734979301","https://openalex.org/W2742515467","https://openalex.org/W2810860137","https://openalex.org/W2962604136","https://openalex.org/W2968149030","https://openalex.org/W2982608089","https://openalex.org/W2996714391","https://openalex.org/W3026940864","https://openalex.org/W3046445220","https://openalex.org/W3096713580","https://openalex.org/W4214931874","https://openalex.org/W6606536520","https://openalex.org/W6627884483","https://openalex.org/W6639592347","https://openalex.org/W6686667945","https://openalex.org/W6719622580","https://openalex.org/W6732171612","https://openalex.org/W6734470941","https://openalex.org/W6759856729","https://openalex.org/W6769828913","https://openalex.org/W6774955457","https://openalex.org/W6775030783","https://openalex.org/W6776240636","https://openalex.org/W7029110917"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2067910792","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2889071233","https://openalex.org/W162038026","https://openalex.org/W66015074"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2,155],"the":[3,83,96,127,146],"first":[4],"network":[5,19,46],"configuration":[6,16,90],"verifier":[7,91,154,185],"that":[8,106,136,160,172],"provides":[9],"fast":[10],"all-pair":[11,182],"reachability":[12],"analysis":[13,188],"of":[14,82],"incremental":[15,68,157,174],"changes":[17],"for":[18,164,191],"overlay":[20,26,38,42,47],"data":[21],"center":[22],"networks":[23,192],"(DCNs).":[24],"Network":[25],"DCNs":[27,48],"leverage":[28],"distributed":[29],"routing":[30,56],"protocol":[31],"on":[32,150],"edge":[33],"leaf":[34],"switches":[35],"to":[36,60,109,117,142,207],"disseminate":[37],"routes":[39],"and":[40,57,63,130,179,198],"establish":[41],"tunnels.":[43],"In":[44],"addition,":[45],"use":[49],"access":[50],"control":[51,61],"lists,":[52],"microsegmentation":[53],"policy,":[54],"policy-based":[55],"firewall":[58],"policy":[59],"east-west":[62],"north-south":[64],"traffic.":[65],"Although":[66],"some":[67],"verification":[69,158,175],"approaches":[70,204],"have":[71],"been":[72],"proposed,":[73],"they":[74],"either":[75],"do":[76],"not":[77,87],"support":[78,110],"certain":[79],"forwarding":[80,104],"features":[81],"network,":[84],"or":[85],"are":[86,161,177],"efficient.":[88],"Our":[89],"addresses":[92],"these":[93,151],"issues":[94],"through":[95],"following":[97],"components:":[98],"1)":[99],"a":[100],"port":[101],"predicate":[102],"based":[103],"model":[105],"is":[107],"general":[108],"all":[111,138],"features;":[112],"2)":[113],"fine-grained":[114],"association":[115],"technique":[116],"index":[118],"possibly":[119],"affected":[120],"reachable":[121,139],"pairs":[122,140],"by":[123,205],"changed":[124,143],"interfaces":[125,144],"in":[126,145],"original":[128],"network;":[129],"3)":[131],"required":[132],"waypoint":[133],"path":[134],"computation":[135],"finds":[137],"related":[141],"new":[147],"network.":[148],"Based":[149],"components,":[152],"our":[153,173,184],"two":[156],"algorithms":[159,176],"specially":[162],"designed":[163],"different":[165],"service":[166],"update":[167],"cases.":[168],"Experiment":[169],"results":[170],"show":[171],"accurate":[178],"fast.":[180],"For":[181],"reachability,":[183],"performs":[186],"change-impact":[187],"within":[189],"15s":[190],"with":[193],"200":[194],"leafs":[195],"(4000":[196],"subnets":[197],"16":[199],"million":[200],"pairs),":[201],"outperforming":[202],"existing":[203],"up":[206],"10x.":[208]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}