您当前的位置：
首页 >
文章列表页 >
Design, implementation and formal verification of BGP proxy for mimic router
Papers | 更新时间：2024-05-31

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

    • Journal on Communications   Vol. 44, Issue 3, Pages: 33-44(2023)

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

      CLC： TP393

    • Online First：2023-03，

      Published：25 March 2023

    移动端阅览

  • 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.

  •  
  •  

0

Views

1124

下载量

0

CSCD

Alert me when the article has been cited
提交
Tools
Download
Export Citation
Share
Add to favorites
Add to my album

Related Articles

Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic
Adaptive defense model for critical assets against unknown network threats
Research on mimic decision method based on deep learning
Design and implementation of adaptive mimic voting device oriented to persistent connection
Executive dynamic scheduling algorithm based on high-order heterogeneity

Related Author

LI Wenbo
YANG Qiusong
LI Mingshu
ZHENG Xinmin
ZHANG Jin
CAO Jiuxin
ZHOU Ding
LIU Bo

Related Institution

University of Chinese Academy of Sciences
National Engineering Research Center of Fundamental Software (Institute of Software, Chinese Academy of Sciences)
Purple Mountain Laboratories
Key Laboratory of Cyberspace Security, Ministry of Education
Songshan Laboratory
0