基于输入输出分离标识转换系统的路由协议健壮性分析模型

doi:10.12267/j.issn.2096-5931.2022.04.009

信息通信技术与政策 ›› 2022, Vol. 48 ›› Issue (4): 49-56.doi: 10.12267/j.issn.2096-5931.2022.04.009

基于输入输出分离标识转换系统的路由协议健壮性分析模型

Input/Output labeled transition system based robustness analysis model of routing protocol

周开波, 张治兵, 王小雨, 刘欣东

中国信息通信研究院泰尔系统实验室,北京 100191

收稿日期:2022-03-03 出版日期:2022-04-15 发布日期:2022-05-09
作者简介:
周开波: 中国信息通信研究院泰尔系统实验室主任,主要从事通信网和互联网技术、标准和测试研究工作,重点研究领域为网络安全及数据安全,在网络设备安全研究方面具有多年研究经验;|张治兵: 中国信息通信研究院泰尔系统实验室副总工程师,高级工程师,主要从事信息通信网络安全、工控安全等研究工作,重点研究领域为网络安全检测认证制度和标准、网络关键设备安全、供应链安全、5G安全等;|王小雨: 中国信息通信研究院泰尔系统实验室网络技术部副主任,高级工程师,主要从事SDN/NFV、5G核心网、数据通信等信息网络领域新技术研究工作,重点研究领域为5G移动通信、云网融合、网络切片、SRv6等;|刘欣东: 中国信息通信研究院泰尔系统实验室工程师,主要从事信息通信安全领域研究和试验验证工作,重点研究领域为ICT产业新领域技术、安全业务新技术研究等

ZHOU Kaibo, ZHANG Zhibing, WANG Xiaoyu, LIU Xindong

CTTL System Laboratory, China Academy of Information Communication Technology, Beijing 100191, China

Received:2022-03-03 Online:2022-04-15 Published:2022-05-09

摘要/Abstract

摘要：

作为网络关键设备的路由器和交换机,其运行的路由协议的健壮性是设备健壮性的关键因素,如何对路由协议的健壮性进行分析评价是网络关键设备安全性评价的重点。在本文中,基于输入输出分离的标识转换系统(IOLTS),提出了网络设备中路由协议的健壮性的分析方法模型,并以OSPFv2协议为例进行了分析验证。

关键词: 网络关键设备, 路由协议, OSPF, 标识转换, 健壮性

Abstract:

The robustness of the routing protocol is the key factor of the robustness of the router and switch. How to analyze and evaluate the robustness of the routing protocol is the focus of the security evaluation of the critical network device. In this paper, an analysis method model based on Input/Output Labeled Transition System(IOLTS) of the robustness of routing protocol in network equipment is proposed. Ospfv2 routing protocol is analyzed and verified as an example using the model.

Key words: critical network device, routing protocol, OSPF, IOLTS, robustness

中图分类号:

周开波, 张治兵, 王小雨, 刘欣东. 基于输入输出分离标识转换系统的路由协议健壮性分析模型[J]. 信息通信技术与政策, 2022, 48(4): 49-56.

ZHOU Kaibo, ZHANG Zhibing, WANG Xiaoyu, LIU Xindong. Input/Output labeled transition system based robustness analysis model of routing protocol[J]. Information and Communications Technology and Policy, 2022, 48(4): 49-56.

导出引用管理器 EndNote|Ris|BibTeX

链接本文:

http://ictp.caict.ac.cn/CN/10.12267/j.issn.2096-5931.2022.04.009

http://ictp.caict.ac.cn/CN/Y2022/V48/I4/49

图/表 7

图1 LTS模型示例

图2 IOLTS模型示例

图3 路由协议模型

图4 协议健壮性分析模型

图5 OSPF路由协议交互过程

图6 OSPFv2 IOLTS模型

表1 OSPFv2 IOLTS模型动作说明

参考文献 10

[1]	MALKIN G. RIP version 2[J], 1998.
[2]	MOY J. OSPF version 2[J]. Request for Comments, 1994, 28(4):1.
[3]	HARES S, REKHTER Y, LI T. A border gateway protocol 4 (BGP-4)[M]. RFC Editor, 2006.
[4]	杨言. 互联网域间路由劫持及其防御研究[D]. 北京: 清华大学, 2020.
[5]	MURPHY S. BGP security vulnerabilities analysis[J]. Work in Progress, draft-ietf-idr-bgp-vuln-00.txt, 2006.
[6]	BAKKALI S, BENABOUD H, MAMOUN M B. Security problems in BGP: an overview[C]// Security Days. IEEE, 2013.
[7]	KELLER R M. Formal verif icati on of parallel programs[J]. Communications of the ACM, 1976, 19(7):371-384. doi: 10.1145/360248.360251 URL
[8]	FU Y, KONÉ O. Security and robustness by protocol testing[J]. IEEE Systems Journal, 2014, 8(3):699-707. DOI: 10.1109/JSYST.2012.2223532. doi: 10.1109/JSYST.2012.2223532 URL
[9]	KHORCHEF S. Un cardre formel pour le test de robustesse des protocols de communication[D]. Univ. Bordeaux, France, 2007.
[10]	李巍海. 网络协议健壮性测试平台关键技术研究[D]. 北京: 北京邮电大学, 2015.

基于输入输出分离标识转换系统的路由协议健壮性分析模型

Input/Output labeled transition system based robustness analysis model of routing protocol

RichHTML

PDF

可视化

摘要/Abstract

引用本文

使用本文

图/表 7

参考文献 10

相关文章 1

编辑推荐

Metrics

本文评价