1Wen Xitao, Chen Yan, Hu Chengchen, Shi Chao. Towards a secure controller platform for OpenFlow applications//Proceedings of the ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN13). Hong Kong, China, 2013:171-172.
2Kreutz D, Ramos F, Verissimo P. Towards secure and dependable software-defined networks//Proceedings of the ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN13). Hong Kong, China, 2013:55-60.
3Kazemian P, Varghese G, McKeown N. Header space analysis: Static checking for networks//Proceedings of the 9th USENIX Symposium on Network Systems Design and Imple- mentation (NSDI). San Jose, USA, 2012:3-5.
4Kazemian P, Chang M, Zeng Hongyi. Real time network policy checking using header space analysis//Proceedings of the 9th USENIX Symposium on Network Systems Design and Implementation (NSDI). Lombard, USA, 2013.. 4-6.
5Porras P, Shin S, Yegneswaran V, Fong M. A security enforcement kernel for OpenFlow networks//Proceedings of the ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN2012). New York, USA, 2012:123-125.
6Sherwood R, Gibb G, Yap K K, et al. FlowVisor: A network virtualization layer. OpenFlow Switch Consortium, CA, USA: OPENFLOW-TR-2009-1, 2009.
7Son S, Shin S, Yegneswaran V, Porras P. Model checking invariant security properties in OpenF|ow//Vroceedings of the IEEE International Conference on Communications (ICC' 2013). Budapest, Hungary, 2013:2-6.
8Monsanto C, Reich J, Foster N, Rexford J, Walker D. Composing software defined networks//Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation. Berkeley, USA, 2013:1-14.
9Mai H, Khurshid A, Agarwal R, et al. Debugging the data plane with anteater. ACM SIGCOMM Computer Communi- cation Review, 2011, 41(4): 290-301.
10A1-Shaer E, A1-Haj S. FlowCheeker: Configuration analysis and verification of federated OpenFlow infrastructures// Proceedings of the 3rd ACM Workshop on Assurable and Usable Security Configuration. Chicago, USA, 2010: 37-44.
