{"id":"https://openalex.org/W3009385259","doi":"https://doi.org/10.23919/cnsm46954.2019.9012715","title":"A Formal Model for Resiliency-Aware Deployment of SDN: A SCADA-Based Case Study","display_name":"A Formal Model for Resiliency-Aware Deployment of SDN: A SCADA-Based Case Study","publication_year":2019,"publication_date":"2019-10-01","ids":{"openalex":"https://openalex.org/W3009385259","doi":"https://doi.org/10.23919/cnsm46954.2019.9012715","mag":"3009385259"},"language":"en","primary_location":{"id":"doi:10.23919/cnsm46954.2019.9012715","is_oa":false,"landing_page_url":"https://doi.org/10.23919/cnsm46954.2019.9012715","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 15th International Conference on Network and Service Management (CNSM)","raw_type":"proceedings-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/A5048134581","display_name":"A H M Jakaria","orcid":"https://orcid.org/0000-0003-1697-8655"},"institutions":[{"id":"https://openalex.org/I63920570","display_name":"Tennessee Technological University","ror":"https://ror.org/05drmrq39","country_code":"US","type":"education","lineage":["https://openalex.org/I63920570"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"A H M Jakaria","raw_affiliation_strings":["Tennessee Tech University, Cookeville, USA"],"affiliations":[{"raw_affiliation_string":"Tennessee Tech University, Cookeville, USA","institution_ids":["https://openalex.org/I63920570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100648380","display_name":"Mohammad Ashiqur Rahman","orcid":"https://orcid.org/0000-0002-2963-7430"},"institutions":[{"id":"https://openalex.org/I19700959","display_name":"Florida International University","ror":"https://ror.org/02gz6gg07","country_code":"US","type":"education","lineage":["https://openalex.org/I19700959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mohammad Ashiqur Rahman","raw_affiliation_strings":["Florida International University, Miami, USA"],"affiliations":[{"raw_affiliation_string":"Florida International University, Miami, USA","institution_ids":["https://openalex.org/I19700959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051605434","display_name":"Aniruddha Gokhale","orcid":"https://orcid.org/0000-0002-7706-7102"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aniruddha Gokhale","raw_affiliation_strings":["Vanderbilt University, Nashville, USA"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, USA","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5048134581"],"corresponding_institution_ids":["https://openalex.org/I63920570"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.23905808,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"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":0.9998000264167786,"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.9998000264167786,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9801999926567078,"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/scada","display_name":"SCADA","score":0.929895281791687},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7584048509597778},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.710295557975769},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5019588470458984},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4728574752807617},{"id":"https://openalex.org/keywords/smart-grid","display_name":"Smart grid","score":0.4662887752056122},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3656630516052246},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18975645303726196},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14319705963134766}],"concepts":[{"id":"https://openalex.org/C113863187","wikidata":"https://www.wikidata.org/wiki/Q17498","display_name":"SCADA","level":2,"score":0.929895281791687},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7584048509597778},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.710295557975769},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5019588470458984},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4728574752807617},{"id":"https://openalex.org/C10558101","wikidata":"https://www.wikidata.org/wiki/Q689855","display_name":"Smart grid","level":2,"score":0.4662887752056122},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3656630516052246},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18975645303726196},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14319705963134766},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/cnsm46954.2019.9012715","is_oa":false,"landing_page_url":"https://doi.org/10.23919/cnsm46954.2019.9012715","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 15th International Conference on Network and Service Management (CNSM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1902707347","https://openalex.org/W1936354298","https://openalex.org/W1971997681","https://openalex.org/W1977861512","https://openalex.org/W2050588177","https://openalex.org/W2066494671","https://openalex.org/W2069354103","https://openalex.org/W2105785546","https://openalex.org/W2110880524","https://openalex.org/W2122140143","https://openalex.org/W2466509086","https://openalex.org/W2469044795","https://openalex.org/W2529603468","https://openalex.org/W3000913858","https://openalex.org/W3009096725","https://openalex.org/W6676079207"],"related_works":["https://openalex.org/W2615977515","https://openalex.org/W2115760278","https://openalex.org/W2146396794","https://openalex.org/W2809162650","https://openalex.org/W2807864071","https://openalex.org/W2388279172","https://openalex.org/W2055218442","https://openalex.org/W2617238897","https://openalex.org/W4386714408","https://openalex.org/W3164929525"],"abstract_inverted_index":{"The":[0,91,113,125],"supervisory":[1],"control":[2,36],"and":[3,16,87,139,151,171,181],"data":[4,21],"acquisition":[5],"(SCADA)":[6],"network":[7,30,46,80],"in":[8,32,154],"a":[9,28,60,71,78,107,178],"smart":[10],"grid":[11,35],"requires":[12],"to":[13,18,22,50,106,133],"be":[14,48,134],"reliable":[15],"efficient":[17],"transmit":[19],"real-time":[20],"the":[23,44,94,98,118,122,141,146,158,168],"controller.":[24],"Introducing":[25],"SDN":[26],"into":[27],"SCADA":[29,99,188],"helps":[31],"deploying":[33],"novel":[34],"operations,":[37],"as":[38],"well":[39],"as,":[40],"their":[41],"management.":[42],"As":[43],"overall":[45],"cannot":[47],"transformed":[49],"have":[51],"only":[52],"SDN-enabled":[53,89,123],"devices":[54,86],"overnight":[55],"because":[56],"of":[57,82,97,109,121,148,157],"budget":[58],"constraints,":[59],"systematic":[61],"deployment":[62,114],"methodology":[63],"is":[64],"needed.":[65],"In":[66],"this":[67],"work,":[68],"we":[69],"present":[70],"framework,":[72],"named":[73],"SDNSynth,":[74],"that":[75,144],"can":[76],"design":[77,92],"hybrid":[79],"consisting":[81],"both":[83],"legacy":[84],"forwarding":[85],"programmable":[88],"switches.":[90,124],"satisfies":[93],"resiliency":[95],"requirements":[96,150],"network,":[100],"which":[101],"are":[102],"specified":[103],"with":[104],"respect":[105],"set":[108],"identified":[110],"threat":[111],"vectors.":[112],"plan":[115,126],"primarily":[116],"includes":[117,145],"best":[119],"placements":[120],"may":[127],"include":[128],"one":[129],"or":[130],"more":[131],"links":[132],"installed":[135],"newly.":[136],"We":[137,174],"model":[138,170],"implement":[140],"SDNSynth":[142,176],"framework":[143],"satisfaction":[147],"several":[149],"constraints":[152],"involved":[153],"resilient":[155],"operation":[156],"SCADA.":[159],"It":[160],"uses":[161],"satisfiability":[162],"modulo":[163],"theories":[164],"(SMT)":[165],"for":[166],"encoding":[167],"synthesis":[169],"solving":[172],"it.":[173],"demonstrate":[175],"on":[177,185],"case":[179],"study":[180],"evaluate":[182],"its":[183],"performance":[184],"different":[186],"synthetic":[187],"systems.":[189]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}