{"id":"https://openalex.org/W4285272065","doi":"https://doi.org/10.1109/tdsc.2022.3185096","title":"Misconfiguration-Free Compositional SDN for Cloud Networks","display_name":"Misconfiguration-Free Compositional SDN for Cloud Networks","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4285272065","doi":"https://doi.org/10.1109/tdsc.2022.3185096"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2022.3185096","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2022.3185096","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Transactions on Dependable and Secure Computing","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/A5058593618","display_name":"Heng Pan","orcid":"https://orcid.org/0000-0002-5506-5958"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"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":"Heng Pan","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","Purple Mountain Laboratories, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-5506-5958","affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Purple Mountain Laboratories, Nanjing, China","institution_ids":["https://openalex.org/I4210155350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100330770","display_name":"Zhenyu Li","orcid":"https://orcid.org/0000-0002-9959-1124"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"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":["Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","Purple Mountain Laboratories, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-9959-1124","affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"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/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Penghao Zhang","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-3372-0971","affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034694396","display_name":"Penglai Cui","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Penglai Cui","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010294597","display_name":"Kav\u00e9 Salamatian","orcid":"https://orcid.org/0000-0001-5557-9134"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Kave Salamatian","raw_affiliation_strings":["Tallinn University of Technology, Estonia","University of Savioe, France"],"raw_orcid":"https://orcid.org/0000-0001-5557-9134","affiliations":[{"raw_affiliation_string":"Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"University of Savioe, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113521892","display_name":"Gaogang Xie","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"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":["Computer Network Information Center, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Network Information Center, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210108629","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5344,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.65557993,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"17"},"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.9988999962806702,"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.9988999962806702,"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.9962000250816345,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9861000180244446,"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.9119530916213989},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.8038355708122253},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.6289815902709961},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.5694645643234253},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5664253830909729},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.4794808328151703},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4690302610397339},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4646430015563965},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.422793447971344},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3341333270072937},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31635525822639465},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2933993339538574},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21034878492355347}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9119530916213989},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8038355708122253},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.6289815902709961},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.5694645643234253},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5664253830909729},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.4794808328151703},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4690302610397339},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4646430015563965},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.422793447971344},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3341333270072937},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31635525822639465},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2933993339538574},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21034878492355347},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tdsc.2022.3185096","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2022.3185096","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Transactions on Dependable and Secure Computing","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03719093v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03719093","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":"IEEE Transactions on Dependable and Secure Computing, 2022, pp.1-17. ⟨10.1109/TDSC.2022.3185096⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6100000143051147}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W158224344","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/W2007346406","https://openalex.org/W2020729428","https://openalex.org/W2022758041","https://openalex.org/W2038521122","https://openalex.org/W2062198789","https://openalex.org/W2066338533","https://openalex.org/W2070164835","https://openalex.org/W2114296561","https://openalex.org/W2119706632","https://openalex.org/W2120255160","https://openalex.org/W2132434720","https://openalex.org/W2133294820","https://openalex.org/W2324910104","https://openalex.org/W2443299711","https://openalex.org/W2460461231","https://openalex.org/W2731197078","https://openalex.org/W2734634399","https://openalex.org/W2734979301","https://openalex.org/W2762651835","https://openalex.org/W2798747284","https://openalex.org/W2886008498","https://openalex.org/W2918552658","https://openalex.org/W2971124233","https://openalex.org/W2997288271","https://openalex.org/W3009976229","https://openalex.org/W3013541129","https://openalex.org/W3020993522","https://openalex.org/W3096713580","https://openalex.org/W3109949121","https://openalex.org/W4234045312","https://openalex.org/W4288028074","https://openalex.org/W4294339610","https://openalex.org/W6606536520","https://openalex.org/W6635205284","https://openalex.org/W6636558983","https://openalex.org/W6637274776","https://openalex.org/W6637389031","https://openalex.org/W6638359055","https://openalex.org/W6639592347","https://openalex.org/W6678385351","https://openalex.org/W6734470941","https://openalex.org/W6769828913","https://openalex.org/W6774955457"],"related_works":["https://openalex.org/W4214777079","https://openalex.org/W3122360749","https://openalex.org/W4377224402","https://openalex.org/W2547441564","https://openalex.org/W2051935741","https://openalex.org/W4211055425","https://openalex.org/W2292300552","https://openalex.org/W2130026698","https://openalex.org/W3093659890","https://openalex.org/W3042077637"],"abstract_inverted_index":{"Cloud":[0],"computing":[1],"provides":[2],"a":[3,98,117],"new":[4,118],"paradigm":[5],"to":[6,20,86,124],"offer":[7],"flexible":[8],"IT":[9],"infrastructures.":[10],"In":[11],"IaaS":[12],"clouds,":[13],"tenants":[14,69],"deploy":[15],"software-defined":[16],"networking":[17],"(SDN)":[18],"policies":[19,45,79,179],"simplify":[21],"network":[22,26,55],"management":[23],"and":[24,140,149,154,168],"customize":[25],"behaviors.":[27],"However,":[28],"programming":[29,41],"SDN":[30,44,104,178],"networks":[31,182],"is":[32],"error-prone":[33],"no":[34],"matter":[35],"using":[36],"low-level":[37],"APIs":[38],"or":[39,66,80],"high-level":[40],"languages.":[42],"Specifically,":[43],"may":[46],"contain":[47],"misconfigurations":[48,176],"that":[49,105,172],"do":[50],"not":[51],"break":[52],"the":[53,63,108,126,134,146],"pre-defined":[54],"invariants":[56],"(e.g.,":[57],"black":[58],"holes),":[59],"but":[60],"either":[61,75],"degrade":[62],"deployment":[64],"efficiency":[65],"mistakenly":[67],"translate":[68],"intents.":[70],"Prior":[71],"studies":[72],"for":[73,102,136,152],"checking":[74,100],"traditional":[76],"access":[77],"control":[78],"network-wide":[81],"invariants,":[82],"are":[83],"thus":[84],"fail":[85],"detect":[87,175],"these":[88],"misconfigurations.":[89],"To":[90],"address":[91],"this":[92,94],"gap,":[93],"paper":[95],"presents":[96],"PMM,":[97],"misconfiguration":[99,141],"tool":[101],"compositional":[103],"works":[106],"at":[107],"data":[109,119],"plane":[110],"of":[111,129,177,185],"cloud":[112,181],"networks.":[113],"We":[114,143,157],"first":[115],"propose":[116,145],"structure,":[120],"minimal":[121],"interval":[122],"set,":[123],"represent":[125],"match":[127],"patterns":[128],"rulesets.":[130],"This":[131],"representation":[132],"serves":[133],"basis":[135],"composition":[137],"algebra":[138],"construction":[139],"checking.":[142,156],"then":[144],"principles,":[147],"algorithms":[148],"also":[150],"optimisations":[151],"fast":[153],"accurate":[155],"finally":[158],"implement":[159],"PMM":[160,173],"in":[161,180],"Covisor.":[162],"Experiments":[163],"with":[164],"both":[165],"real-world":[166],"rulesets":[167,170],"synthetic":[169],"show":[171],"can":[174],"within":[183],"hundreds":[184],"milliseconds.":[186]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}