拟态路由器BGP代理的设计实现与形式化验证
张进, 葛强, 徐伟海, 江逸茗, 马海龙, 于洪涛
Design, implementation and formal verification of BGP proxy for mimic router
Jin ZHANG, Qiang GE, Weihai XU, Yiming JIANG, Hailong MA, Hongtao YU
通信学报
.
2023, (3): 33
-44
.
DOI: 10.11959/j.issn.1000-436x.2023065
