{"id":"https://openalex.org/W3109823491","doi":"https://doi.org/10.23919/cnsm50824.2020.9269038","title":"A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations","display_name":"A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations","publication_year":2020,"publication_date":"2020-11-02","ids":{"openalex":"https://openalex.org/W3109823491","doi":"https://doi.org/10.23919/cnsm50824.2020.9269038","mag":"3109823491"},"language":"en","primary_location":{"id":"doi:10.23919/cnsm50824.2020.9269038","is_oa":false,"landing_page_url":"https://doi.org/10.23919/cnsm50824.2020.9269038","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 16th International Conference on Network and Service Management (CNSM)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5066632699","display_name":"Wejdene Saied","orcid":null},"institutions":[{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Wejdene Saied","raw_affiliation_strings":["Digital Security Research Lab, (Sup\u2019Com), University of Carthage, Tunisia","Digital Security Research Lab, (Sup'Com), University of Carthage, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Security Research Lab, (Sup\u2019Com), University of Carthage, Tunisia","institution_ids":["https://openalex.org/I179097149"]},{"raw_affiliation_string":"Digital Security Research Lab, (Sup'Com), University of Carthage, Tunisia","institution_ids":["https://openalex.org/I179097149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5107395150","display_name":"Adel Bouhoula","orcid":null},"institutions":[{"id":"https://openalex.org/I53218197","display_name":"Arabian Gulf University","ror":"https://ror.org/04gd4wn47","country_code":"BH","type":"education","lineage":["https://openalex.org/I53218197"]}],"countries":["BH"],"is_corresponding":false,"raw_author_name":"Adel Bouhoula","raw_affiliation_strings":["College of Graduate Studies, Arabian Gulf University, Kingdom of Bahrain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Graduate Studies, Arabian Gulf University, Kingdom of Bahrain","institution_ids":["https://openalex.org/I53218197"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.16736053,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"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.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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9927999973297119,"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.8797377943992615},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.7382950186729431},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7264775037765503},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.5218278765678406},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4942491352558136},{"id":"https://openalex.org/keywords/networking-hardware","display_name":"Networking hardware","score":0.4662591218948364},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.45139428973197937},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.42308366298675537},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38931500911712646},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17631065845489502}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8797377943992615},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.7382950186729431},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7264775037765503},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.5218278765678406},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4942491352558136},{"id":"https://openalex.org/C159631557","wikidata":"https://www.wikidata.org/wiki/Q1546066","display_name":"Networking hardware","level":2,"score":0.4662591218948364},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.45139428973197937},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.42308366298675537},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38931500911712646},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17631065845489502},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/cnsm50824.2020.9269038","is_oa":false,"landing_page_url":"https://doi.org/10.23919/cnsm50824.2020.9269038","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 16th International Conference on Network and Service Management (CNSM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.800000011920929,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W158224344","https://openalex.org/W1675033504","https://openalex.org/W1697123834","https://openalex.org/W1972121713","https://openalex.org/W1983529311","https://openalex.org/W2020729428","https://openalex.org/W2064322639","https://openalex.org/W2115526539","https://openalex.org/W2146077028","https://openalex.org/W2147118406","https://openalex.org/W2180601376","https://openalex.org/W2408119291","https://openalex.org/W2409393548","https://openalex.org/W2559645321","https://openalex.org/W2769794899","https://openalex.org/W2887655564","https://openalex.org/W2957111918","https://openalex.org/W2963838370","https://openalex.org/W2971124233","https://openalex.org/W2989660482","https://openalex.org/W3013300152","https://openalex.org/W3021132634","https://openalex.org/W3022568139","https://openalex.org/W6606536520","https://openalex.org/W6637274776","https://openalex.org/W6637389031","https://openalex.org/W6714182509","https://openalex.org/W6776946497"],"related_works":["https://openalex.org/W3046364132","https://openalex.org/W2398230795","https://openalex.org/W3040619330","https://openalex.org/W2755356540","https://openalex.org/W2886777432","https://openalex.org/W3217116317","https://openalex.org/W4286386328","https://openalex.org/W3194953720","https://openalex.org/W4229336722","https://openalex.org/W4313036970"],"abstract_inverted_index":{"Software-defined":[0],"networking":[1],"(SDN)":[2],"is":[3,54,64,83],"a":[4,65,87,127],"network":[5,10,18,23,36],"architecture":[6],"that":[7,58,129],"enables":[8],"the":[9,22,131],"to":[11,30,70,84,91,102,119],"be":[12,60],"centrally":[13],"controlled":[14],"using":[15,24,95],"software.":[16],"The":[17,48,78],"administrators":[19,137],"can":[20],"reprogram":[21],"SDN":[25,39,52],"without":[26],"changing":[27],"hardware":[28],"devices":[29],"provide":[31],"new":[32,88],"solutions":[33],"for":[34,67],"controlling":[35],"traffic.":[37],"However,":[38],"has":[40],"its":[41],"drawbacks":[42],"in":[43,123,138],"security,":[44],"scalability,":[45],"and":[46,73,109,115,134,140],"elasticity.":[47],"security":[49,93],"validation":[50],"of":[51,80],"configurations":[53,76],"an":[55,113],"important":[56],"issue":[57],"should":[59],"addressed.":[61],"Therefore,":[62],"there":[63],"need":[66],"automated":[68],"methods":[69],"analyze,":[71],"investigate":[72],"fix":[74],"switch":[75,142],"faults.":[77],"objective":[79],"our":[81],"work":[82],"propose:":[85],"(1)":[86],"formal":[89],"approach":[90],"discover":[92],"challenges":[94],"Flow":[96],"entries":[97],"Decision":[98],"Diagram":[99],"(FeDD)":[100],"analysis,":[101],"identify":[103],"loop":[104],"freedom,":[105],"access":[106],"violation,":[107],"black-holes,":[108],"controller":[110],"misconfiguration;":[111],"(2)":[112],"optimal":[114],"fine-grained":[116],"resolution":[117],"mechanisms":[118],"correct":[120],"these":[121],"misconfigurations":[122],"different":[124],"topologies:":[125],"(3)":[126],"tool":[128],"implements":[130],"proposed":[132],"techniques":[133],"effectively":[135],"helps":[136],"detecting":[139],"resolving":[141],"misconfigurations.":[143]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}