拟态路由器BGP代理的设计实现与形式化验证

张进; 葛强; 徐伟海; 江逸茗; 马海龙; 于洪涛

doi:10.11959/j.issn.1000-436x.2023065

您当前的位置：

首页 >

文章列表页 >

拟态路由器BGP代理的设计实现与形式化验证

学术论文 | 更新时间：2024-05-31

- 拟态路由器BGP代理的设计实现与形式化验证
- Design, implementation and formal verification of BGP proxy for mimic router
- “据最新报道，专家设计并验证了拟态路由器中BGP代理的安全性和功能正确性，为拟态防御设备安全性提供参考。”
- 通信学报 2023年44卷第3期页码：33-44
- 作者机构：
  
  1. 紫金山实验室内生安全研究中心，江苏南京 211100
  2. 东南大学网络空间安全学院，江苏南京 211100
  3. 信息工程大学信息技术研究所，河南郑州 450000
- 作者简介：
  
  [ "张进（1979− ），男，江苏镇江人，博士，紫金山实验室高级工程师，主要研究方向为宽带信息网络、网络安全、软硬件协同设计" ]
  [ "葛强（1997− ），男，浙江台州人，东南大学硕士生，主要研究方向为网络安全" ]
  [ "徐伟海（1999− ），男，安徽黄山人，东南大学硕士生，主要研究方向为网络安全" ]
  [ "江逸茗（1984– ），男，河南郑州人，博士，信息工程大学副研究员，主要研究方向为新型网络体系结构、网络空间安全防御、云计算、虚拟化技术" ]
  [ "马海龙（1980– ），男，山东聊城人，博士，信息工程大学研究员，主要研究方向为创新网络体系、网络安全管控、路由工程等" ]
  [ "于洪涛（1970− ），男，辽宁丹东人，博士，信息工程大学研究员，主要研究方向为网络空间安全" ]
- 基金信息：
  
  国家重点研发计划基金资助项目(2022YFB2901400)
- DOI：10.11959/j.issn.1000-436x.2023065
  中图分类号： TP393
- 网络首发：2023-03，
  
  纸质出版：2023-03-25
- 稿件说明：
移动端阅览
张进, 葛强, 徐伟海, 等. 拟态路由器BGP代理的设计实现与形式化验证[J]. 通信学报, 2023,44(3):33-44.

Jin ZHANG, Qiang GE, Weihai XU, et al. Design, implementation and formal verification of BGP proxy for mimic router[J]. Journal on Communications, 2023, 44(3): 33-44.
张进, 葛强, 徐伟海, 等. 拟态路由器BGP代理的设计实现与形式化验证[J]. 通信学报, 2023,44(3):33-44. DOI： 10.11959/j.issn.1000-436x.2023065.

Jin ZHANG, Qiang GE, Weihai XU, et al. Design, implementation and formal verification of BGP proxy for mimic router[J]. Journal on Communications, 2023, 44(3): 33-44. DOI： 10.11959/j.issn.1000-436x.2023065.

浏览量

1026

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于锁保证条件扩展并发分离逻辑的并发文件系统形式化验证

面向未知网络威胁的网络要地自适应防御模型

基于深度学习的拟态裁决方法研究

面向持久性连接的自适应拟态表决器设计与实现

基于高阶异构度的执行体动态调度算法

拟态路由器BGP代理的设计实现与形式化验证

Design, implementation and formal verification of BGP proxy for mimic router

DOI：10.11959/j.issn.1000-436x.2023065