Toward Automated Attack Discovery in SDN Controllers Through Formal Verification. - Bin Yuan; Chi Zhang; Jiajun Ren; Qunjinming Chen; Biang Xu; Qiankun Zhang; Zhen Li 027; Deqing Zou; Fan Zhang 024; Hai Jin 001 (IEEE Trans. Netw. Serv. Manag., 2024)