Detection of Flow Violation in Distributed SDN Controller
暂无分享,去创建一个
[1] Vinod Yegneswaran,et al. Model checking invariant security properties in OpenFlow , 2013, 2013 IEEE International Conference on Communications (ICC).
[2] Nick McKeown,et al. OpenFlow: enabling innovation in campus networks , 2008, CCRV.
[3] Mabry Tyson,et al. A security enforcement kernel for OpenFlow networks , 2012, HotSDN '12.
[4] Robert Robere,et al. A Dynamic Algorithm for Loop Detection in Software Defined Networks , 2012 .
[5] Nick Feamster,et al. The road to SDN: an intellectual history of programmable networks , 2014, CCRV.
[6] Ehab Al-Shaer,et al. Modeling and Management of Firewall Policies , 2004, IEEE Transactions on Network and Service Management.
[7] George Varghese,et al. Header Space Analysis: Static Checking for Networks , 2012, NSDI.
[8] E. Al-Shaer,et al. Firewall Policy Advisor for anomaly discovery and rule editing , 2003, IFIP/IEEE Eighth International Symposium on Integrated Network Management, 2003..
[9] Qi Gao,et al. FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking , 2010, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis.
[10] Alan Jeffrey,et al. Model Checking Firewall Policy Configurations , 2009, 2009 IEEE International Symposium on Policies for Distributed Systems and Networks.
[11] Errin W. Fulp,et al. Towards Optimal Firewall Rule Ordering Utilizing Directed Acyclical Graphs , 2009, 2009 Proceedings of 18th International Conference on Computer Communications and Networks.