{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T15:39:49Z","timestamp":1781797189134,"version":"3.54.5"},"reference-count":62,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62372191"],"award-info":[{"award-number":["62372191"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key R&D Plan of China","award":["2022YFB3103403"],"award-info":[{"award-number":["2022YFB3103403"]}]},{"name":"Hubei Province Key R&D Technology Special Innovation Project","award":["2021BAA032"],"award-info":[{"award-number":["2021BAA032"]}]},{"name":"Wuhan Applied Foundational Frontier Project","award":["2020010601012188"],"award-info":[{"award-number":["2020010601012188"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Netw. Serv. Manage."],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1109\/tnsm.2024.3386404","type":"journal-article","created":{"date-parts":[[2024,4,10]],"date-time":"2024-04-10T14:16:28Z","timestamp":1712758588000},"page":"3636-3655","source":"Crossref","is-referenced-by-count":15,"title":["Toward Automated Attack Discovery in SDN Controllers Through Formal Verification"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5365-904X","authenticated-orcid":false,"given":"Bin","family":"Yuan","sequence":"first","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-6380-6983","authenticated-orcid":false,"given":"Chi","family":"Zhang","sequence":"additional","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiajun","family":"Ren","sequence":"additional","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qunjinming","family":"Chen","sequence":"additional","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Biang","family":"Xu","sequence":"additional","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8034-2689","authenticated-orcid":false,"given":"Qiankun","family":"Zhang","sequence":"additional","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhen","family":"Li","sequence":"additional","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8534-5048","authenticated-orcid":false,"given":"Deqing","family":"Zou","sequence":"additional","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fan","family":"Zhang","sequence":"additional","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3934-7605","authenticated-orcid":false,"given":"Hai","family":"Jin","sequence":"additional","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/c2013-0-00167-3"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-016-6125-y"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-015-3448-z"},{"key":"ref5","volume-title":"OpenFlow discovery protocol.","year":"2023"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-018-8048-2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-017-9439-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354194"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23283"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00047"},{"key":"ref12","first-page":"415","article-title":"Identifier binding attacks and defenses in software-defined networks","volume-title":"Proc. 26th USENIX Secur. Symp.","author":"Jero"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2015.7366363"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23064"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491220"},{"key":"ref16","first-page":"19","article-title":"The crosspath attack: Disrupting the SDN control channel via shared links","volume-title":"Proc. 28th USENIX Secur. Symp.","author":"Cao"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2015.27"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660353"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.23040"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23457"},{"key":"ref21","first-page":"127","article-title":"A NICE way to test openflow applications","volume-title":"Proc. 9th USENIX Symp. Netw. Syst. Design Implement.","author":"Canini"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/EWSDN.2012.21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00470-5_8"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-022-3593-7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491201"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679403"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594317"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987609"},{"key":"ref29","volume-title":"The nox controller.","year":"2023"},{"key":"ref30","volume-title":"How to write an application in floodlight SDN controller.","year":"2023"},{"key":"ref31","volume-title":"How to write an application in OpenDaylight SDN controller.","year":"2023"},{"key":"ref32","volume-title":"Ryubook.","year":"2023"},{"key":"ref33","volume-title":"Ryubook.","year":"2023"},{"key":"ref34","volume-title":"Promela.","year":"2023"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2023.23068"},{"key":"ref36","first-page":"1183","article-title":"Shattered chain of trust: Understanding security risks in cross-cloud IoT access delegation","volume-title":"Proc. 29th USENIX Secur. Symp.","author":"Yuan"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3185089.3185138"},{"key":"ref38","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","volume-title":"Proc. 17th USENIX Symp. Netw. Syst. Design Implement.","author":"Prabhu"},{"key":"ref39","volume-title":"The Open vSwitch Database Management Protocol","year":"2023"},{"key":"ref40","volume-title":"NETCONF configuration protocol.","year":"2023"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66332-6_14"},{"key":"ref42","volume-title":"Open vSwitch.","year":"2023"},{"key":"ref43","article-title":"Systematizing attacks and defenses in software-defined networking: A survey","author":"Kim","year":"2023","journal-title":"TechRxiv"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2846236"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2017.2720758"},{"key":"ref46","volume-title":"Mininet.","year":"2023"},{"key":"ref47","volume-title":"The pox network software platform.","year":"2023"},{"key":"ref48","volume-title":"Ryu.","year":"2023"},{"key":"ref49","volume-title":"Floodlight OpenFlow controller (OSS).","year":"2023"},{"key":"ref50","volume-title":"ONOS: Open network operating system.","year":"2023"},{"key":"ref51","volume-title":"OpenDaylight controller project.","year":"2023"},{"key":"ref52","first-page":"4463","article-title":"Intender: Fuzzing intent-based networking with intent-state transition guidance","volume-title":"Proc. 32nd USENIX Secur. Symp.","author":"Kim"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM41043.2020.9155378"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24080"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00017"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243799"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31280-0_12"},{"key":"ref58","volume-title":"Topology zoo dataset","year":"2023"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2022.3169136"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848453"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-018-9826-x"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/DRCN51631.2021.9477393"}],"container-title":["IEEE Transactions on Network and Service Management"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4275028\/10599562\/10494990.pdf?arnumber=10494990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T20:06:25Z","timestamp":1780430785000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10494990\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6]]},"references-count":62,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tnsm.2024.3386404","relation":{},"ISSN":["1932-4537","2373-7379"],"issn-type":[{"value":"1932-4537","type":"electronic"},{"value":"2373-7379","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6]]}}}