{"id":"https://openalex.org/W4206139196","doi":"https://doi.org/10.1109/tnet.2022.3140824","title":"A Framework for Policy Inconsistency Detection in Software-Defined Networks","display_name":"A Framework for Policy Inconsistency Detection in Software-Defined Networks","publication_year":2022,"publication_date":"2022-01-14","ids":{"openalex":"https://openalex.org/W4206139196","doi":"https://doi.org/10.1109/tnet.2022.3140824"},"language":"en","primary_location":{"id":"doi:10.1109/tnet.2022.3140824","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2022.3140824","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/A5053088189","display_name":"Seungsoo Lee","orcid":"https://orcid.org/0000-0002-6883-1869"},"institutions":[{"id":"https://openalex.org/I146429904","display_name":"Incheon National University","ror":"https://ror.org/02xf7p935","country_code":"KR","type":"education","lineage":["https://openalex.org/I146429904"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Seungsoo Lee","raw_affiliation_strings":["Incheon National University, Incheon, South Korea"],"raw_orcid":"https://orcid.org/0000-0002-6883-1869","affiliations":[{"raw_affiliation_string":"Incheon National University, Incheon, South Korea","institution_ids":["https://openalex.org/I146429904"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031982517","display_name":"Seungwon Woo","orcid":null},"institutions":[{"id":"https://openalex.org/I142401562","display_name":"Electronics and Telecommunications Research Institute","ror":"https://ror.org/03ysstz10","country_code":"KR","type":"facility","lineage":["https://openalex.org/I142401562","https://openalex.org/I2801339556","https://openalex.org/I4210144908","https://openalex.org/I4387152098"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Seungwon Woo","raw_affiliation_strings":["Electronics and Telecommunications Research Institute (ETRI), Daejeon, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electronics and Telecommunications Research Institute (ETRI), Daejeon, South Korea","institution_ids":["https://openalex.org/I142401562"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019655635","display_name":"Jinwoo Kim","orcid":"https://orcid.org/0000-0003-1303-8668"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jinwoo Kim","raw_affiliation_strings":["Korea Advanced Institute of Science and Technology (KAIST), Daejeon, South Korea"],"raw_orcid":"https://orcid.org/0000-0003-1303-8668","affiliations":[{"raw_affiliation_string":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042262858","display_name":"Jaehyun Nam","orcid":"https://orcid.org/0000-0001-8907-5495"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jaehyun Nam","raw_affiliation_strings":["AccuKnox, Cupertino, CA, USA"],"raw_orcid":"https://orcid.org/0000-0001-8907-5495","affiliations":[{"raw_affiliation_string":"AccuKnox, Cupertino, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085002486","display_name":"Vinod Yegneswaran","orcid":"https://orcid.org/0000-0003-0718-6605"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vinod Yegneswaran","raw_affiliation_strings":["SRI International, Menlo Park, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022253423","display_name":"Phillip Porras","orcid":"https://orcid.org/0000-0003-4661-2443"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Phillip Porras","raw_affiliation_strings":["SRI International, Menlo Park, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park, CA, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084473174","display_name":"Seungwon Shin","orcid":"https://orcid.org/0000-0002-1077-5606"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Seungwon Shin","raw_affiliation_strings":["Korea Advanced Institute of Science and Technology (KAIST), Daejeon, South Korea"],"raw_orcid":"https://orcid.org/0000-0002-1077-5606","affiliations":[{"raw_affiliation_string":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9092,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.72749356,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"30","issue":"3","first_page":"1410","last_page":"1423"},"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.9951000213623047,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9916999936103821,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8589188456535339},{"id":"https://openalex.org/keywords/openflow","display_name":"OpenFlow","score":0.7780215740203857},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.7373650074005127},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.56843501329422},{"id":"https://openalex.org/keywords/networking-hardware","display_name":"Networking hardware","score":0.49452778697013855},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4801746904850006},{"id":"https://openalex.org/keywords/protocol-stack","display_name":"Protocol stack","score":0.4762694537639618},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47115767002105713},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4608689248561859},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4599084258079529},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.4461134076118469},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4371783435344696},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3871575593948364},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.34703516960144043},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12441223859786987}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8589188456535339},{"id":"https://openalex.org/C192697461","wikidata":"https://www.wikidata.org/wiki/Q4045918","display_name":"OpenFlow","level":3,"score":0.7780215740203857},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.7373650074005127},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.56843501329422},{"id":"https://openalex.org/C159631557","wikidata":"https://www.wikidata.org/wiki/Q1546066","display_name":"Networking hardware","level":2,"score":0.49452778697013855},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4801746904850006},{"id":"https://openalex.org/C38601921","wikidata":"https://www.wikidata.org/wiki/Q1757693","display_name":"Protocol stack","level":3,"score":0.4762694537639618},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47115767002105713},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4608689248561859},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4599084258079529},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.4461134076118469},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4371783435344696},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3871575593948364},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.34703516960144043},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12441223859786987},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnet.2022.3140824","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2022.3140824","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":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321363","display_name":"Incheon National University","ror":"https://ror.org/02xf7p935"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W405461467","https://openalex.org/W1974811277","https://openalex.org/W1979266212","https://openalex.org/W1981285419","https://openalex.org/W1984451560","https://openalex.org/W1988774297","https://openalex.org/W1994926493","https://openalex.org/W2019419295","https://openalex.org/W2040340473","https://openalex.org/W2074616737","https://openalex.org/W2084915558","https://openalex.org/W2102090846","https://openalex.org/W2122109510","https://openalex.org/W2122695394","https://openalex.org/W2126822952","https://openalex.org/W2130210899","https://openalex.org/W2136451165","https://openalex.org/W2137845741","https://openalex.org/W2141988289","https://openalex.org/W2146077028","https://openalex.org/W2147236343","https://openalex.org/W2464452712","https://openalex.org/W2534481600","https://openalex.org/W2559645321","https://openalex.org/W2600267680","https://openalex.org/W2606825926","https://openalex.org/W2612205004","https://openalex.org/W2758509082","https://openalex.org/W2763704363","https://openalex.org/W2773651084","https://openalex.org/W2883042941","https://openalex.org/W2892351688","https://openalex.org/W2900168848","https://openalex.org/W2938753454","https://openalex.org/W2947386876","https://openalex.org/W2991458367","https://openalex.org/W3014818333","https://openalex.org/W3034136400","https://openalex.org/W3046921229","https://openalex.org/W4250487560","https://openalex.org/W4253647837","https://openalex.org/W6606063390","https://openalex.org/W6638359055","https://openalex.org/W6639592347","https://openalex.org/W6743303155","https://openalex.org/W6793746476"],"related_works":["https://openalex.org/W4308650767","https://openalex.org/W2520562984","https://openalex.org/W2978840876","https://openalex.org/W2292300552","https://openalex.org/W2059859506","https://openalex.org/W4312579375","https://openalex.org/W4200503718","https://openalex.org/W2181354176","https://openalex.org/W2549145187","https://openalex.org/W2570290609"],"abstract_inverted_index":{"Software-Defined":[0],"Networking":[1],"(SDN)":[2],"has":[3],"aggressively":[4],"grown":[5],"in":[6,61,98,126,182],"data":[7],"center":[8],"networks,":[9],"telecommunication":[10],"providers,":[11],"and":[12,19,58,79,152,154,161],"enterprises":[13],"by":[14],"virtue":[15],"of":[16,29,34,41,44,92],"its":[17,140],"programmable":[18],"extensible":[20],"control":[21],"plane.":[22],"Also,":[23],"there":[24],"have":[25,46],"been":[26],"many":[27],"kinds":[28],"research":[30],"on":[31,89],"the":[32,39,90,100,133,165,175,180],"security":[33,59],"SDN":[35,81,101,136,149,170,184],"components":[36],"along":[37],"with":[38],"growth":[40],"SDN.":[42,62],"Some":[43],"them":[45],"inspected":[47],"network":[48,56,71,166],"policy":[49,72,106,128,167],"inconsistency":[50],"problems":[51],"that":[52,163,178],"can":[53,130],"severely":[54],"cause":[55,164,179],"reliability":[57],"issues":[60],"However,":[63],"they":[64],"do":[65],"not":[66],"consider":[67],"whether":[68],"a":[69,192],"single":[70],"itself":[73],"is":[74],"corrupted":[75],"during":[76],"processing":[77],"inside":[78],"between":[80],"components.":[82,112,171],"In":[83],"this":[84],"paper,":[85],"we":[86,142,173],"thus":[87],"focus":[88],"question":[91],"how":[93],"to":[94,104,122,145,189],"automatically":[95],"identify":[96],"cases":[97,125],"which":[99,127],"stack":[102],"fails":[103],"prevent":[105],"inconsistencies":[107,129,168,181],"from":[108],"arising":[109],"among":[110,169],"those":[111],"We":[113],"then":[114],"present":[115],"AudiSDN,":[116],"an":[117],"automated":[118],"fuzz-testing":[119],"framework":[120],"designed":[121],"formulate":[123],"test":[124],"arise":[131],"inOpenFlownetworks,":[132],"most":[134],"prevalent":[135],"protocol.":[137],"To":[138],"prove":[139],"feasibility,":[141],"applied":[143],"AudiSDN":[144],"two":[146],"widely":[147],"used":[148],"controllers,":[150],"Floodlight":[151],"ONOS,":[153],"uncovered":[155],"three":[156],"separate":[157],"CVEs":[158],"(Common":[159],"Vulnerabilities":[160],"Exposures)":[162],"Furthermore,":[172],"investigate":[174],"design":[176],"flaws":[177],"modern":[183],"components,":[185],"suggesting":[186],"specific":[187],"validations":[188],"address":[190],"such":[191],"serious":[193],"but":[194],"understudied":[195],"pragmatic":[196],"concern.":[197]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}