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...
Na minha lista:
| Principais autores: | , , , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Chinês |
| Publicado em: |
Editorial Department of Journal on Communications
2023-03-01
|
| Colecção: | Tongxin xuebao |
| Assuntos: | |
| Acesso em linha: | http://www.joconline.com.cn/thesisDetails#10.11959/j.issn.1000-436x.2023065 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|