SDN Protocol Analysis with Process Algebra Method

被引：1

作者：

Fu, Chen ^{[1
]}

Bing, Fu ^{[1
]}

机构：

[1] Beijing Foreign Studies Univ, Dept Comp Sci, Beijing 100089, Haidian, Peoples R China

来源：

SMART COMPUTING AND COMMUNICATION, SMARTCOM 2016 | 2017年 / 10135卷

基金：

美国国家科学基金会;

关键词：

Software Defined Network; Protocol analysis; Process algebra; Formalization method; PROCESS CALCULUS;

D O I：

10.1007/978-3-319-52015-5_10

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：95 / 101

页数：7

共 50 条

[1] Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra
Liu, Ailun
Zhu, Huibiao
Fei, Yuan
Xiang, Shuangqing
Lu, Gang
Xie, Wanling
[J]. 2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2017, : 39 - 44
[2] Performance Implication and Analysis of the OpenFlow SDN Protocol
Aliyu, Aliyu Lawal
Bull, Peter
Abdallah, Ali
[J]. 2017 31ST IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (IEEE WAINA 2017), 2017, : 391 - 396
[3] Formal verification of a leader election protocol in process algebra
Fredlund, LA
Groote, JF
Korver, H
[J]. THEORETICAL COMPUTER SCIENCE, 1997, 177 (02) : 459 - 486
[4] Modeling and Verifying the Ariadne Protocol Using Process Algebra
Wu, Xi
Zhu, Huibiao
Zhao, Yongxin
Wang, Zheng
Liu, Si
[J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2013, 10 (01) : 393 - 421
[5] VERIFICATION OF AN ALTERNATING BIT PROTOCOL BY MEANS OF PROCESS ALGEBRA
BERGSTRA, JA
KLOP, JW
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 215 : 9 - 23
[6] Reconfigurable Network Protocol Model Based on Process Algebra
Jin, Kaichun
Chen, Xingyuan
Du, Xuehui
Bao, Yibao
Wang, Hongxu
[J]. 2014 SEVENTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2014), VOL 2, 2014,
[7] An Abstraction Method of Behaviors for Process Algebra
On, Jinho
Choe, Yeongbok
Lee, Moonkun
[J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW), 2013, : 133 - 138
[8] A Novel Formal Analysis Method of Network Survivability Based on Stochastic Process Algebra
赵国生
王慧强
王健
[J]. Tsinghua Science and Technology, 2007, (S1) : 175 - 179
[9] AN APPROACH TO IMPROVE PROCESS ALGEBRA BASED PROTOCOL COMPOSITION MODEL
Tian, Xiaoming
Wu, Qiuxin
[J]. 2012 IEEE 2nd International Conference on Cloud Computing and Intelligent Systems (CCIS) Vols 1-3, 2012, : 666 - 669
[10] An Algebra for Symbolic Diffie-Hellman Protocol Analysis
Dougherty, Daniel J.
Guttman, Joshua D.
[J]. TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, 2013, 8358 : 164 - 181

← 1 2 3 4 5 →