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 条

[21] TRANSLATING TIMED PROCESS ALGEBRA INTO PRIORITIZED PROCESS ALGEBRA
JEFFREY, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 493 - 506
[22] Analysis of a key exchange protocol based on tropical matrix algebra
Kotov, Matvei
Ushakov, Alexander
[J]. JOURNAL OF MATHEMATICAL CRYPTOLOGY, 2018, 12 (03) : 137 - 141
[23] A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra
Choi, Woorim
Choe, Yeongbok
Lee, Moonkun
[J]. IEEE 39TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC 2015), VOL 3, 2015, : 381 - 386
[24] Ouroboros: Protocol Independent Forwarding for SDN
Li, Liang
Farhady, Hamid
Du, Ping
Nakao, Akihiro
[J]. IEICE TRANSACTIONS ON COMMUNICATIONS, 2014, E97B (11) : 2278 - 2285
[25] Load Migration Protocol for SDN Controllers
Beiruti, Mohammad Amin
Ganjali, Yashar
[J]. 2019 IEEE 27TH INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (IEEE ICNP), 2019,
[26] Analysis of a multimedia stream using stochastic process algebra
Bowman, H
Bryans, JW
Derrick, J
[J]. COMPUTER JOURNAL, 2001, 44 (04): : 230 - 245
[27] SIMULTANEOUS EXAMINATION AND METHOD ANALYSIS BY VARIANCE ALGEBRA
Moonan, William J.
[J]. JOURNAL OF EXPERIMENTAL EDUCATION, 1955, 23 (03): : 253 - 257
[28] Assembly Code Analysis Using Stochastic Process Algebra
Djoudi, Lamia
Kloul, Leila
[J]. COMPUTER PERFORMANCE ENGINEERING, PROCEEDINGS, 2008, 5261 : 95 - 109
[29] Stochastic Process Algebra and Stability Analysis of Collective Systems
Bortolussi, Luca
Latella, Diego
Massink, Mieke
[J]. COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, 2013, 7890 : 1 - 15
[30] A Process Algebra Approach for the Compatibility Analysis of Web Services
Shu, Chen
Qing, Wu Guo
Jing, Xiao
[J]. FGCN: PROCEEDINGS OF THE 2008 SECOND INTERNATIONAL CONFERENCE ON FUTURE GENERATION COMMUNICATION AND NETWORKING, VOLS 1 AND 2, 2008, : 303 - 306

← 1 2 3 4 5 →