Detection mechanisms of rule conflicts in SDN based on a path-tree model
暂无分享,去创建一个
Jie Gao | Wei Hao | YiMing Jiang | Wei Hao | Yiming Jiang | Jie Gao
[1] Yang Xiang,et al. Path-tree: An efficient reachability indexing scheme for large directed graphs , 2011, TODS.
[2] Mabry Tyson,et al. A security enforcement kernel for OpenFlow networks , 2012, HotSDN '12.
[3] Brighten Godfrey,et al. VeriFlow: verifying network-wide invariants in real time , 2012, HotSDN '12.
[4] Nick McKeown,et al. OpenFlow: enabling innovation in campus networks , 2008, CCRV.
[5] George Varghese,et al. Usenix Association 10th Usenix Symposium on Networked Systems Design and Implementation (nsdi '13) 99 Real Time Network Policy Checking Using Header Space Analysis , 2022 .