Login / Signup
Toward Automated Attack Discovery in SDN Controllers Through Formal Verification.
Bin Yuan
Chi Zhang
Jiajun Ren
Qunjinming Chen
Biang Xu
Qiankun Zhang
Zhen Li
Deqing Zou
Fan Zhang
Hai Jin
Published in:
IEEE Trans. Netw. Serv. Manag. (2024)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
process algebra
program slicing
semi automated
knowledge discovery
automated analysis
secret key
data mining
temporal logic
control system
formal specification
reinforcement learning