Toward Automated Attack Discovery in SDN Controllers Through Formal Verification-Reference-Cited by-同舟云学术

Toward Automated Attack Discovery in SDN Controllers Through Formal Verification

Published:2024-06 Issue:3 Volume:21 Page:3636-3655
ISSN:1932-4537
Container-title:IEEE Transactions on Network and Service Management
language:
Short-container-title:IEEE Trans. Netw. Serv. Manage.

Author:

Yuan Bin¹^ORCID,Zhang Chi¹^ORCID,Ren Jiajun¹,Chen Qunjinming¹,Xu Biang¹,Zhang Qiankun²^ORCID,Li Zhen¹,Zou Deqing¹^ORCID,Zhang Fan¹,Jin Hai¹^ORCID

Affiliation:

1. 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

2. 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

Funder

National Natural Science Foundation of China

National Key R&D Plan of China

Hubei Province Key R&D Technology Special Innovation Project

Wuhan Applied Foundational Frontier Project

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Link

http://xplorestaging.ieee.org/ielx7/4275028/10599562/10494990.pdf?arnumber=10494990

Reference62 articles.

1. Software Defined Networks

2. OpenFlow

3. A survey of network update in SDN

4. A survey on software defined networking and its applications

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enhancing the Security of Software-Defined Networking through Forensic Memory Analysis;Journal of Network and Systems Management;2024-08-25

2. Security of Topology Discovery Service in SDN: Vulnerabilities and Countermeasures;IEEE Open Journal of the Communications Society;2024