Design, implementation and formal verification of BGP proxy for mimic router
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...
| Huvudupphovsmän: | , , , , , |
|---|---|
| Materialtyp: | Artikel |
| Språk: | zho |
| Publicerad: |
Editorial Department of Journal on Communications
2023-03-01
|
| Serie: | Tongxin xuebao |
| Ämnen: | |
| Länkar: | http://www.joconline.com.cn/thesisDetails#10.11959/j.issn.1000-436x.2023065 |