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

Show other versions (1)

To ensure the safety and correctness of the critical ‘mimic bracket’ components such as protocol proxies of mimic routers, a BGP (border gateway protocol) proxy was designed and implemented, and formal methods were applied to verify the safety and correctness of the BGP proxy.The BGP packets communi...

Full description

Bibliographic Details
Published in:Tongxin xuebao
Main Authors: Jin ZHANG, Qiang GE, Weihai XU, Yiming JIANG, Hailong MA, Hongtao YU
Format: Article
Language:Chinese
Published: Editorial Department of Journal on Communications 2023-03-01
Subjects:
mimic defense
BGP
router
formal verification
Online Access:http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2023065/

Similar Items

Similar Items