A Survey on SDN Programming Languages: Toward a Taxonomy

IEEE Communications Surveys and Tutorials

Volumn 18, Issue 4, 2016, Pages 2687-2712

  Trois, Celio ^a   Del Fabro, Marcos D ^a   De Bona, Luis C E ^a   Martinello, Magnos ^b  

^a FEDERAL UNIVERSITY OF PARANÁ   (Brazil)

^b FEDERAL UNIVERSITY OF ESPÍRITO SANTO   (Brazil)

Author keywords

language classification; northbound interface; programming languages; Software defined networking

Indexed keywords

ABSTRACTING; APPLICATION PROGRAMMING INTERFACES (API); COMPUTER PROGRAMMING LANGUAGES; SOFTWARE DEFINED NETWORKING; SURVEYS; TAXONOMIES;

BLACK BOXES; NETWORK DEVICES; OPENFLOW; PROGRAMMING ERRORS; PROMINENT FEATURES; RESEARCH EFFORTS; SOFTWARE DEFINED NETWORKING (SDN); USER REQUIREMENTS;

HIGH LEVEL LANGUAGES;

EID: 84999751303     PISSN: None     EISSN: 1553877X     Source Type: Journal    
DOI: 10.1109/COMST.2016.2553778     Document Type: Review

References (176)

