Sign in
Dynamic Packet Forwarding Verification in SDN.
Qi Li
Xiaoyue Zou
Qun Huang
Jing Zheng
Patrick P. C. Lee
Published in:
IEEE Trans. Dependable Secur. Comput. (2019)
Keyphrases
</>
packet forwarding
model checking
formal methods