{"id":"https://openalex.org/W4394698969","doi":"https://doi.org/10.1109/tnsm.2024.3386404","title":"Toward Automated Attack Discovery in SDN Controllers Through Formal Verification","display_name":"Toward Automated Attack Discovery in SDN Controllers Through Formal Verification","publication_year":2024,"publication_date":"2024-04-10","ids":{"openalex":"https://openalex.org/W4394698969","doi":"https://doi.org/10.1109/tnsm.2024.3386404"},"language":"en","primary_location":{"id":"doi:10.1109/tnsm.2024.3386404","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tnsm.2024.3386404","pdf_url":"https://ieeexplore.ieee.org/ielx7/4275028/5699970/10494990.pdf","source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"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 Transactions on Network and Service Management","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://ieeexplore.ieee.org/ielx7/4275028/5699970/10494990.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076311357","display_name":"Bin Yuan","orcid":"https://orcid.org/0000-0002-5365-904X"},"institutions":[{"id":"https://openalex.org/I3020662980","display_name":"Jinyintan Hospital","ror":"https://ror.org/038p1ty61","country_code":"CN","type":"healthcare","lineage":["https://openalex.org/I3020662980"]},{"id":"https://openalex.org/I4210114608","display_name":"Songshan Lake Materials Laboratory","ror":"https://ror.org/020vtf184","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366","https://openalex.org/I19820366","https://openalex.org/I4210114608","https://openalex.org/I4210137180","https://openalex.org/I4210159876"]},{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bin Yuan","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China","Songshan Laboratory, Zhengzhou, China","Jinyinhu Laboratory, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0002-5365-904X","affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Songshan Laboratory, Zhengzhou, China","institution_ids":["https://openalex.org/I4210114608"]},{"raw_affiliation_string":"Jinyinhu Laboratory, Wuhan, China","institution_ids":["https://openalex.org/I3020662980"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104806000","display_name":"Chi Zhang","orcid":"https://orcid.org/0009-0007-6380-6983"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chi Zhang","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0007-6380-6983","affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102646869","display_name":"Jiajun Ren","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiajun Ren","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113174607","display_name":"Qunjinming Chen","orcid":"https://orcid.org/0009-0003-8057-2833"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qunjinming Chen","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104278784","display_name":"Biang Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Biang Xu","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006382818","display_name":"Qiankun Zhang","orcid":"https://orcid.org/0000-0002-8034-2689"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiankun Zhang","raw_affiliation_strings":["Hubei Key Laboratory of Distributed System Security, Hubei Engineering Research Center on Big Data Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","Hubei Engineering Research Center on Big Data Security, School of Cyber Science and Engineering, Hubei Key Laboratory of Distributed System Security, Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0002-8034-2689","affiliations":[{"raw_affiliation_string":"Hubei Key Laboratory of Distributed System Security, Hubei Engineering Research Center on Big Data Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Hubei Engineering Research Center on Big Data Security, School of Cyber Science and Engineering, Hubei Key Laboratory of Distributed System Security, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100332568","display_name":"Zhen Li","orcid":"https://orcid.org/0000-0002-0001-2998"},"institutions":[{"id":"https://openalex.org/I3020662980","display_name":"Jinyintan Hospital","ror":"https://ror.org/038p1ty61","country_code":"CN","type":"healthcare","lineage":["https://openalex.org/I3020662980"]},{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Li","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","Jinyinhu Laboratory, Wuhan, China","Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Jinyinhu Laboratory, Wuhan, China","institution_ids":["https://openalex.org/I3020662980"]},{"raw_affiliation_string":"Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074676946","display_name":"Deqing Zou","orcid":"https://orcid.org/0000-0001-8534-5048"},"institutions":[{"id":"https://openalex.org/I3020662980","display_name":"Jinyintan Hospital","ror":"https://ror.org/038p1ty61","country_code":"CN","type":"healthcare","lineage":["https://openalex.org/I3020662980"]},{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Deqing Zou","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","Jinyinhu Laboratory, Wuhan, China","Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0001-8534-5048","affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Jinyinhu Laboratory, Wuhan, China","institution_ids":["https://openalex.org/I3020662980"]},{"raw_affiliation_string":"Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100403457","display_name":"Fan Zhang","orcid":"https://orcid.org/0000-0002-3658-9887"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fan Zhang","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, National Engineering Research Center for Big Data Technology and System, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022262922","display_name":"Hai Jin","orcid":"https://orcid.org/0000-0002-3934-7605"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hai Jin","raw_affiliation_strings":["National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0000-0002-3934-7605","affiliations":[{"raw_affiliation_string":"National Engineering Research Center for Big Data Technology and System, Services Computing Technology and System Lab, Hubei Engineering Research Center on Big Data Security, Hubei Key Laboratory of Distributed System Security, School of Cyber Science and Engineering, Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.8181,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.90621827,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"21","issue":"3","first_page":"3636","last_page":"3655"},"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.9998999834060669,"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.9998999834060669,"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.9919999837875366,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9684000015258789,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.884730339050293},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5951260924339294},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.574644923210144},{"id":"https://openalex.org/keywords/openflow","display_name":"OpenFlow","score":0.5578857660293579},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5357227921485901},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.5276692509651184},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5243449807167053},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4826122224330902},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.4587659239768982},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4573480784893036},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44023799896240234},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.4168861508369446},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.307092547416687},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17194265127182007},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.16302314400672913},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1507331132888794}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.884730339050293},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5951260924339294},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.574644923210144},{"id":"https://openalex.org/C192697461","wikidata":"https://www.wikidata.org/wiki/Q4045918","display_name":"OpenFlow","level":3,"score":0.5578857660293579},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5357227921485901},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.5276692509651184},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5243449807167053},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4826122224330902},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.4587659239768982},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4573480784893036},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44023799896240234},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4168861508369446},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.307092547416687},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17194265127182007},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.16302314400672913},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1507331132888794},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnsm.2024.3386404","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tnsm.2024.3386404","pdf_url":"https://ieeexplore.ieee.org/ielx7/4275028/5699970/10494990.pdf","source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"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 Transactions on Network and Service Management","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/tnsm.2024.3386404","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tnsm.2024.3386404","pdf_url":"https://ieeexplore.ieee.org/ielx7/4275028/5699970/10494990.pdf","source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"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 Transactions on Network and Service Management","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1434328829","display_name":null,"funder_award_id":"62372191","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"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394698969.pdf","grobid_xml":"https://content.openalex.org/works/W4394698969.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W1531996150","https://openalex.org/W1799150848","https://openalex.org/W1976430953","https://openalex.org/W1984451560","https://openalex.org/W1988774297","https://openalex.org/W2020999394","https://openalex.org/W2040340473","https://openalex.org/W2084915558","https://openalex.org/W2104588447","https://openalex.org/W2122109510","https://openalex.org/W2138230945","https://openalex.org/W2146077028","https://openalex.org/W2147118406","https://openalex.org/W2245908696","https://openalex.org/W2518827842","https://openalex.org/W2612205004","https://openalex.org/W2735985171","https://openalex.org/W2763704363","https://openalex.org/W2804791132","https://openalex.org/W2808025094","https://openalex.org/W2883042941","https://openalex.org/W2890515393","https://openalex.org/W2892351688","https://openalex.org/W2917397996","https://openalex.org/W2944171511","https://openalex.org/W2978234181","https://openalex.org/W2986931599","https://openalex.org/W2998148001","https://openalex.org/W3008407139","https://openalex.org/W3008852997","https://openalex.org/W3015751692","https://openalex.org/W3047181500","https://openalex.org/W3134682787","https://openalex.org/W4253647837","https://openalex.org/W4285305737","https://openalex.org/W4300423602","https://openalex.org/W4320913770","https://openalex.org/W4324007121","https://openalex.org/W4381054678","https://openalex.org/W6637389031","https://openalex.org/W6743419719","https://openalex.org/W6766546739","https://openalex.org/W6769828913","https://openalex.org/W6782007757","https://openalex.org/W6850022796"],"related_works":["https://openalex.org/W2051935741","https://openalex.org/W4211055425","https://openalex.org/W4243609393","https://openalex.org/W2292300552","https://openalex.org/W2926903444","https://openalex.org/W3042077637","https://openalex.org/W2560450376","https://openalex.org/W2553068154","https://openalex.org/W2772741848","https://openalex.org/W4293182269"],"abstract_inverted_index":{"Software-defined":[0],"Network":[1],"(SDN),":[2],"presented":[3],"to":[4,25,53,116],"be":[5,155],"a":[6,129,167],"novel":[7],"architecture":[8],"of":[9,12,15,37,50,58,72,83,108,132,139,170,191,201,236],"network":[10,26],"because":[11],"its":[13],"separation":[14],"data":[16],"plane":[17],"and":[18,23,64,86,89,146,160,163,219],"control":[19],"plane,":[20],"brings":[21],"centralization":[22],"extensibility":[24],"management":[27],"as":[28,30],"well":[29],"new":[31,239],"attacks":[32,223],"that":[33,44,153,210],"exploit":[34],"the":[35,42,48,54,59,62,65,81,101,104,125,137,140,150,171,180,183,188,192,196,234,237],"flexibility":[36],"SDN.":[38],"OpenFlow,":[39],"which":[40,202,227],"is":[41,45],"protocol":[43],"applied":[46],"by":[47,94,157],"majority":[49],"SDN,":[51],"leads":[52],"widely":[55],"used":[56],"definition":[57],"communication":[60],"between":[61],"controller":[63],"switch":[66],"resulting":[67],"in":[68,111],"similar":[69],"implementations":[70,96],"regardless":[71],"different":[73],"vendors.":[74],"In":[75],"this":[76],"paper,":[77],"we":[78],"focus":[79],"on":[80,124,178],"mechanisms":[82,107],"packet":[84],"processing":[85],"topology":[87],"discovery":[88,121],"their":[90,143],"fundamental":[91],"weaknesses":[92],"caused":[93],"general":[95],"or":[97],"device":[98],"limitations.":[99],"Despite":[100],"common":[102,189],"vulnerabilities,":[103],"universal":[105],"standard":[106],"basic":[109],"function":[110],"SDN":[112,133,141,172,193],"also":[113],"enlighten":[114],"us":[115],"present":[117],"an":[118,204],"automated":[119],"attack":[120,198,205,216],"method":[122,212],"based":[123],"formal":[126,168,175],"verification":[127,176],"with":[128,149,179,221],"generic":[130],"model":[131,169],"system.":[134,173],"We":[135,231],"describe":[136],"abstraction":[138],"components,":[142],"key":[144],"functions,":[145],"communications":[147],"along":[148],"malicious":[151,158,161],"operations":[152],"could":[154],"executed":[156],"hosts":[159],"switches":[162],"translate":[164],"them":[165],"into":[166],"The":[174],"carried":[177],"assertion":[181],"representing":[182],"security":[184],"properties":[185],"derived":[186],"from":[187],"vulnerabilities":[190],"system":[194],"reports":[195],"potential":[197],"paths":[199,217],"each":[200],"shows":[203,209],"process.":[206],"Our":[207],"evaluation":[208],"our":[211],"can":[213],"discover":[214],"feasible":[215],"efficiently":[218],"effectively,":[220],"23":[222],"being":[224],"identified,":[225],"among":[226],"2":[228,238],"are":[229],"new.":[230],"further":[232],"demonstrate":[233],"practicality":[235],"attacks.":[240]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":4}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}