1. ONF. (Apr. 2012). Software-Defined Networking: The New Norm for Networks. [Online]. Available: https://www.opennetworking.org/images/stories/downloads/sdn-resources/white-papers/wp-sdnnewnorm.pdf
2. ONF. (May 2015). SDN Architecture Overview. [Online]. Available: https://www.opennetworking.org/images/stories\\/downloads/sdn-resources/technical-reports/SDN-architectureoverview-1.0.pdf
3. A. Lara, A. Kolasani, and B. Ramamurthy, "Network innovation using OpenFlow: A survey," IEEE Commun. Surveys Tuts., vol. 16, no. 1, pp. 493-512, Mar. 2014.
4. B. A. A. Nunes, M. Mendonca, X.-N. Nguyen, K. Obraczka, and T. Turletti, "A survey of software-defined networking: Past, present, and future of programmable networks," IEEE Commun. Surveys Tuts., vol. 16, no. 3, pp. 1617-1634, Sep. 2014.
5. F. Hu, Q. Hao, and K. Bao, "A survey on software-defined network and OpenFlow: From concept to implementation," IEEE Commun. Surveys Tuts., vol. 16, no. 4, pp. 2181-2206, Dec. 2014.
6. Y. Jarraya, T. Madi, and M. Debbabi, "A survey and a layered taxonomy of software-defined networking," IEEE Commun. Surveys Tuts., vol. 16, no. 4, pp. 1955-1980, Dec. 2014.
7. K. Suzuki et al., "A survey on OpenFlow technologies," IEICE Trans. Commun., vol. 97, no. 2, pp. 375-386, Feb. 2014.
8. W. Xia, Y. Wen, C. H. Foh, D. Niyato, and H. Xie, "A survey on software-defined networking," IEEE Commun. Surveys Tuts., vol. 17, no. 1, pp. 27-51, Mar. 2015.
9. D. Kreutz et al., "Software-defined networking: A comprehensive survey," Proc. IEEE, vol. 103, no. 1, pp. 14-76, Jan. 2015.
10. H. Farhady, H. Lee, and A. Nakao, "Software-defined networking: A survey," Comput. Netw., vol. 81, pp. 79-95, Apr. 2015.
11. R. Jain and S. Paul, "Network virtualization and software defined networking for cloud computing: A survey," IEEE Commun. Mag., vol. 51, no. 11, pp. 24-31, Nov. 2013.
12. A. Blenk, A. Basta, M. Reisslein, and W. Kellerer, "Survey on network virtualization hypervisors for software defined networking," IEEE Commun. Surveys Tuts., vol. 18, no. 1, pp. 655-685, Mar. 2016.
13. S. Scott-Hayward, G. O'Callaghan, and S. Sezer, "SDN security: A survey," in Proc. IEEE SDN Future Netw. Services (SDN4FNS), Trento, Italy, 2013, pp. 1-7.
14. J. François, L. Dolberg, O. Festor, and T. Engel, "Network security through software defined networking: A survey," in Proc. Conf. Prin. Syst. Appl. IP Telecommun., Chicago, IL, USA, 2014, Art. no. 6.
15. S. Scott-Hayward, S. Natarajan, and S. Sezer, "A survey of security in software defined networks," IEEE Commun. Surveys Tuts., vol. 18, no. 1, pp. 623-654, Mar. 2016.
16. J. Proença, T. Cruz, E. Monteiro, and P. Simões, "How to use software-defined networking to improve security-A survey," in Proc. 14th Eur. Conf. Cyber Warfare Security (ECCWS), Hatfield, U.K., 2015, p. 220.
17. S. T. Ali, V. Sivaraman, A. Radford, and S. Jha, "A survey of securing networks using software defined networking," IEEE Trans. Rel., vol. 64, no. 3, pp. 1086-1097, Sep. 2015.
18. M. Yang et al., "Software-defined and virtualized future mobile and wireless networks: A survey," Mobile Netw. Appl., vol. 20, no. 1, pp. 4-18, 2014.
19. N. A. Jagadeesan and B. Krishnamachari, "Software-defined networking paradigms in wireless networks: A survey," ACM Comput. Surveys (CSUR), vol. 47, no. 2, 2014, Art. no. 27.
20. C. Liang and F. R. Yu, "Wireless network virtualization: A survey, some research issues and challenges," IEEE Commun. Surveys Tuts., vol. 17, no. 1, pp. 358-380, Mar. 2015.
21. P. Bhaumik et al., "Software-defined optical networks (SDONs): A survey," Photon. Netw. Commun., vol. 28, no. 1, pp. 4-18, 2014.
22. X. Chen and Y. Zhang, "Intelligence on optical transport SDN," Int. J. Comput. Commun. Eng., vol. 4, no. 1, pp. 5-8, 2015.
23. I. F. Akyildiz, A. Lee, P. Wang, M. Luo, and W. Chou, "A roadmap for traffic engineering in SDN-OpenFlow networks," Comput. Netw., vol. 71, pp. 1-30, Oct. 2014.
24. W. Gu, X. Zhang, B. Gong, and L. Wang, "A survey of multicast in software-defined networking," in Proc. 5th Int. Conf. Inf. Eng. Mech. Mater. (ICIMM), Hohhot, China, 2015, pp. 1096-1100.
25. R. Khondoker, A. Zaalouk, R. Marx, and K. Bayarou, "Feature-based comparison and selection of software defined networking (SDN) controllers," in Proc. World Congr. Comput. Appl. Inf. Syst. (WCCAIS), Hammamet, Tunisia, 2014, pp. 1-7.
26. S. K. N. Rao. (Apr. 2015). SDN and its Use-Cases-NV and NFV. [Online]. Available: http://www.nectechnologies.in/en-TI/pdf/NTI-whitepaper-SDN-NFV.pdf
27. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, "Feature-oriented domain analysis (FODA) feasibility study," Softw. Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA, Tech. Rep. CMU/SEI-90-TR-21, 1990.
28. N. Feamster and H. Balakrishnan, "Detecting BGP configuration faults with static analysis," in Proc. 2nd Conf. Symp. Netw. Syst. Design Implementation, vol. 2. 2005, pp. 43-56.
29. B. Lantz, B. Heller, and N. McKeown, "A network in a laptop: Rapid prototyping for software-defined networks," in Proc. 9th ACM SIGCOMM Workshop Hot Topics Netw., New York, NY, USA, 2010, Art. no. 19.
30. N. Kang, Z. Liu, J. Rexford, and D. Walker, "Optimizing the 'one big switch' abstraction in software-defined networks," in Proc. 9th ACM Conf. Emerg. Netw. Experiments Technol., Santa Barbara, CA, USA, 2013, pp. 13-24.
31. N. McKeown et al., "OpenFlow: Enabling innovation in campus networks," ACM SIGCOMM Comput. Commun. Rev., vol. 38, no. 2, pp. 69-74, 2008.
32. R. Enns, M. Bjorklund, J. Schoenwaelder, and A. Bierman, Network Configuration Protocol (NETCONF), document RFC 6241, Internet Requests for Comments, Internet Eng. Task Force, Fremont, CA, USA, Jun. 2011. [Online]. Available: http://www.rfc-editor.org/rfc/rfc6241.txt
33. B. Pfaff and B. Davie, The Open vSwitch Database Management Protocol, document RFC 7047, Internet Requests for Comments, Internet Eng. Task Force, Fremont, CA, USA, Dec. 2013. [Online]. Available: http://www.rfc-editor.org/rfc/rfc7047.txt
34. D. Farinacci, V. Fuller, D. Meyer, and D. Lewis, The Locator/ID Separation Protocol (LISP), document RFC 6830, Internet Requests for Comments, Internet Eng. Task Force, Fremont, CA, USA, Jan. 2013. [Online]. Available: http://www.rfc-editor.org/rfc/rfc6830.txt
35. J. Yu, X. Wang, J. Song, Y. Zheng, and H. Song, "Forwarding programming in protocol-oblivious instruction set," in Proc. IEEE 22nd Int. Conf. Netw. Protocols (ICNP), Raleigh, NC, USA, 2014, pp. 577-582.
36. M. Smith et al., "OpFlex control protocol," Working Draft, IETF Secretariat, Fremont, CA, USA, Apr. 2014. [Online]. Available: http://www.ietf.org/internet-drafts/draft-smith-opflex-00.txt
37. A. Autenrieth, J.-P. Elbers, P. Kaczmarek, and P. Kostecki, "Cloud orchestration with SDN/OpenFlow in carrier transport networks," in Proc. 15th Int. Conf. Transparent Opt. Netw. (ICTON), Cartagena, Colombia, 2013, pp. 1-4.
38. M. Banikazemi, D. Olshefski, A. Shaikh, J. Tracey, and G. Wang, "Meridian: An SDN platform for cloud network services," IEEE Commun. Mag., vol. 51, no. 2, pp. 120-127, Feb. 2013.
39. V. Kotronis et al., "Control exchange points: Providing QoS-enabled end-to-end services via SDN-based inter-domain routing orchestration," in Presented as Part of the Open Networking Summit 2014 (ONS 2014). Santa Clara, CA, USA: USENIX, 2014. [Online]. Available: https://www.usenix.org/conference/ons2014/technical-sessions/presentation/kotronis
40. C. Yin, T.-C. Kuo, T.-Y. Li, M.-C. Chang, and B.-H. Liao, "Mediating between OpenFlow and legacy transport networks for bandwidth on-demand services," in Proc. 16th Asia Pac. Netw. Oper. Manag. Symp. (APNOMS), Hsinchu, Taiwan, 2014, pp. 1-4.
41. R. Sherwood et al., "Flowvisor: A network virtualization layer," OpenFlow Switch Consortium, Tech. Rep., Oct. 2009. [Online]. Available: http://archive.openflow.org/downloads/technicalreports/openflow-tr-2009-1-flowvisor.pdf
42. M. Casado, T. Koponen, R. Ramanathan, and S. Shenker, "Virtualizing the network forwarding plane," in Proc. Workshop Program. Routers Extensible Services Tomorrow, Philadelphia, PA, USA, 2010, Art. no. 8.
43. D. Drutskoy, E. Keller, and J. Rexford, "Scalable network virtualization in software-defined networks," IEEE Internet Comput., vol. 17, no. 2, pp. 20-27, Mar./Apr. 2013.
44. T. Koponen et al., "Network virtualization in multi-tenant datacenters," in Proc. USENIX NSDI, Seattle, WA, USA, 2014, pp. 203-216.
45. N. Gude et al., "NOX: Towards an operating system for networks," ACM SIGCOMM Comput. Commun. Rev., vol. 38, no. 3, pp. 105-110, 2008.
46. M. McCauley. (Dec. 2015). About POX. [Online]. Available: http://www.noxrepo.org/pox/about-pox/
47. D. Erickson, "The Beacon OpenFlow controller," in Proc. 2nd ACM SIGCOMM Workshop Hot Topics Softw. Defined Netw., Hong Kong, 2013, pp. 13-18.
48. Ryu. (Apr. 2015). Ryu SDN Framework. [Online]. Available: http://osrg.github.io/ryu/
49. B. S. Networks. (Apr. 2015). Project Floodlight. [Online]. Available: http://www.projectfloodlight.org/
50. J. Medved, R. Varga, A. Tkacik, and K. Gray, "OpenDaylight: Towards a model-driven SDN controller architecture," in Proc. IEEE 15th Int. Symp. World Wireless Mobile Multimedia Netw., Sydney, NSW, Australia, 2014, pp. 1-6.
51. H. Julkunen and C. E. Chow, "Enhance network security with dynamic packet filter," in Proc. 7th Int. Conf. Comput. Commun. Netw., Lafayette, LA, USA, 1998, pp. 268-275.
52. M. Mernik, J. Heering, and A. M. Sloane, "When and how to develop domain-specific languages," ACM Comput. Surveys (CSUR), vol. 37, no. 4, pp. 316-344, 2005.
53. J. Reich, C. Monsanto, N. Foster, J. Rexford, and D. Walker, "Modular SDN programming with pyretic," USENIX, vol. 38, no. 5, Oct. 2013.
54. B. Pfaff et al., "Extending networking into the virtualization layer," in Proc. 8th ACM Workshop Hot Topics Netw. HotNets-VIII (HOTNETS), New York, NY, USA, Oct. 2009, pp. 1-6.
55. C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker, "Composing software-defined networks," in Proc. NSDI, Lombard, IL, USA, 2013, pp. 1-14.
56. A. Van Deursen, P. Klint, and J. Visser, "Domain-specific languages: An annotated bibliography," Sigplan Notices, vol. 35, no. 6, pp. 26-36, 2000.
57. R. Soulé, S. Basu, R. Kleinberg, E. G. Sirer, and N. Foster, "Managing the network with Merlin," in Proc. 12th ACM Workshop Hot Topics Netw., College Park, MD, USA, 2013, p. 24.
58. D. Batory, "Feature models, grammars, and propositional formulas," in Proc. 9th Int. Conf. Softw. Product Lines (SPLC), Rennes, France, 2005, pp. 7-20. [Online]. Available: http://dx.doi.org/10.1007/11554844-3
59. T. L. Hinrichs, N. S. Gude, M. Casado, J. C. Mitchell, and S. Shenker, "Practical declarative network management," in Proc. 1st ACM Workshop Res. Enterprise Netw., Barcelona, Spain, 2009, pp. 1-10.
60. A. Voellmy, A. Agarwal, and P. Hudak, "Nettle: Functional reactive programming for OpenFlow networks," Dept. Comput. Sci., Yale Univ., New Haven, CT, USA, Tech. Rep. YALEU/DCS/RR-1431, 2010.
61. N. Foster et al., "Frenetic: A high-level language for OpenFlow networks," in Proc. Workshop Program. Routers Extensible Services Tomorrow, Philadelphia, PA, USA, 2010, Art. no. 6.
62. A. Voellmy, H. Kim, and N. Feamster, "Procera: A language for highlevel reactive network control," in Proc. 1st Workshop Hot Topics Softw. Defined Netw., Helsinki, Finland, 2012, pp. 43-48.
63. N. P. Katta, J. Rexford, and D. Walker, "Logic programming for software-defined networks," in Proc. Workshop Cross Model Design Validation (XLDI), vol. 412. Copenhagen, Denmark, 2012, pp. 5-7.
64. R. Soulé et al., "Merlin: A language for provisioning network resources," in Proc. 10th ACM Int. Conf. Emerg. Netw. Experiments Technol., Sydney, NSW, Australia, 2014, pp. 213-226.
65. B. L. A. Batista and M. P. Fernandez, "PonderFlow: A policy specification language for OpenFlow networks," in Proc. ICN, San Francisco, CA, USA, 2014, p. 215.
66. C. Trois, M. Martinello, L. Bona, and M. Del Fabro, "From software defined network to network defined for software," in Proc. ACM Symp. Appl. Comput., Salamanca, Spain, 2015, pp. 665-668.
67. B. Salisbury. (May 2013). OpenFlow: Proactive vs Reactive Flows. [Online]. Available: http://networkstatic.net/openflow-proactivevs-reactive-flows/
68. M. P. Fernandez, "Comparing OpenFlow controller paradigms scalability: Reactive and proactive," in Proc. IEEE 27th Int. Conf. Adv. Inf. Netw. Appl. (AINA), Barcelona, Spain, 2013, pp. 1009-1016.
69. C. Monsanto, N. Foster, R. Harrison, and D. Walker, "A compiler and run-time system for network programming languages," ACM SIGPLAN Notices, vol. 47, no. 1, pp. 217-230, 2012.
70. N. Foster et al., "Languages for software-defined networks," IEEE Commun. Mag., vol. 51, no. 2, pp. 128-134, Feb. 2013.
71. C. J. Anderson et al., "NetKAT: Semantic foundations for networks," ACM SIGPLAN Notices, vol. 49, no. 1, pp. 113-126, 2014.
72. T. Nelson, A. Guha, D. J. Dougherty, K. Fisler, and S. Krishnamurthi, "A balance of power: Expressive, analyzable controller programming," in Proc. 2nd ACM SIGCOMM Workshop Hot Topics Softw. Defined Netw., Hong Kong, 2013, pp. 79-84.
73. M. Reitblatt, M. Canini, A. Guha, and N. Foster, "FatTire: Declarative fault tolerance for software-defined networks," in Proc. 2nd ACM SIGCOMM Workshop Hot Topics Softw. Defined Netw., Hong Kong, 2013, pp. 109-114.
74. H. Kim et al., "Kinetic: Verifiable dynamic network control," in Proc. USENIX NSDI, Oakland, CA, USA, 2015, pp. 59-72.
75. G. N. Stone, B. Lundy, and G. G. Xie, "Network policy languages: A survey and a new approach," IEEE Netw., vol. 15, no. 1, pp. 10-21, Jan./Feb. 2001.
76. P. Van Roy, "Programming paradigms for dummies: What every programmer should know," New Comput. Paradigms Comput. Music, vol. 104, pp. 9-38, Jun. 2009.
77. A. Mottola, "Design and implementation of a declarative programming language in a reactive environment," Ph.D. dissertation, Dept. Comput. Eng., Università degli Studi di Roma, Rome, Italy, 2005.
78. J. Qadir and O. Hasan, "Applying formal methods to networking: Theory, techniques, and applications," IEEE Commun. Surveys Tuts., vol. 17, no. 1, pp. 256-291, Mar. 2015.
79. K. Sharan, Harnessing Java 7: A Comprehensive Approach to Learning Java, vol. 1, CreateSpace Independent Platform, 2012.
80. J. W. Lloyd, Foundations of Logic Programming. Heidelberg, Germany: Springer, 2012.
81. W. Clocksin and C. S. Mellish, Programming in PROLOG, 5th ed. Heidelberg, Germany: Springer, 2003.
82. V. Lifschitz, "What is answer set programming?" in Proc. AAAI, vol. 3. Chicago, IL, USA, 2008, pp. 1594-1597.
83. N. Li and J. C. Mitchell, "DATALOG with constraints: A foundation for trust management languages," in Practical Aspects of Declarative Languages. Heidelberg, Germany: Springer, 2003, pp. 58-73.
84. G. Üçoluk and S. Kalkan, Introduction to Programming Concepts With Case Studies in Python. Vienna, Austria: Springer, 2012. [Online]. Available: http://dx.doi.org/10.1007/978-3-7091-1343-1
85. T. Nelson, A. D. Ferguson, M. J. G. Scheer, and S. Krishnamurthi, "Tierless programming and reasoning for software-defined networks," in Proc. NSDI, Seattle, WA, USA, 2014, pp. 519-531.
86. S. Ferg, Event-Driven Programming: Introduction, Tutorial, History. Autoedicion, Feb. 2006. [Online]. Available: http://www.etnassoft.com/biblioteca/event-driven-programmingintroduction-tutorial-history/
87. J. Armstrong, Programming Erlang. Raleigh, NC, USA: Pragmatic Bookshelf, 2013.
88. D. Rémy, "Using, understanding, and unraveling the OCaml language from practice to theory and vice versa," in Applied Semantics. Heidelberg, Germany: Springer, 2002, pp. 413-536.
89. S. D. Halloway, Programming Clojure. Raleigh, NC, USA: Pragmatic Bookshelf, 2009.
90. S. Thompson, Haskell: The Craft of Functional Programming, vol. 2. Reading, MA, USA: Addison-Wesley, 1999.
91. E. Bainomugisha, A. L. Carreton, T. Van Cutsem, S. Mostinckx, and W. De Meuter, "A survey on reactive programming," ACM Comput. Surveys, vol. 45, no. 4, 2012, Art. no. 52.
92. Z. Wan and P. Hudak, "Functional reactive programming from first principles," ACM SIGPLAN Not., vol. 35, no. 5, pp. 242-252, 2000.
93. E. Amsden. (Jan. 2011). A Survey of Functional Reactive Programming. [Online]. Available: www.cs.rit.edu/eca7215/frp-independent-study/Survey.pdf
94. E. Czaplicki and S. Chong, "Asynchronous functional reactive programming for GUIs," ACM SIGPLAN Not., vol. 48, no. 6, pp. 411-422, 2013.
95. L. A. Meyerovich et al., "Flapjax: A programming language for Ajax applications," in ACM SIGPLAN Not., vol. 44, no. 10, pp. 1-20, 2009.
96. A. Courtney, H. Nilsson, and J. Peterson, "The Yampa arcade," in Proc. ACM SIGPLAN Workshop Haskell, New York, NY, USA, 2003, pp. 7-18.
97. M. Shaw, "Abstraction techniques in modern programming languages," IEEE Softw., vol. 1, no. 4, pp. 10-26, Oct. 1984.
98. C. Szyperski, J. Bosch, and W. Weck, "Component-oriented programming," in Object-Oriented Technology ECOOP'99 Workshop Reader. Heidelberg, Germany: Springer, 1999, pp. 184-192. [Online]. Available: http://dx.doi.org/10.1007/3-540-46589-8-10
99. M. Casado, N. Foster, and A. Guha, "Abstractions for software-defined networks," Commun. ACM, vol. 57, no. 10, pp. 86-95, 2014.
100. M. Reitblatt, N. Foster, J. Rexford, and D. Walker, "Consistent updates for software-defined networks: Change you can believe in!" in Proc. 10th ACM Workshop Hot Topics Netw., Cambridge, MA, USA, 2011, Art. no. 7.
101. S. Ghorbani and M. Caesar, "Walk the line: Consistent network updates with bandwidth guarantees," in Proc. 1st Workshop Hot Topics Softw. Defined Netw., 2012, pp. 67-72.
102. N. P. Katta, J. Rexford, and D. Walker, "Incremental consistent updates," in Proc. 2nd ACM SIGCOMM Workshop Hot Topics Softw. Defined Netw., Hong Kong, 2013, pp. 49-54.
103. R. Mahajan and R. Wattenhofer, "On consistent updates in software defined networks," in Proc. 12th ACM Workshop Hot Topics Netw., College Park, MD, USA, 2013, Art. no. 20.
104. A. Noyes, T. Warszawski, P. Černỳ, and N. Foster, "Toward synthesis of network updates," in Proc. 2nd Workshop Synth. (SYNT), Saint Petersburg, Russia, Jul. 2013, pp. 8-23. [Online]. Available: http://dx.doi.org/10.4204/EPTCS.142.8
105. M. Reitblatt, N. Foster, J. Rexford, C. Schlesinger, and D. Walker, "Abstractions for network update," in Proc. ACM SIGCOMM Conf. Appl. Technol. Archit. Protocols Comput. Commun., Helsinki, Finland, 2012, pp. 323-334.
106. N. Foster et al., "Frenetic: A network programming language," ACM SIGPLAN Not., vol. 46, no. 9, pp. 279-291, 2011.
107. Y. Feng, R. Guo, D. Wang, and B. Zhang, "Research on the active DDoS filtering algorithm based on IP flow," in Proc. 5th Int. Conf. Nat. Comput. (ICNC), vol. 4. Tianjin, China, 2009, pp. 628-632.
108. R. Braga, E. Mota, and A. Passito, "Lightweight DDoS flooding attack detection using NOX/OpenFlow," in Proc. IEEE 35th Conf. Local Comput. Netw. (LCN), Denver, CO, USA, 2010, pp. 408-415.
109. K. Giotis, G. Androulidakis, and V. Maglaris, "Leveraging SDN for efficient anomaly detection and mitigation on legacy networks," in Proc. 3rd Eur. Workshop Softw. Defined Netw. (EWSDN), Budapest, Hungary, 2014, pp. 85-90.
110. K. Wang, Y. Qi, B. Yang, Y. Xue, and J. Li, "LiveSec: Towards effective security management in large-scale production networks," in Proc. 32nd Int. Conf. Distrib. Comput. Syst. Workshops (ICDCSW), Macau, China, 2012, pp. 451-460.
111. S. Shin et al., "FRESCO: Modular composable security services for software-defined networks," in Proc. NDSS, San Diego, CA, USA, 2013.
112. A. Zaalouk, R. Khondoker, R. Marx, and K. Bayarou, "OrchSec: An orchestrator-based architecture for enhancing network-security using network monitoring and SDN control functions," in Proc. IEEE Netw. Oper. Manag. Symp. (NOMS), Kraków, Poland, 2014, pp. 1-9.
113. F. Klaedtke, G. O. Karame, R. Bifulco, and H. Cui, "Access control for SDN controllers," in Proc. 3rd Workshop Hot Topics Softw. Defined Netw., 2014, pp. 219-220.
114. J. Matias, J. Garay, A. Mendiola, N. Toledo, and E. Jacob, "FlowNAC: Flow-based network access control," in Proc. 3rd Eur. Workshop Softw. Defined Netw. (EWSDN), Budapest, Hungary, 2014, pp. 79-84.
115. K. Liu and K. Xu, "OAuth based authentication and authorization in open Telco API," in Proc. Int. Conf. Comput. Sci. Electron. Eng. (ICCSEE), vol. 1. Hangzhou, China, 2012, pp. 176-179.
116. R. Soulé, S. Basu, E. G. Sirer, and N. Foster, "Scalable network management with Merlin," Cornell Univ., Ithaca, NY, USA, 2013. [Online]. Available: https://authorgateway.ieee.org/aipc/Download/COMST2553778.pdf
117. J. C. Mitchell, Foundations for Programming Languages. vol. 1. Cambridge, MA, USA: MIT Press, 1996.
118. S. Smolka, S. Eliopoulos, N. Foster, and A. Guha, "A fast compiler for NetKAT," in Proc. 20th ACM SIGPLAN Int. Conf. Funct. Program., Vancouver, BC, Canada, 2015, pp. 328-341.
119. ONF. (Dec. 2014). OpenFlow Switch Specification Version 1.5.0. [Online]. Available: https://www.opennetworking.org/images/stories/downloads/sdn-resources/onf-specifications/openflow/openflow-switchv1.5.0. noipr.pdf
120. D. L. Tennenhouse, J. M. Smith, W. D. Sincoskie, D. J. Wetherall, and G. J. Minden, "A survey of active network research," IEEE Commun. Mag., vol. 35, no. 1, pp. 80-86, Jan. 1997.
121. N. M. M. K. Chowdhury, and R. Boutaba, "A survey of network virtualization," Comput. Netw., vol. 54, no. 5, pp. 862-876, 2010. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S1389128609003387
122. J. Batalle, J. F. Riera, E. Escalona, and J. A. Garcia-Espin, "On the implementation of NFV over an OpenFlow infrastructure: Routing function virtualization," in Proc. IEEE SDN for Future Netw. Services (SDN4FNS), Trento, Italy, 2013, pp. 1-6.
123. N. Feamster, J. Rexford, and E. Zegura, "The road to SDN," Queue, vol. 11, no. 12, p. 20, 2013.
124. M. R. Nascimento et al., "Virtual routers as a service: The RouteFlow approach leveraging software-defined networks," in Proc. 6th Int. Conf. Future Internet Technol., Seoul, South Korea, 2011, pp. 34-37.
125. E. L. Fernandes and C. E. Rothenberg, "OpenFlow 1.3 software switch," Salao de Ferramentas do XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuidos SBRC, 2014, pp. 1021-1028.
126. P. Floodlight. (Aug. 2015). Indigo Virtual Switch. [Online]. Available: http://www.projectfloodlight.org/indigo-virtual-switch/
127. Z. Bozakov and P. Papadimitriou, "Autoslice: Automated and scalable slicing for software-defined networks," in Proc. ACM Conf. CoNEXT Student Workshop, Nice, France, 2012, pp. 3-4.
128. H. Yamanaka, E. Kawai, S. Ishii, and S. Shimojo, "AutoVFlow: Autonomous virtualization for wide-area OpenFlow networks," in Proc. 3rd Eur. Workshop Softw. Defined Netw. (EWSDN), Budapest, Hungary, 2014, pp. 67-72.
129. S. F. Python. (Aug. 2015). Data Structures-Python 2.7.10 Documentation. [Online]. Available: https://docs.python.org/2/tutorial/datastructures.html
130. D. Awduche, J. Malcolm, J. Agogbua, M. O'Dell, and J. McManus, Requirements for Traffic Engineering Over MPLS, document RFC 2702, Internet Requests for Comments, Internet Eng. Task Force, Fremont, CA, USA, Sep. 1999.
131. N. Wang, K. H. Ho, G. Pavlou, and M. Howarth, "An overview of routing optimization for Internet traffic engineering," IEEE Commun. Surveys Tuts., vol. 10, no. 1, pp. 36-56, Mar. 2008.
132. G. R. Ash, "Traffic engineering & QoS methods for IP, ATM, & TDMbased multi-service networks," in Proc. Internet Draft Work Progr., Sep. 2001. [Online]. Available: http://www.ietf.org/proceedings/50/I-D/tewg-qos-routing-01.txt
133. D. Awduche, A. Chiu, A. Elwalid, I. Widjaja, and X. Xiao, "Overview and principles of Internet traffic engineering," document RFC 3272, Internet Requests for Comments, Internet Eng. Task Force, Fremont, CA, USA, May 2002.
134. H. Kim et al., "CORONET: Fault tolerance for software defined networks," in Proc. 20th IEEE Int. Conf. Netw. Protocols (ICNP), Austin, TX, USA, 2012, pp. 1-2.
135. F. Botelho, A. Bessani, F. M. V. Ramos, and P. Ferreira, "On the design of practical fault-tolerant SDN controllers," in Proc. 3rd Eur. Workshop Softw. Defined Netw. (EWSDN), Budapest, Hungary, 2014, pp. 73-78.
136. B. Chandrasekaran and T. Benson, "Tolerating SDN application failures with LegoSDN," in Proc. 13th ACM Workshop Hot Topics Netw., Chicago, IL, USA, 2014, pp. 235-236.
137. H. Long, Y. Shen, M. Guo, and F. Tang, "LABERIO: Dynamic load-balanced routing in OpenFlow-enabled networks," in Proc. IEEE 27th Int. Conf. Adv. Inf. Netw. Appl. (AINA), Barcelona, Spain, 2013, pp. 290-297.
138. H. E. Egilmez, S. Civanlar, and A. M. Tekalp, "An optimization framework for QoS-enabled adaptive video streaming over OpenFlow networks," IEEE Trans. Multimedia, vol. 15, no. 3, pp. 710-715, Apr. 2013.
139. W. Fan, J. Li, S. Ma, N. Tang, and Y. Wu, "Adding regular expressions to graph reachability and pattern queries," in Proc. IEEE 27th Int. Conf. Data Eng. (ICDE), Hanover, Germany, 2011, pp. 39-50.
140. A. Tootoonchian, M. Ghobadi, and Y. Ganjali, "OpenTM: Traffic matrix estimator for OpenFlow networks," in Passive and Active Measurement. Heidelberg, Germany: Springer, 2010, pp. 201-210. [Online]. Available: http://dx.doi.org/10.1007/978-3-642-12334-4-21
141. Y. Yu, C. Qian, and X. Li, "Distributed and collaborative traffic monitoring in software defined networks," in Proc. 3rd Workshop Hot Topics Softw. Defined Netw., Chicago, IL, USA, 2014, pp. 85-90.
142. N. L. M. Van Adrichem, C. Doerr, and F. Kuipers, "OpenNetMon: Network monitoring in OpenFlow software-defined networks," in Proc. IEEE Netw. Oper. Manag. Symp. (NOMS), Kraków, Poland, 2014, pp. 1-8.
143. S. R. Chowdhury, M. F. Bari, R. Ahmed, and R. Boutaba, "PayLess: A low cost network monitoring framework for software defined networks," in Proc. IEEE Netw. Oper. Manag. Symp. (NOMS), Kraków, Poland, 2014, pp. 1-9.
144. T. Hinrichs, N. Gude, M. Casado, J. Mitchell, and S. Shenker, "Expressing and enforcing flow-based network security policies," Univ. Chicago, Chicago, IL, USA, Tech. Rep., Mar. 2008. [Online]. Available: https://www.cs.uic.edu/hinrichs/papers/hinrichs2008design.pdf
145. H. Kim and N. Feamster, "Improving network management with software defined networking," IEEE Commun. Mag., vol. 51, no. 2, pp. 114-119, Feb. 2013.
146. C. M. Rogers, "ANQL-An active networks query language," in Active Networks. Heidelberg, Germany: Springer, 2002, pp. 99-110. [Online]. Available: http://dx.doi.org/10.1007/3-540-36199-5-8
147. D. Kozen, "NetKAT-A formal system for the verification of networks," in Programming Languages and Systems. Cham, Switzerland: Springer Int., 2014, pp. 1-18. [Online]. Available: http://dx.doi.org/10.1007/978-3-319-12736-1-1
148. N. Foster, D. Kozen, M. Milano, A. Silva, and L. Thompson, "A coalgebraic decision procedure for NetKAT," in Proc. 42nd Annu. ACM SIGPLAN-SIGACT Symp. Principles Program. Lang., Mumbai, India, 2015, pp. 343-355.
149. D. Kozen, "Kleene algebra with tests," ACM Trans. Program. Lang. Syst. (TOPLAS), vol. 19, no. 3, pp. 427-443, May 1997.
150. R. Beckett, M. Greenberg, and D. Walker, "Temporal NetKAT," in Proc. 42th ACM SIGPLAN Workshop Program. Lang. Verificat. Technol. Netw., Mumbai, India, 2015.
151. N. Foster, D. Kozen, K. Mamouras, M. Reitblatt, and A. Silva, "Probabilistic NetKAT," in Proc. 25th Eur. Symp. Program. Program. Lang. Syst. (ESOP), Eindhoven, The Netherlands, 2016, pp. 282-309. [Online]. Available: http://dx.doi.org/10.1007/978-3-662-49498-1-12
152. J. McClurg, H. Hojjat, N. Foster, and P. Cerný. (Aug. 2015). Specification and Compilation of Event-Driven SDN Programs. [Online]. Available: https://pdfs.semanticscholar.org/bb3f/7b3bf6fea896c4d422ca7e9ac0f6dfc33c55.pdf
153. R. Sherwood. (Oct. 2009). Flowvisor: A Network Virtualization Layer. [Online]. Available: http://archive.openflow.org/downloads/technicalreports/openflow-tr-2009-1-flowvisor.pdf
154. N. Damianou, N. Dulay, E. Lupu, and M. Sloman, "The ponder policy specification language," in Policies for Distributed Systems and Networks. Heidelberg, Germany: Springer, 2001, pp. 18-38. [Online]. Available: http://dx.doi.org/10.1007/3-540-44569-2-2
155. E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications," ACM Trans. Program. Lang. Syst. (TOPLAS), vol. 8, no. 2, pp. 244-263, Apr. 1986.
156. S. Gutz, A. Story, C. Schlesinger, and N. Foster, "Splendid isolation: A slice abstraction for software-defined networks," in Proc. 1st Workshop Hot Topics Softw. Defined Netw., Helsinki, Finland, 2012, pp. 79-84.
157. A. D. Ferguson, A. Guha, J. Place, R. Fonseca, and S. Krishnamurthi, "Participatory networking," in Proc. Hot-ICE, vol. 12. Apr. 2012. [Online]. Available: https://www.usenix.org/system/files/conference/hot-ice12/hotice12-final8.pdf
158. A. D. Ferguson, A. Guha, C. Liang, R. Fonseca, and S. Krishnamurthi, "Participatory networking: An API for application control of SDNs," ACM SIGCOMM Comput. Commun. Rev., vol. 43, no. 4, pp. 327-338, 2013.
159. A. D. Ferguson, A. Guha, C. Liang, R. Fonseca, and S. Krishnamurthi, "Hierarchical policies for software defined networks," in Proc. 1st Workshop Hot Topics Softw. Defined Netw., Helsinki, Finland, 2012, pp. 37-42.
160. H. Shimonishi et al., "Programmable network using OpenFlow for network researches and experiments," in Proc. 6th Int. Conf. Mobile Comput. Ubiquitous Netw. (ICMU), 2012, pp. 164-171.
161. A. Voellmy, J. Wang, Y. R. Yang, B. Ford, and P. Hudak, "Maple: Simplifying SDN programming using algorithmic policies," ACM SIGCOMM Comput. Commun. Rev., vol. 43, no. 4, 2013, pp. 87-98.
162. A. Voellmy and J. Wang, "Scalable software defined network controllers," in Proc. ACM SIGCOMM Conf. Appl. Technol. Archit. Protocols Comput. Commun., Helsinki, Finland, 2012, pp. 289-290.
163. S. Narayana, J. Rexford, and D. Walker, "Compiling path queries in software-defined networks," in Proc. 3rd Workshop Hot Topics Softw. Defined Netw., Chicago, IL, USA, 2014, pp. 181-186.
164. C. Schlesinger, M. Greenberg, and D. Walker, "Concurrent NetCore: From policies to pipelines," in Proc. 19th ACM SIGPLAN Int. Conf. Funct. Program., Gothenburg, Sweden, 2014, pp. 11-24.
165. P. Bosshart et al., "P4: Programming protocol-independent packet processors," ACM SIGCOMM Comput. Commun. Rev., vol. 44, no. 3, pp. 87-95, 2014.
166. J. Lang, Link Management Protocol (LMP), document RFC 4204, Internet Requests Comments, Internet Eng. Task Force, Fremont, CA, USA, Oct. 2005. [Online]. Available: http://www.rfc-editor.org/rfc/rfc4204.txt
167. Y. Rekhter, T. Li, and S. Hares, A Border Gateway Protocol 4 (BGP-4), document RFC 4271, Internet Requests for Comments, Internet Eng. Task Force, Fremont, CA, USA, Jan. 2006. [Online]. Available: http://www.rfc-editor.org/rfc/rfc4271.txt
168. G. L. Vassoler, M. H. M. Paiva, M. R. N. Ribeiro, and M. E. V. Segatto, "Twin datacenter interconnection topology," IEEE Micro, vol. 34, no. 5, pp. 8-17, Sep./Oct. 2014.
169. R. M. Ramos, M. Martinello, and C. E. Rothenberg, "SlickFlow: Resilient source routing in Data Center Networks unlocked by OpenFlow," in Proc. IEEE 38th Conf. Local Comput. Netw. (LCN), Sydney, NSW, Australia, Oct. 2013, pp. 606-613.
170. R. D. Vencioneck, G. Vassoler, M. Martinello, M. R. N. Ribeiro, and C. Marcondes, "FlexForward: Enabling an SDN manageable forwarding engine in Open vSwitch," in Proc. 10th Int. Conf. Netw. Service Manag. (CNSM), Rio de Janeiro, Brazil, Nov. 2014, pp. 296-299.
171. M. Martinello, M. R. N. Ribeiro, R. E. Z. de Oliveira, and R. de Angelis Vitoi, "KeyFlow: A prototype for evolving SDN toward core network fabrics," IEEE Netw., vol. 28, no. 2, pp. 12-19, Mar./Apr. 2014.
172. H. Song, "Protocol-oblivious forwarding: Unleash the power of SDN through a future-proof forwarding plane," in Proc. 2nd ACM SIGCOMM Workshop Hot Topics Softw. Defined Netw. (HotSDN), Hong Kong, 2013, pp. 127-132. [Online]. Available: http://doi.acm.org/10.1145/2491185.2491190
173. H. Masutani et al., "Requirements and design of flexible NFV network infrastructure node leveraging SDN/OpenFlow," in Proc. Int. Conf. Opt. Netw. Design Model., Stockholm, Sweden, 2014, pp. 258-263.
174. A. Bates, K. Butler, A. Haeberlen, M. Sherr, and W. Zhou, "Let SDN be your eyes: Secure forensics in data center networks," in Proc. NDSS Workshop Security Emerg. Netw. Technol. (SENT), San Diego, CA, USA, 2014, pp. 1-7.
175. I. E. Achumba, K. C. Okafor, G. N. Ezeh, and U. H. Diala, "OpenFlow virtual appliance: An efficient security interface For cloud forensic Spyware robot," Int. J. Digit. Crime Forensics (IJDCF), vol. 7, no. 2, pp. 31-52, 2015.
176. ONF. (Dec. 2011). OpenFlow Switch Specification Version 1.2. [Online]. Available: https://www.opennetworking.org/images/stories/downloads/sdn-resources/onf-specifications/openflow/openflowspec-v1.2.pdf