信息通信技术与政策Issue(4)：49-56,8.DOI:10.12267/j.issn.2096-5931.2022.04.009
基于输入输出分离标识转换系统的路由协议健壮性分析模型
Input/Output labeled transition system based robustness analysis model of routing protocol
周开波 1张治兵 1王小雨 1刘欣东1
作者信息
- 1. 中国信息通信研究院泰尔系统实验室,北京100191
- 折叠
摘要
关键词
网络关键设备/路由协议/OSPF/标识转换/健壮性分类
信息技术与安全科学引用本文复制引用
周开波,张治兵,王小雨,刘欣东..基于输入输出分离标识转换系统的路由协议健壮性分析模型[J].信息通信技术与政策,2022,(4):49-56,8.
