×
2024
Toward Automated Attack Discovery in SDN Controllers Through Formal Verification.
[DOI]
Bin Yuan
,
Chi Zhang
,
Jiajun Ren
,
Qunjinming Chen
,
Biang Xu
,
Qiankun Zhang
,
Zhen Li
,
Deqing Zou
,
Fan Zhang
,
Hai Jin
IEEE Trans. Netw. Serv. Manag., June, 2024