Concurrency and Computation: Practice and Experience

Volume 29, Issue 19 e4218

SPECIAL ISSUE PAPER

Research on network programming language and policy conflicts for SDN

Bohan He,

Bohan He

orcid.org/0000-0002-8942-4146

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Search for more papers by this author

Ligang Dong,

Corresponding Author

Ligang Dong

[email protected]

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Correspondence

Ligang Dong, School of Information and Electronic Engineering, Zhejiang Gongshang University, No 18, Xuezheng Str, Xiasha University Town, Hangzhou 310018, China

Email: [email protected]

Search for more papers by this author

Tijie Xu,

Tijie Xu

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Search for more papers by this author

Shuocheng Fei,

Shuocheng Fei

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Search for more papers by this author

Huafei Zhang,

Huafei Zhang

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Search for more papers by this author

Weiming Wang,

Weiming Wang

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Search for more papers by this author

Bohan He,

Bohan He

orcid.org/0000-0002-8942-4146

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Search for more papers by this author

Ligang Dong,

Corresponding Author

Ligang Dong

[email protected]

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Correspondence

Ligang Dong, School of Information and Electronic Engineering, Zhejiang Gongshang University, No 18, Xuezheng Str, Xiasha University Town, Hangzhou 310018, China

Email: [email protected]

Search for more papers by this author

Tijie Xu,

Tijie Xu

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Search for more papers by this author

Shuocheng Fei,

Shuocheng Fei

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Search for more papers by this author

Huafei Zhang,

Huafei Zhang

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Search for more papers by this author

Weiming Wang,

Weiming Wang

School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

Search for more papers by this author

First published: 20 June 2017

https://doi.org/10.1002/cpe.4218

Citations: 13

Share a link

Email
Wechat
Bluesky

Summary

Through network programmability, software defined network can simplify network control and management. Since the current software defined network 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 multipolicies combination including packet drop action. This paper describes in detail the syntax, semanteme, and implementation of NetCore-M language forwarding policy service. Secondly, this paper describes the network policy conflict systematically. Finally, this paper shows that the modified multipolicies combination algorithm can effectively detect policies conflicts based on the implementation of the Pyretic project.

REFERENCES

1Ballani H, Francis P. CONMan: a step towards network manageability. J ACM SIGCOMM Comput Comm Rev. 2007; 37(4): 205–216.
10.1145/1282427.1282404
Web of Science® Google Scholar
2Chen X, Mao Y, Mao ZM, et al. Declarative configuration management for complex and dynamic networks. International Conference. ACM, 2010; 1-12.
Google Scholar
3Loo BT, Hellerstein JM, Stoica I, et al. Declarative routing: Extensible routing with declarative queries. J ACM SIGCOMM Comput Comm Rev. 2005; 35(4): 289–300.
10.1145/1090191.1080126
Web of Science® Google Scholar
4Yi Z, Yiqiang H, Xiaofeng H. Characteristics, development and future of SDN(in Chinese). J Telecommun Sci. 2013; 29(9): 102–107.
Google Scholar
5Doria A, Salim JH, Haas R, et al. Forwarding and control element separation (ForCES) protocol specification. IETF RFC 5810(Proposed Standard) 2010.
Google Scholar
6Mckeown N, Andemon T, Balakrishnan H, et al. OpenFlow: enabling innovation in campus networks. J ACM SIGCOMM Comput Comm Rev. 2008; 38(2): 69–74.
10.1145/1355734.1355746
Web of Science® Google Scholar
7Foster N, Harrison R, Freedman MJ, et al. Frenetic: a network programming language. ACM SIGPLAN Notices. 46(9): 279–291.
Google Scholar
8Reich J, Monsanto C, Foster N, et al. Modular SDN programming with Pyretic[J]. USENIX; login, 38(5), 128-134 2013.
Google Scholar
9Monsanto C, Foster N, Harrison R, et al. A compiler and run-time system for network programming languages. J ACM SIGPLAN Notices. 2012; 47(1): 217–230.
10.1145/2103621.2103685
Web of Science® Google Scholar
10Voellmy A, Kim H, Feamster N. Procera: a language for high-level reactive network control. Proceedings of the first workshop on Hot topics in software defined networks. ACM, 2012; 43-48.
Google Scholar
11Kim H, Reich J, Gupta A, et al. Kinetic: verifiable dynamic network control. USENIX NSDI 20152015.
Google Scholar
12Hickey J. Introduction to the objective Caml programming language. Verfügbar unter. http://docs.happycoders.org/html/dev/ocaml/index.php.
Google Scholar
13Nilsson H, Courtney A, Peterson J. Functional reactive programming, continued. Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. ACM, 2002; 51-64.
Google Scholar
14Lo CC, Wu PY, Kuo YH. Flow entry conflict detection scheme for software-defined network. In Telecommunication Networks and Applications Conference (ITNAC), 2015 International. IEEE, 2015; 220-225.
Google Scholar
15Hu H, Han W, Ahn GJ, Zhao Z. FLOWGUARD: building robust firewalls for software-defined networks. In Proceedings of the third workshop on Hot topics in software defined networking, ACM., 2014; 97-102.
Google Scholar
16Porras P, Shin S, Yegneswaran V, Fong M, Tyson M, Gu G. A security enforcement kernel for OpenFlow networks. In Proceedings of the first workshop on Hot topics in software defined networks. ACM, 2012; 121-126.
Google Scholar
17Haleplidis E, Pentikousis K, Denazis S, et al. Software-defined networking (SDN): layers and architecture terminology. IETF RFC 7426(Proposed Standard) 2015.
Google Scholar
18Jin X, Rexford J, Walker D. Incremental update for a compositional SDN hypervisor. J. Third Workshop on Hot Topics in Software Defined Networking. ACM, 2014; 187-192.
Google Scholar
19Berry G, Boudol G. The chemical abstract machine. Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, 1989; 81-94.
Google Scholar
20S Gao, Z Peng, B Xiao, A Hu, K Ren. FloodDefender: protecting data and control plane resources under SDN-aimed DoS attacks. In Proc. of the IEEE International Conference on Computer Communications (INFOCOM-2017), 2017; 1-9.
Google Scholar

Citing Literature

Volume29, Issue19

Combined Special issues on High performance and security in cloud computing (CloudCom‐Asia2016) and New trends and innovative methods in cloud computing and big data (CBD‐BDCloud2016)

10 October 2017

e4218

Research on network programming language and policy conflicts for SDN

Summary

REFERENCES

Citing Literature

References

Information

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

Research on network programming language and policy conflicts for SDN

Summary

REFERENCES

Citing Literature

References

Related

Information