|国家科技期刊平台
| 注册
首页|期刊导航|通信学报|拟态路由器BGP代理的设计实现与形式化验证

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

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

通信学报2023，Vol.44Issue(3)：33-44,12.
✕
通信学报2023，Vol.44Issue(3)：33-44,12.DOI:10.11959/j.issn.1000−436x.2023065

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

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

张进 1葛强 1徐伟海 2江逸茗 1马海龙 2于洪涛3

作者信息

  • 1. 紫金山实验室内生安全研究中心,江苏南京 211100
  • 2. 东南大学网络空间安全学院,江苏南京 211100
  • 3. 信息工程大学信息技术研究所,河南郑州 450000
  • 折叠

摘要

关键词

拟态防御/边界网关协议/路由器/形式化验证

分类

信息技术与安全科学

引用本文复制引用

张进,葛强,徐伟海,江逸茗,马海龙,于洪涛..拟态路由器BGP代理的设计实现与形式化验证[J].通信学报,2023,44(3):33-44,12.

基金项目

国家重点研发计划基金资助项目(No.2022YFB2901400) （No.2022YFB2901400）

通信学报

OA北大核心CSCDCSTPCD

1000-436X

访问量0
|
下载量0
段落导航相关论文