{"id":"https://openalex.org/W3012128986","doi":"https://doi.org/10.1109/tnet.2020.2977006","title":"Verifying Rule Enforcement in Software Defined Networks With REV","display_name":"Verifying Rule Enforcement in Software Defined Networks With REV","publication_year":2020,"publication_date":"2020-03-12","ids":{"openalex":"https://openalex.org/W3012128986","doi":"https://doi.org/10.1109/tnet.2020.2977006","mag":"3012128986"},"language":"en","primary_location":{"id":"doi:10.1109/tnet.2020.2977006","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2020.2977006","pdf_url":null,"source":{"id":"https://openalex.org/S62238642","display_name":"IEEE/ACM Transactions on Networking","issn_l":"1063-6692","issn":["1063-6692","1558-2566"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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/ACM Transactions on Networking","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/A5101949155","display_name":"Peng Zhang","orcid":"https://orcid.org/0000-0001-7721-2675"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peng Zhang","raw_affiliation_strings":["School of Computer Science and Technology, MOE Key Laboratory for Intelligent Networks and Network Security, Xi\u2019an Jiaotong University, Xi\u2019an, China"],"raw_orcid":"https://orcid.org/0000-0001-7721-2675","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, MOE Key Laboratory for Intelligent Networks and Network Security, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000319584","display_name":"Hui Wu","orcid":"https://orcid.org/0000-0003-0308-0547"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hui Wu","raw_affiliation_strings":["School of Computer Science and Technology, MOE Key Laboratory for Intelligent Networks and Network Security, Xi\u2019an Jiaotong University, Xi\u2019an, China"],"raw_orcid":"https://orcid.org/0000-0003-0308-0547","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, MOE Key Laboratory for Intelligent Networks and Network Security, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100456011","display_name":"Dan Zhang","orcid":"https://orcid.org/0000-0002-0978-8960"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dan Zhang","raw_affiliation_strings":["School of Computer Science and Technology, MOE Key Laboratory for Intelligent Networks and Network Security, Xi\u2019an Jiaotong University, Xi\u2019an, China"],"raw_orcid":"https://orcid.org/0000-0002-0978-8960","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, MOE Key Laboratory for Intelligent Networks and Network Security, Xi\u2019an Jiaotong University, Xi\u2019an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100350165","display_name":"Qi Li","orcid":"https://orcid.org/0000-0001-8776-8730"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qi Li","raw_affiliation_strings":["Beijing National Research Center for Information Science and Technology (BNRist), Tsinghua University, Beijing, China","Institute of Cyber Sciences and Cyberspace, Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-8776-8730","affiliations":[{"raw_affiliation_string":"Beijing National Research Center for Information Science and Technology (BNRist), Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Institute of Cyber Sciences and Cyberspace, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2045,"currency":"USD","value_usd":2045},"apc_paid":null,"fwci":2.4072,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.88897594,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"28","issue":"2","first_page":"917","last_page":"929"},"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.9929999709129333,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/computer-science","display_name":"Computer science","score":0.8917881846427917},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.7984820604324341},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.6113316416740417},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.5455169677734375},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5373083353042603},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.506972074508667},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4811590909957886},{"id":"https://openalex.org/keywords/routing-control-plane","display_name":"Routing control plane","score":0.47704213857650757},{"id":"https://openalex.org/keywords/decoupling","display_name":"Decoupling (probability)","score":0.47245529294013977},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.4497529864311218},{"id":"https://openalex.org/keywords/openflow","display_name":"OpenFlow","score":0.4472978413105011},{"id":"https://openalex.org/keywords/hash-table","display_name":"Hash table","score":0.4343966245651245},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.43159425258636475},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4224439263343811},{"id":"https://openalex.org/keywords/bandwidth","display_name":"Bandwidth (computing)","score":0.4150004982948303},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.3645583987236023},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3475572168827057},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2053700089454651},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10406631231307983},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.08143877983093262}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8917881846427917},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.7984820604324341},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.6113316416740417},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.5455169677734375},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5373083353042603},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.506972074508667},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4811590909957886},{"id":"https://openalex.org/C145595949","wikidata":"https://www.wikidata.org/wiki/Q7371619","display_name":"Routing control plane","level":2,"score":0.47704213857650757},{"id":"https://openalex.org/C205606062","wikidata":"https://www.wikidata.org/wiki/Q5249645","display_name":"Decoupling (probability)","level":2,"score":0.47245529294013977},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.4497529864311218},{"id":"https://openalex.org/C192697461","wikidata":"https://www.wikidata.org/wiki/Q4045918","display_name":"OpenFlow","level":3,"score":0.4472978413105011},{"id":"https://openalex.org/C67388219","wikidata":"https://www.wikidata.org/wiki/Q207440","display_name":"Hash table","level":3,"score":0.4343966245651245},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.43159425258636475},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4224439263343811},{"id":"https://openalex.org/C2776257435","wikidata":"https://www.wikidata.org/wiki/Q1576430","display_name":"Bandwidth (computing)","level":2,"score":0.4150004982948303},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.3645583987236023},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3475572168827057},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2053700089454651},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10406631231307983},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.08143877983093262},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","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},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnet.2020.2977006","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2020.2977006","pdf_url":null,"source":{"id":"https://openalex.org/S62238642","display_name":"IEEE/ACM Transactions on Networking","issn_l":"1063-6692","issn":["1063-6692","1558-2566"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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/ACM Transactions on Networking","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7799999713897705,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1191843724","display_name":null,"funder_award_id":"U1736209","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G384056880","display_name":"\u8f6f\u4ef6\u5b9a\u4e49\u7684\u7f51\u7edc\u6545\u969c\u8bca\u65ad\u65b9\u6cd5\u7814\u7a76","funder_award_id":"61772412","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5148564587","display_name":null,"funder_award_id":"2017YFB0801703","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G6827592809","display_name":"\u8f6f\u4ef6\u5b9a\u4e49\u7684\u7f51\u7edc\u9632\u5fa1\u7406\u8bba\u548c\u6280\u672f\u7814\u7a76","funder_award_id":"61572278","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320327721","display_name":"K. C. Wong Education Foundation","ror":null},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W106863888","https://openalex.org/W1479727008","https://openalex.org/W1521680667","https://openalex.org/W1558403803","https://openalex.org/W1601814439","https://openalex.org/W1675033504","https://openalex.org/W1903979221","https://openalex.org/W1975992537","https://openalex.org/W1984451560","https://openalex.org/W2005882979","https://openalex.org/W2006435204","https://openalex.org/W2052207834","https://openalex.org/W2064266822","https://openalex.org/W2084915558","https://openalex.org/W2099995703","https://openalex.org/W2105545278","https://openalex.org/W2124051641","https://openalex.org/W2145994642","https://openalex.org/W2147118406","https://openalex.org/W2156186849","https://openalex.org/W2158690831","https://openalex.org/W2160824842","https://openalex.org/W2301255957","https://openalex.org/W2470544054","https://openalex.org/W2492661528","https://openalex.org/W2500758310","https://openalex.org/W2594119292","https://openalex.org/W2600267680","https://openalex.org/W2734979301","https://openalex.org/W2761270199","https://openalex.org/W2768133406","https://openalex.org/W2808679319","https://openalex.org/W2963099222","https://openalex.org/W2968149030","https://openalex.org/W3023815415","https://openalex.org/W4256352503","https://openalex.org/W4294339610","https://openalex.org/W6631173456","https://openalex.org/W6633188731","https://openalex.org/W6636017267","https://openalex.org/W6636548729","https://openalex.org/W6637274776","https://openalex.org/W6663682233","https://openalex.org/W6734470941"],"related_works":["https://openalex.org/W2051935741","https://openalex.org/W4211055425","https://openalex.org/W4243609393","https://openalex.org/W3042077637","https://openalex.org/W2508315983","https://openalex.org/W4308650767","https://openalex.org/W4293182269","https://openalex.org/W2963653989","https://openalex.org/W2901563743","https://openalex.org/W2141070277"],"abstract_inverted_index":{"Software":[0],"defined":[1],"networking":[2],"(SDN)":[3],"reshapes":[4],"the":[5,11,28,36,48,53,57,97,106,124,135,140,153,200,208],"ossified":[6],"network":[7],"architectures,":[8],"by":[9,27,35,55,178,198,214],"decoupling":[10],"control":[12,29,63],"plane":[13,30,50],"and":[14,62,172,190],"data":[15,37,49],"plane.":[16,38],"Due":[17],"to":[18,99,134,155,175,212],"such":[19],"a":[20,146,184],"decoupling,":[21],"SDN":[22],"assumes":[23],"that":[24,69,108],"rules":[25,107],"issued":[26],"are":[31],"always":[32],"correctly":[33,104],"enforced":[34,105],"However,":[39],"this":[40,86,88],"assumption":[41],"breaks":[42],"as":[43],"an":[44,191],"adversary":[45],"can":[46,117,206],"prevent":[47],"from":[51,73],"enforcing":[52],"rules,":[54],"exploiting":[56],"vulnerabilities":[58],"of":[59,210],"switch":[60],"OS":[61],"channel.":[64],"The":[65],"serious":[66],"consequence":[67],"is":[68],"packets":[70],"may":[71],"deviate":[72],"their":[74],"original":[75],"paths,":[76],"thereby":[77,137],"violating":[78],"critical":[79],"security":[80],"policies":[81],"like":[82],"access":[83],"control.":[84],"To":[85],"end,":[87],"paper":[89],"introduces":[90],"rule":[91,161],"enforcement":[92],"verification":[93,195],"(REV),":[94],"which":[95,127,151],"enables":[96],"controller":[98,154],"check":[100],"whether":[101],"switches":[102,129],"have":[103],"it":[109],"issues.":[110],"Since":[111],"using":[112,179,199],"message":[113],"authentication":[114],"code":[115],"(MAC)":[116],"incur":[118],"heavy":[119],"switch-to-controller":[120,188],"traffic,":[121,189],"we":[122,144],"propose":[123,145],"compressive":[125,180],"MAC,":[126,181],"lets":[128],"compress":[130],"MACs":[131],"before":[132],"reporting":[133],"controller,":[136],"significantly":[138],"reducing":[139],"bandwidth":[141],"cost.":[142],"Finally,":[143],"heuristic":[147,201],"flow":[148,202],"selection":[149,203],"algorithm,":[150,204],"allows":[152],"verify":[156,213],"much":[157],"less":[158],"flows":[159,211],"for":[160],"coverage.":[162],"We":[163],"implement":[164],"REV":[165,182,205],"based":[166],"on":[167],"Open":[168],"vSwitch":[169],"with":[170],"DPDK,":[171],"use":[173],"experiments":[174],"show:":[176],"(1)":[177],"achieves":[183],"97%":[185],"reduction":[186],"in":[187,194],"8\u00d7":[192],"increase":[193],"throughput;":[196],"(2)":[197],"reduce":[207],"number":[209],"40%-60%.":[215]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}