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 条

[31] Formal Framework for Cost Analysis Based on Process Algebra
Nishizaki, Shin-ya
Kiyoto, Hiroki
[J]. COMMUNICATIONS AND INFORMATION PROCESSING, PT 1, 2012, 288 : 110 - 117
[32] Higher Moment Analysis of a Spatial Stochastic Process Algebra
Guenther, Marcel C.
Bradley, Jeremy T.
[J]. COMPUTER PERFORMANCE ENGINEERING, 2011, 6977 : 87 - 101
[33] ‘Closed Interval Process Algebra’ versus ‘Interval Process Algebra’
Flavio Corradini
Marco Pistore
[J]. Acta Informatica, 2001, 37 : 467 - 509
[34] 'Closed interval process algebra' versus 'Interval process algebra'
Corradini, F
Pistore, M
[J]. ACTA INFORMATICA, 2001, 37 (07) : 467 - 510
[35] An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology
Woo, Sujeong
On, Jinho
Lee, Moonkun
[J]. 2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 128 - 133
[36] Flock: A Live Migration Protocol for SDN Controllers
Contoli, Chiara
Palumbo, Fabio
Esposito, Flavio
Callegati, Franco
Pescape, Antonio
[J]. 2019 IEEE CONFERENCE ON NETWORK FUNCTION VIRTUALIZATION AND SOFTWARE DEFINED NETWORKS (IEEE NFV-SDN), 2019,
[37] Study on authentication protocol of SDN trusted domain
Zhou, Ruikang
Liu, Zenghui
Lai, Yingxu
Liu, Jing
[J]. 2015 IEEE 12TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS ISADS 2015, 2015, : 281 - 284
[38] Research on production process control method combined stochastic process algebra and stochastic Petri nets
Liu Chang
Shi Haibo
[J]. 1ST INTERNATIONAL SYMPOSIUM ON DIGITAL MANUFACTURE, VOLS 1-3, 2006, : 428 - 434
[39] Modeling and Analysis for Supply Chain Using Stochastic Process Algebra
Yong-Tao Huang
Min Lv
Gang Wang
Bing-Yin Ren
Hao-Yun Zhang
[J]. Journal of Harbin Institute of Technology(New series), 2014, (06) : 74 - 80
[40] Research on Production Process Control Method Combined Stochastic Process Algebra and Stochastic Petri Nets
LIU Chang SHI Haibo (Shenyang Inst.of Automation
[J]. 武汉理工大学学报, 2006, (S2) : 428 - 434

← 1 2 3 4 5 →