Abstract
Since the current SDN southbound interface level is low and programming situation is complex, it requires a high-level abstract programming language to simplify programming. First, this paper improves the NetCore programming language to generate NetCore-M language, so that it can support deployment of multi-policies combination including packet drop action. This paper describes in detail the syntax, semanteme, and implementation of NetCore-M language. Secondly, this paper describes the network policy conflict systematically and solves it. Finally, this paper shows that the modified multi-policies combination algorithm can effectively detect and prompt policies conflicts based on the implementation of the Pyretic project.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Ballani, H., Francis, P.: CONMan: a step towards network manageability. J. ACM SIGCOMM Comput. Commun. Rev. 37(4), 205–216 (2007)
Chen, X., Mao, Y., Mao, Z.M., et al.: Declarative configuration management for complex and dynamic networks. In: International Conference. ACM, pp. 1–12 (2010)
Loo, B.T., Hellerstein, J.M., Stoica, I., et al.: Declarative routing: extensible routing with declarative queries. J. ACM SIGCOMM Comput. Commun. Rev. 35(4), 289–300 (2005)
Doria, A., Salim, J.H., Haas, R., et al.: Forwarding and Control Element Separation (ForCES) Protocol Specification. In: IETF RFC 5810 (Proposed Standard) (2010)
Mckeown, N., Andemon, T., Balakrishnan, H., et al.: OpenFlow: enabling innovation in campus networks. J. ACM SIGCOMM Comput. Commun. Rev. 38(2), 69–74 (2008)
Yi, Z., Yiqiang, H., Xiaofeng, H.: Characteristics, development and future of SDN. J. Telecommun. Sci. 29(9), 102–107 (2013). (in Chinese)
Monsanto, C., Foster, N., Harrison, R., et al.: A compiler and run-time system for network programming languages. J. ACM SIGPLAN Not. 47(1), 217–230 (2012)
Kim, H., Reich, J., Gupta, A., et al.: Kinetic: verifiable dynamic network control. In: USENIX NSDI 2015 (2015)
Reich, J., Monsanto, C., Foster, N., et al.: Modular SDN programming with Pyretic. USENIX; login 38(5), 128–134 (2013)
OpenFlow Switch Specification Version 1.0. 0. OpenFlow Switch Consortium (2009)
Jin, X., Rexford, J., Walker, D.: Incremental update for a compositional SDN hypervisor. In: Third Workshop on Hot Topics in Software Defined Networking. ACM, pp. 187–192 (2014)
Foster, N., Harrison, R., Freedman, M.J., et al.: Frenetic: a network programming language. ACM SIGPLAN Not. 46(9), 279–291 (2011). ACM
Voellmy, A., Kim, H., Feamster, N.: Procera: a language for high-level reactive network control. In: Proceedings of the First Workshop on Hot Topics in Software Defined Networks. ACM, pp. 43–48 (2012)
Hickey, J.: Introduction to the Objective Caml programming language. Verfügbar unter. http://docs.happycoders.org/html/dev/ocaml/index.php
Nilsson, H., Courtney, A., Peterson, J.: Functional reactive programming, continued. In: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell. ACM, pp. 51–64 (2002)
Berry, G., Boudol, G.: The chemical abstract machine. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, pp. 81–94 (1989)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
He, B., Dong, L., Xu, T., Fei, S., Zhang, H., Wang, W. (2017). Research on Network Policy Combination and Conflict Detection in SDN. In: Guo, S., Wei, G., Xiang, Y., Lin, X., Lorenz, P. (eds) Testbeds and Research Infrastructures for the Development of Networks and Communities. TridentCom 2016. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 177. Springer, Cham. https://doi.org/10.1007/978-3-319-49580-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-49580-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-49579-8
Online ISBN: 978-3-319-49580-4
eBook Packages: Computer ScienceComputer Science (R0)