{"id":"https://openalex.org/W2517223672","doi":"https://doi.org/10.1109/iscc.2016.7543791","title":"SDN verification plane for consistency establishment","display_name":"SDN verification plane for consistency establishment","publication_year":2016,"publication_date":"2016-06-01","ids":{"openalex":"https://openalex.org/W2517223672","doi":"https://doi.org/10.1109/iscc.2016.7543791","mag":"2517223672"},"language":"en","primary_location":{"id":"doi:10.1109/iscc.2016.7543791","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscc.2016.7543791","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Symposium on Computers and Communication (ISCC)","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/A5102785250","display_name":"Ali Hussein","orcid":"https://orcid.org/0000-0002-5206-5960"},"institutions":[{"id":"https://openalex.org/I98635879","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21","country_code":"LB","type":"education","lineage":["https://openalex.org/I98635879"]}],"countries":["LB"],"is_corresponding":true,"raw_author_name":"Ali Hussein","raw_affiliation_strings":["Electrical and Computer Engineering Department, American University of Beirut, Beirut, Lebanon"],"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, American University of Beirut, Beirut, Lebanon","institution_ids":["https://openalex.org/I98635879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061146388","display_name":"Imad H. Elhajj","orcid":"https://orcid.org/0000-0002-6461-4699"},"institutions":[{"id":"https://openalex.org/I98635879","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21","country_code":"LB","type":"education","lineage":["https://openalex.org/I98635879"]}],"countries":["LB"],"is_corresponding":false,"raw_author_name":"Imad H. Elhajj","raw_affiliation_strings":["Electrical and Computer Engineering Department, American University of Beirut, Beirut, Lebanon"],"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, American University of Beirut, Beirut, Lebanon","institution_ids":["https://openalex.org/I98635879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060737319","display_name":"Ali Chehab","orcid":"https://orcid.org/0000-0002-1939-2740"},"institutions":[{"id":"https://openalex.org/I98635879","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21","country_code":"LB","type":"education","lineage":["https://openalex.org/I98635879"]}],"countries":["LB"],"is_corresponding":false,"raw_author_name":"Ali Chehab","raw_affiliation_strings":["Electrical and Computer Engineering Department, American University of Beirut, Beirut, Lebanon"],"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, American University of Beirut, Beirut, Lebanon","institution_ids":["https://openalex.org/I98635879"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074578100","display_name":"Ayman Kayssi","orcid":"https://orcid.org/0000-0002-0569-1395"},"institutions":[{"id":"https://openalex.org/I98635879","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21","country_code":"LB","type":"education","lineage":["https://openalex.org/I98635879"]}],"countries":["LB"],"is_corresponding":false,"raw_author_name":"Ayman Kayssi","raw_affiliation_strings":["Electrical and Computer Engineering Department, American University of Beirut, Beirut, Lebanon"],"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, American University of Beirut, Beirut, Lebanon","institution_ids":["https://openalex.org/I98635879"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102785250"],"corresponding_institution_ids":["https://openalex.org/I98635879"],"apc_list":null,"apc_paid":null,"fwci":1.4477,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84286156,"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":"519","last_page":"524"},"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.9950000047683716,"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.9940000176429749,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5905349850654602},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5630492568016052},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11215716600418091}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5905349850654602},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5630492568016052},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11215716600418091}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iscc.2016.7543791","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscc.2016.7543791","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Symposium on Computers and Communication (ISCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1615513839","https://openalex.org/W1675033504","https://openalex.org/W1917945289","https://openalex.org/W1971360470","https://openalex.org/W1976430953","https://openalex.org/W1988792860","https://openalex.org/W2031346909","https://openalex.org/W2063470101","https://openalex.org/W2068384525","https://openalex.org/W2084915558","https://openalex.org/W2111162920","https://openalex.org/W2122695394","https://openalex.org/W2139659182","https://openalex.org/W2141988289","https://openalex.org/W2150220388","https://openalex.org/W2184188941","https://openalex.org/W2238528727","https://openalex.org/W2490388713","https://openalex.org/W3162528233","https://openalex.org/W4240208775","https://openalex.org/W4255907350","https://openalex.org/W4293661157","https://openalex.org/W6689867099"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Software":[0],"Defined":[1],"Networking":[2],"(SDN)":[3],"is":[4,45,126],"the":[5,29,76,101,112,123,163,167,194,198,219,222],"new":[6,195],"promise":[7],"towards":[8],"an":[9,46,60,86],"easily":[10],"configured":[11],"and":[12,98,128,173,200,237],"centrally":[13],"controlled":[14],"network.":[15,243],"Based":[16],"on":[17,65],"this":[18,56,138],"centralized":[19],"control,":[20],"SDN":[21,61,73,242],"technology":[22],"has":[23],"proved":[24],"its":[25],"positive":[26],"impact":[27],"in":[28,38,41,144,232,240],"world":[30],"of":[31,166,190,221,229,234],"network":[32,168],"communications":[33],"from":[34,207],"different":[35,227],"aspects.":[36],"Consistency":[37],"SDN,":[39],"as":[40],"any":[42],"rule-based":[43],"network,":[44],"essential":[47],"feature":[48],"that":[49,122],"every":[50],"communication":[51],"system":[52,224],"should":[53],"possess.":[54],"In":[55],"paper,":[57],"we":[58],"propose":[59],"verification":[62,147,151,159,181,231],"layer":[63],"based":[64],"formal":[66],"techniques":[67],"to":[68,91,99,107,114,153,169,197,210,225],"establish":[69],"flow":[70,77,176,185,196,235],"consistency":[71,230],"between":[72],"switches":[74],"before":[75,177],"insertion":[78],"process":[79,125],"takes":[80],"place.":[81],"We":[82],"show":[83],"how":[84],"such":[85],"approach":[87],"can":[88,205],"be":[89,132],"used":[90],"prevent":[92],"loopbacks,":[93],"deadlocks,":[94],"security":[95],"domain":[96],"breaches,":[97],"verify":[100],"time":[102],"delay":[103],"for":[104],"a":[105,109,116,146,156,170,187,203,241],"controller":[106],"update":[108,124,139,236],"switch":[110,113],"versus":[111],"forward":[115],"packet.":[117],"This":[118],"last":[119],"point":[120,208],"ensures":[121],"synchronized":[127],"no":[129],"packet":[130,204],"would":[131],"checked":[133],"against":[134,186],"old":[135],"rules":[136,191],"during":[137],"process.":[140],"The":[141,180],"solution":[142],"lies":[143],"introducing":[145],"plane":[148],"enabling":[149],"our":[150],"module":[152],"interact":[154],"with":[155],"third":[157],"party":[158],"tool":[160,182],"(UPPAAL)":[161],"translating":[162],"controller's":[164],"view":[165],"state":[171],"machine":[172],"verifying":[174],"each":[175,184],"being":[178],"installed.":[179],"checks":[183],"predefined":[188],"set":[189],"by":[192],"applying":[193],"scheme":[199],"testing":[201],"if":[202],"pass":[206],"A":[209],"B":[211],"without":[212],"violating":[213],"these":[214],"rules.":[215],"Our":[216],"evaluation":[217],"shows":[218],"capability":[220],"proposed":[223],"enforce":[226],"levels":[228],"case":[233],"topology":[238],"change":[239]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}