Process Algebra Based Formal Method for SDN Application Verification 


Vol. 39,  No. 6, pp. 387-396, Jun.  2014


PDF Full-Text
  Abstract

Recently, there have been continuous efforts and progresses regarding the research on diverse network control and management platforms for SDN (Software Defined Networking). SDN is defined as a new technology to enable service providers/network operators easily to control and manage their networks by writing a simple application program. In SDN, incomplete or malicious programmable entities could cause break-down of underlying networks shared by heterogeneous devices and stake-holders. In this sense, any misunderstanding or diverse interpretations should be completely avoided. This paper proposes a new framework for SDN application verification and a prototype based on the formal method, especially with process algebra called pACSR which is an extended version of Algebra of Communicating Shared Resources (ACSR).

  Statistics
Cumulative Counts from November, 2022
Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.


  Cite this article

[IEEE Style]

M. Shin, J. Yi, Y. Choi, J. Lee, S. Lee, M. Kang, H. H. Kwak, J. Choi, "Process Algebra Based Formal Method for SDN Application Verification," The Journal of Korean Institute of Communications and Information Sciences, vol. 39, no. 6, pp. 387-396, 2014. DOI: .

[ACM Style]

Myung-Ki Shin, Jong-Hwa Yi, Yunchul Choi, Jihyun Lee, Seung-Ik Lee, Miyoung Kang, Hee Hwan Kwak, and Jin-Young Choi. 2014. Process Algebra Based Formal Method for SDN Application Verification. The Journal of Korean Institute of Communications and Information Sciences, 39, 6, (2014), 387-396. DOI: .

[KICS Style]

Myung-Ki Shin, Jong-Hwa Yi, Yunchul Choi, Jihyun Lee, Seung-Ik Lee, Miyoung Kang, Hee Hwan Kwak, Jin-Young Choi, "Process Algebra Based Formal Method for SDN Application Verification," The Journal of Korean Institute of Communications and Information Sciences, vol. 39, no. 6, pp. 387-396, 6. 2014.

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)






pISSN : 1226 - 4717
eISSN : 2287 - 3880