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...
Enregistré dans:
| Auteurs principaux: | , , , , , |
|---|---|
| Format: | Artigo |
| Langue: | Chinês |
| Publié: |
Editorial Department of Journal on Communications
2023-03-01
|
| Collection: | Tongxin xuebao |
| Sujets: | |
| Accès en ligne: | http://www.joconline.com.cn/thesisDetails#10.11959/j.issn.1000-436x.2023065 |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|