P4-based rules consistency verification for SDN control-data plane
P4-based rules consistency verification for SDN control-data plane
Institute of Information Technology Research, People's Liberation Army Strategic Support Force Information Engineering University, Zhengzhou 450000, China
摘要
To solve the inconsistency of flow rules between the control plane and data plane caused by SDN data plane software and hardware faults, configuration faults, etc., this paper proposed a P4-based consistency verification mechanism for SDN control-data plane(P4CV). P4CV firstly sent probes with a specific structure to the data plane, and then each P4 switch inserted its runtime information of flow rules in the data plane into the probes. Finally, P4CV adopted the consistency-verification algorithm, based on symbolic execution, to compare the configuration from the control plane and telemetry information from the data plane. The simulation results show that the single path verification time of P4CV is not affected by the network topology and is only linearly related to the number of nodes on the path. In a multipath forwarding scenario, with the same network scale and traffic rules configured, P4CV generates only 0.06‰ of bandwidth overhead and reduces the verification time by 42% compared with the existing scheme.
基金项目
国家重点研发计划项目
国家自然科学基金资助项目
出版信息
DOI: 10.19734/j.issn.1001-3695.2021.12.0694
出版期卷: 《计算机应用研究》 Printed Article, 2022年第39卷 第8期
所属栏目: Technology of Information Security
出版页码: 2479-2483,2489
文章编号: 1001-3695(2022)08-041-2479-05
发布历史
引用本文
夏计强, 崔鹏帅, 李子勇, 等. 基于P4的SDN控制—数据平面流规则一致性校验 [J]. 计算机应用研究, 2022, 39 (8): 2479-2483,2489. (Xia Jiqiang, Cui Pengshuai, Li Ziyong, et al. P4-based rules consistency verification for SDN control-data plane [J]. Application Research of Computers, 2022, 39 (8): 2479-2483,2489. )
关于期刊
- 计算机应用研究 月刊
- Application Research of Computers
-
刊号
ISSN 1001-3695
CN 51-1196/TP
《计算机应用研究》创刊于1984年，是由四川省科技厅所属四川省计算机研究院主办的计算技术类学术刊物。
《计算机应用研究》瞄准本学科领域迫切需要的前沿技术，及时反映国内外计算机应用研究的主流技术、热点技术及最新发展趋势。主要刊载内容包括本学科领域高水平的学术论文、本学科最新科研成果和重大应用成果。栏目内容涉及计算机学科新理论、计算机基础理论、算法理论研究、算法设计与分析、区块链技术、系统软件与软件工程技术、模式识别与人工智能、体系结构、先进计算、并行处理、数据库技术、计算机网络与通信技术、信息安全技术、计算机图像图形学及其最新热点应用技术。
《计算机应用研究》拥有众多高层次读者、作者，读者对象主要为从事计算机学科领域高、中级研究人员及工程技术人员，各高等院校计算机专业及相关专业的师生。多年来《计算机应用研究》的总被引频次及Web下载率一直名列本学科同类学术刊物前茅，所刊发的学术论文以其新颖性、学术性、前瞻性、导向性、实用性而备受广大读者的喜爱。
收录和评价
- 第二届国家期刊奖百种重点期刊
- 中国期刊方阵双效期刊
- 全国中文核心期刊（北大2023年版）
- 中国科技核心期刊
- 中国科学引文数据库(CSCD)来源期刊
- RCCSE中国核心学术期刊
- 中国计算机学会会刊
- 2020—2022年科技期刊世界影响力指数(WJCI)报告收录期刊
- 中国科技期刊精品数据库全文来源期刊
- 中国学术期刊综合评价数据库来源期刊
- 《中国期刊网》《中国学术期刊(光盘版)》来源期刊
- 2017—2019年中国国际影响力优秀学术期刊(自然科学与工程技术)
- 中国精品科技期刊顶尖学术论文(F5000)项目来源期刊
- 《中国工程技术电子信息网》《电子科技文献数据库》来源期刊
- 英国《科学文摘》(INSPEC)来源期刊
- 《日本科学技术振兴机构数据库》(JST)来源期刊
- 俄罗斯《文摘杂志》(AJ, VINITI)来源期刊
- 美国《艾博思科学术数据库》(EBSCO)全文来源期刊
- 美国《剑桥科学文摘(自然科学)》(CSA(NS))核心期刊
- 波兰《哥白尼索引》(IC)来源期刊
- 美国《乌利希期刊指南(网络版)》(Ulrichsweb)收录期刊
