Z3: An Efficient SMT Solver, 2008. ,
DOI : 10.1007/978-3-540-78800-3_24
Network virtualization and software defined networking for cloud computing: a survey, IEEE Communications Magazine, vol.51, issue.11, 2013. ,
DOI : 10.1109/MCOM.2013.6658648
Unify d4.1: Initial requirements for the sp-devops concept, universal node capabilities and proposed tools (2014), https ,
Research Directions in Network Service Chaining, 2013 IEEE SDN for Future Networks and Services (SDN4FNS), pp.4-2013, 2013. ,
DOI : 10.1109/SDN4FNS.2013.6702549
Header space analysis: Static checking for networks, NSDI 12. USENIX, 2012. ,
Veriflow: Verifying network-wide invariants in real time, NSDI 13. USENIX, 2013. ,
m4.1: Sp-devops concept evolution and initial plans for prototyping (2014), https ,
Verifying isolation properties in the presence of middleboxes, p.7687, 2014. ,
A security enforcement kernel for OpenFlow networks, Proceedings of the first workshop on Hot topics in software defined networks, HotSDN '12, 2012. ,
DOI : 10.1145/2342441.2342466
URL : http://faculty.cse.tamu.edu/guofei/paper/FortNOX-HotSDN12.pdf
DevOps For Dummies, Limited IBM Edition' book, 2013. ,
Model checking invariant security properties in OpenFlow, 2013 IEEE International Conference on Communications (ICC), pp.1974-1979, 2013. ,
DOI : 10.1109/ICC.2013.6654813