{"id":"https://openalex.org/W3109949121","doi":"https://doi.org/10.1109/icnp49622.2020.9259353","title":"Misconfiguration Checking for SDN: Data Structure, Theory and Algorithms","display_name":"Misconfiguration Checking for SDN: Data Structure, Theory and Algorithms","publication_year":2020,"publication_date":"2020-10-13","ids":{"openalex":"https://openalex.org/W3109949121","doi":"https://doi.org/10.1109/icnp49622.2020.9259353","mag":"3109949121"},"language":"en","primary_location":{"id":"doi:10.1109/icnp49622.2020.9259353","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp49622.2020.9259353","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 28th International Conference on Network Protocols (ICNP)","raw_type":"proceedings-article"},"type":"preprint","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/A5058593618","display_name":"Heng Pan","orcid":"https://orcid.org/0000-0002-5506-5958"},"institutions":[{"id":"https://openalex.org/I4210155350","display_name":"Purple Mountain Laboratories","ror":"https://ror.org/04zcbk583","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210155350"]},{"id":"https://openalex.org/I4210101410","display_name":"International Centre for Theoretical Physics Asia-Pacific","ror":"https://ror.org/01z2px678","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210101410","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Heng Pan","raw_affiliation_strings":["CAS, ICT, China","Purple Mountain Laboratories, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"CAS, ICT, China","institution_ids":["https://openalex.org/I4210101410"]},{"raw_affiliation_string":"Purple Mountain Laboratories, Nanjing, China","institution_ids":["https://openalex.org/I4210155350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100330785","display_name":"Zhenyu Li","orcid":"https://orcid.org/0000-0003-4117-8772"},"institutions":[{"id":"https://openalex.org/I4210101410","display_name":"International Centre for Theoretical Physics Asia-Pacific","ror":"https://ror.org/01z2px678","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210101410","https://openalex.org/I4210165038"]},{"id":"https://openalex.org/I4210155350","display_name":"Purple Mountain Laboratories","ror":"https://ror.org/04zcbk583","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210155350"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenyu Li","raw_affiliation_strings":["CAS, ICT, China","Purple Mountain Laboratories, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"CAS, ICT, China","institution_ids":["https://openalex.org/I4210101410"]},{"raw_affiliation_string":"Purple Mountain Laboratories, Nanjing, China","institution_ids":["https://openalex.org/I4210155350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101980711","display_name":"Penghao Zhang","orcid":"https://orcid.org/0000-0003-3372-0971"},"institutions":[{"id":"https://openalex.org/I4210101410","display_name":"International Centre for Theoretical Physics Asia-Pacific","ror":"https://ror.org/01z2px678","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210101410","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Penghao Zhang","raw_affiliation_strings":["CAS, ICT, China"],"affiliations":[{"raw_affiliation_string":"CAS, ICT, China","institution_ids":["https://openalex.org/I4210101410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010294597","display_name":"Kav\u00e9 Salamatian","orcid":"https://orcid.org/0000-0001-5557-9134"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kave Salamatian","raw_affiliation_strings":["University of Savioe, France"],"affiliations":[{"raw_affiliation_string":"University of Savioe, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030689390","display_name":"Gaogang Xie","orcid":"https://orcid.org/0000-0003-4964-1135"},"institutions":[{"id":"https://openalex.org/I4210108629","display_name":"Computer Network Information Center","ror":"https://ror.org/01s0wyf50","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210108629"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gaogang Xie","raw_affiliation_strings":["CAS, CNIC, China"],"affiliations":[{"raw_affiliation_string":"CAS, CNIC, China","institution_ids":["https://openalex.org/I4210108629"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5058593618"],"corresponding_institution_ids":["https://openalex.org/I4210101410","https://openalex.org/I4210155350"],"apc_list":null,"apc_paid":null,"fwci":1.1282,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.80852465,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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":1.0,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9948999881744385,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9945999979972839,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8991483449935913},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6648703813552856},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5252397060394287},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4917457401752472},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4535074234008789},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.44881314039230347},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4366382360458374},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42343196272850037},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.42254000902175903},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35355135798454285}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8991483449935913},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6648703813552856},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5252397060394287},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4917457401752472},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4535074234008789},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.44881314039230347},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4366382360458374},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42343196272850037},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.42254000902175903},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35355135798454285},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icnp49622.2020.9259353","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp49622.2020.9259353","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 28th International Conference on Network Protocols (ICNP)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03719119v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03719119","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2020 IEEE 28th International Conference on Network Protocols (ICNP), Oct 2020, Madrid, Spain. pp.1-11, ⟨10.1109/ICNP49622.2020.9259353⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1523119690","https://openalex.org/W1530735704","https://openalex.org/W1590488181","https://openalex.org/W1675033504","https://openalex.org/W1697123834","https://openalex.org/W1792894036","https://openalex.org/W1882012874","https://openalex.org/W1998822780","https://openalex.org/W2011316745","https://openalex.org/W2022758041","https://openalex.org/W2028926203","https://openalex.org/W2038521122","https://openalex.org/W2040340473","https://openalex.org/W2062198789","https://openalex.org/W2066338533","https://openalex.org/W2071580597","https://openalex.org/W2099501333","https://openalex.org/W2116995348","https://openalex.org/W2120255160","https://openalex.org/W2125560635","https://openalex.org/W2140073547","https://openalex.org/W2147118406","https://openalex.org/W2149236835","https://openalex.org/W2149906774","https://openalex.org/W2443299711","https://openalex.org/W2460461231","https://openalex.org/W2798915702","https://openalex.org/W2911430275","https://openalex.org/W2918552658","https://openalex.org/W2984811518","https://openalex.org/W2997288271","https://openalex.org/W3009792930","https://openalex.org/W4234045312","https://openalex.org/W4242246215","https://openalex.org/W4244939676","https://openalex.org/W4255282609","https://openalex.org/W4288028074","https://openalex.org/W6635205284","https://openalex.org/W6637274776","https://openalex.org/W6637389031","https://openalex.org/W6638359055","https://openalex.org/W6639592347","https://openalex.org/W6750886310"],"related_works":["https://openalex.org/W2012531322","https://openalex.org/W2785900585","https://openalex.org/W2353730437","https://openalex.org/W2490303674","https://openalex.org/W2609066826","https://openalex.org/W2810752900","https://openalex.org/W3186538219","https://openalex.org/W2365677836","https://openalex.org/W2531295127","https://openalex.org/W2062195135"],"abstract_inverted_index":{"Software-Defined":[0],"Networking":[1],"(SDN)":[2],"facilitates":[3],"net-work":[4],"innovations":[5],"with":[6,57,120,128],"programmability.":[7],"However,":[8],"programming":[9,21],"the":[10,80,88,101,125],"network":[11],"is":[12],"error-prone":[13],"no":[14],"matter":[15],"using":[16],"low-level":[17],"APIs":[18],"or":[19,42],"high-level":[20],"languages.":[22],"That":[23],"said,":[24],"SDN":[25,55],"policies":[26,41,56],"deployed":[27],"in":[28,54,118],"networks":[29],"may":[30],"contain":[31],"misconfigurations.":[32],"Prior":[33],"studies":[34],"focus":[35],"on":[36],"either":[37],"traditional":[38],"access":[39],"control":[40],"network-wide":[43],"states,":[44],"and":[45,60,94,103,107,130],"thus":[46],"are":[47],"unable":[48],"to":[49,78,122],"effectively":[50],"detect":[51],"potential":[52],"misconfigurations":[53],"bitmask":[58],"patterns":[59,82],"complex":[61],"action":[62],"behaviorsTo":[63],"address":[64],"this":[65,67],"gap,":[66],"paper":[68],"first":[69],"presents":[70],"a":[71,114],"new":[72],"data":[73],"structure,":[74],"minimal":[75],"interval":[76],"set,":[77],"represent":[79],"match":[81],"of":[83],"rulesets.":[84],"This":[85],"representation":[86],"serves":[87],"basis":[89],"for":[90,105,136],"composition":[91],"algebra":[92],"construction":[93],"fast":[95,106],"misconfiguration":[96,115],"checking.":[97],"We":[98,111],"then":[99],"propose":[100],"principles":[102],"algorithms":[104],"accurate":[108],"con-figuration":[109],"verification.":[110],"finally":[112],"implement":[113],"checking":[116],"tool":[117],"Covisor":[119],"optimisations":[121],"further":[123],"reduce":[124],"overhead.":[126],"Experiments":[127],"synthetic":[129],"random":[131],"rulesets":[132],"show":[133],"its":[134],"fitness":[135],"purpose.":[137]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}