Skip to main content
SpringerLink
Log in

SDN Protocol Analysis with Process Algebra Method

  • Conference paper
  • First Online:
Smart Computing and Communication (SmartCom 2016)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 10135))

Included in the following conference series:

Abstract

With so many users and applications handled by the Internet infrastructure, the Internet has to evolve continuously to meet the requirement. Separation of control plane and management plane has been studies as a new architecture model in recent years by Internet community. Software Defined Network (SDN is just one of the most influential models in this field. But there lack the rigor formal analysis of the protocol behavior with SDN. In this paper, a formalization method with algebra to analysis SDN protocol is proposed. The method is self-contained and universal to any protocol analysis. With the method we can formally analysis the detail of SDN protocol to find the uncertain and shortcoming aspects.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. http://theory.stanford.edu/~rvg/process.html

  2. Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  3. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

  4. Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)

    Book  MATH  Google Scholar 

  5. http://theory.stanford.edu/~rvg/

  6. De Nicola, R.: Behavioral Equivalences. In: Padua, D. (ed.) Encyclopedia of Parallel Computing, pp. 120–127. Springer, New York (2011)

    Google Scholar 

  7. Bourke, T., Van Glabbeek, R.J., Höfner, P.: Mechanizing process algebra for network protocols. J. Autom. Reason. 56, 309–341 (2016). Springer Verlag

    Article  MathSciNet  MATH  Google Scholar 

  8. Simonak, S., Hudak, Š., Korecko, Š.: Protocol specification and verification using process algebra and petri nets. In: 2009 International Conference on Computational Intelligence. Modelling and Simulation, Brno, pp. 110–114 (2009)

    Google Scholar 

  9. Robert, J.: Colvin: modelling and analysing neural networks using a hybrid process algebra. Theor. Comput. Sci. 623, 15–64 (2016)

    Article  MATH  Google Scholar 

  10. Höfner, P.: Using process algebra to design better protocols. Forum”Math-for-Industry” (2015)

    Google Scholar 

  11. Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for mobile Ad Hoc networks. In: Coordination, pp. 296–314 (2008)

    Google Scholar 

  12. Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for Mobile Ad Hoc Networks. Sci. Comput. Program. 75(6), 440–469 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  13. Software-defined networking (SDN) definition. Opennetworking.org. Accessed 26 Oct 2014

    Google Scholar 

  14. Gai,K., Li, S.: Towards cloud computing: a literature review on cloud computing and its development trends. In: 2012 Fourth International Conference on Multimedia Information Networking and Security, Nanjing, China, pp. 142–146 (2012)

    Google Scholar 

  15. Gai, K., Qiu, L., Zhao, H., Qiu, M.: Cost-aware multimedia data allocation for heterogeneous memory using genetic algorithm in cloud computing. IEEE Trans. Cloud Comput. PP(99), 1 (2016)

    Article  Google Scholar 

  16. Gai, K., Qiu, M., Zhao, H., Tao, L., Zong, Z.: Dynamic energy-aware cloudlet-based mobile cloud computing model for green computing. J. Netw. Comput. Appl. 59, 46–54 (2016)

    Article  Google Scholar 

  17. Qiu, M., Zhong, M., Li, J., Gai, K., Zong, Z.: Phase-change memory optimization for green cloud with genetic algorithm. IEEE Trans. Comput. 64(12), 3528–3540 (2015)

    Article  MathSciNet  Google Scholar 

  18. http://www.frenetic-lang.org. Accessed 12 Sept (2013)

  19. Monsanto, C., Foster, N., Harrison, R., Walker, D.: A compiler and run-time system for network programming languages. In: ACM SIGPLAN Notices, vol. 47, pp. 217–230. ACM (2012)

    Google Scholar 

  20. Monsanto, C., Reich, J., Foster, N., Rexford, J., Walker, D.: Composing software defined networks. In: NSDI, April 2013

    Google Scholar 

  21. Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D.: NetKAT: semantic foundations for networks (2013)

    Google Scholar 

  22. Bjorner, N., Foster, N., Brighten Godfrey, P., Zave, P.: Formal foundations for networking (Dagstuhl Seminar 15071). Dagstuhl reports 5(2), 44–63 (2015)

    Google Scholar 

  23. Casado, M., Foster, N., Guha, A.: Abstractions for Software-Defined Networks. CACM 57(10), 86–95 (2014)

    Article  Google Scholar 

  24. McClurg, J., Hojjat, H., Foster, N., Cerny, P.: Event-driven network programming. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Santa Barbara, CA, June 2016

    Google Scholar 

  25. Reitblatt, M., Canini, M., Guha, A., Foster, N.: FatTire: declarative fault tolerance for software-defined networks. In: ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN), Hong Kong, China, August 2013

    Google Scholar 

  26. Gai, K., Qiu, M., Zhao, H., Liu, M.: Energy-aware optimal task assignment for mobile heterogeneous embedded systems in cloud computing. In: 2016 IEEE 3rd International Conference on Cyber Security and Cloud Computing (CSCloud), Beijing, China, pp. 198–203. IEEE (2016)

    Google Scholar 

  27. Gai, K., Du, Z., Qiu, M., Zhao, H.: Efficiency-aware workload optimizations of heterogenous cloud computing for capacity planning in financial industry. In: The 2nd IEEE International Conference on Cyber Security and Cloud Computing, New York, USA, pp. 1–6. IEEE (2015)

    Google Scholar 

  28. Gai, K., Qiu, M., Tao, L., Zhu, Y.: Intrusion detection techniques for mobile cloud computing in heterogeneous 5G. Secur. Commun. Netw. 1–10 (2015)

    Google Scholar 

  29. Li, Y., Gai, K., Qiu, L., Qiu, M., Zhao, H.: Intelligent cryptography approach for secure distributed big data storage in cloud computing. Inf. Sci. PP(99), 1 (2016)

    Google Scholar 

  30. Qiu, M., Gai, K., Thuraisingham, B., Tao, L., Zhao, H.: Proactive user-centric secure data scheme using attribute-based semantic access controls for mobile clouds in financial industry. Fut. Gener. Comput. Syst. PP, 1 (2016)

    Google Scholar 

  31. Li, Y., Dai, W., Ming, Z., Qiu, M.: Privacy protection for preventing data over-collection in smart city. IEEE Trans. Comput. 65, 1339–1350 (2015)

    Article  MathSciNet  Google Scholar 

  32. Gai, K., Qiu, M., Zhao, H., Xiong, J.: Privacy-aware adaptive data encryption strategy of big data in cloud computing. In: The 2nd IEEE International Conference of Scalable and Smart Cloud (SSC 2016), Beijing, China, pp. 273–278. IEEE (2016)

    Google Scholar 

  33. Gai, K., Qiu, M., Zhao, H., Dai, W.: Anti-counterfeit schema using monte carlo simulation for ecommerce in cloud systems. In: The 2nd IEEE International Conference on Cyber Security and Cloud Computing, New York, USA, pp. 74–79. IEEE (2015)

    Google Scholar 

Download references

Acknowledgements

This work is supported in part by the National Science Foundation of China under No. 61672104, 61170209, 61502038, U1509214; Program for New Century Excellent Talents in University No. NCET-13-0676. Key Program of BFSU 2011 Collaborative Innovation Center No. BFSU2011-ZD04.

Author information

Authors and Affiliations

  1. Department of Computer Science, Beijing Foreign Studies University, Beijing, Haidian, 100089, China

    Chen Fu & Fu Bing

Authors
  1. Chen Fu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fu Bing
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Chen Fu .

Editor information

Editors and Affiliations

  1. Pace University, New York, New York, USA

    Meikang Qiu

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Fu, C., Bing, F. (2017). SDN Protocol Analysis with Process Algebra Method. In: Qiu, M. (eds) Smart Computing and Communication. SmartCom 2016. Lecture Notes in Computer Science(), vol 10135. Springer, Cham. https://doi.org/10.1007/978-3-319-52015-5_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-52015-5_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-52014-8

  • Online ISBN: 978-3-319-52015-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation