[1] McKEOWN N. Software-defined networking[J]. International Conference on Computer Communications Keynote Talk, 2009, 17(2): 30-32. [2] McKEOWN N, ANDERSON T, BALAKRISHNAN H, et al.OpenFlow: enabling innovation in campus networks[J]. ACM Special Interest Group on Data Communication Computer Communication Review, 2008, 38(2): 69-74. [3] ZUO Q, CHEN M, ZHAO G, et al.Research on OpenFlow-based SDN technologies[J]. Journal of Software, 2013, 24(5):1078-1097. (左青云, 陈鸣, 赵广松, 等. 基于 Open Flow 的 SDN 技术研究[J]. 软件学报, 2013, 24(5): 1078-1097.) [4] OpenFlow switch consortium. OpenFlow switch specification version 1.0. 0[J/OL]. [2015-03-01]. https://www.opennetworking.org/images/stories/downloads/sdn-resources/onf-specifications/openflow/openflow-spec-v1.0.0.pdf. [5] PORRAS P, SHIN S, YEGNESWARAN V, et al.A security enforcement kernel for OpenFlow networks[C]// Proceedings of the 1st Workshop on Hot Topics in Software Defined Networks. New York: ACM, 2012: 121-126. [6] KAZEMIAN P, CHAN M, ZENG H, et al.Real time network policy checking using header space analysis[C]// Proceedings of the 10th USENIX Symposium on Networked System Design and Implementation. Berkeley: USENIX, 2013: 99-111. [7] KANG N, LIU Z, REXFORD J, et al.Optimizing the one big switch abstraction in software-defined networks[C]// Proceedings of the 9th ACM Conference on Emerging Networking Experiments and Technologies. New York: ACM, 2013: 13-24. [8] MONSANTO C, REICH J, FOSTER N, et al.Composing software defined networks[C]// Proceedings of the 10th USENIX Symposium on Networked System Design and Implementation. Berkeley: USENIX, 2013: 1-13. [9] HU H, HAN W, AHN G J, et al.FLOWGUARD: building robust firewalls for software-defined networks[C]// Proceedings of the 3rd Workshop on Hot Topics in Software Defined Networking. New York: ACM, 2014: 97-102. [10] AL-SHAER E, AL-HAJ S. FlowChecker: configuration analysis and verification of federated OpenFlow infrastructures[C]// Proceedings of the 3rd ACM Workshop on Assurable and Usable Security Configuration. New York: ACM, 2010: 37-44. [11] MAI H, KHURSHID A, AGARWAL R, et al.Debugging the data plane with anteater[J]. ACM Special Interest Group on Data Communication Computer Communication Review, 2011, 41(4): 290-301. [12] KAZEMIAN P, VARGHESE G, McKEOWN N. Header space analysis: static checking for networks[C]// Proceedings of the 9th USENIX Symposium on Networked System Design and Implementation. Berkeley: USENIX, 2012: 113-126. [13] KHURSHID A, ZHOU W, CAESAR M, et al.VeriFlow: verifying network-wide invariants in real time[J]. ACM Special Interest Group on Data Communication Computer Communication Review, 2012, 42(4): 467-472. [14] ZENG H, ZHANG S, YE F, et al.Libra: divide and conquer to verify forwarding tables in huge networks[C]// Proceedings of the 11th USENIX Symposium on Networked System Design and Implementation. Berkeley: USENIX, 2014, 14: 87-99. [15] Header space library and NetPlumber [CP/OL]. [2015-03-04] https://bitbucket.org /peymank/ hassel-public/ |