In this paper, we propose an approach for model checking the convergence property of BGP networks. We firstly establish a formal model of BGP networks and ...
We firstly establish a formal model of BGP networks and define its convergence property. Then we use the Promela language to describe this model and analyze its ...
In this paper, we present an automated tool for verifying the convergence property of BGP by using the SPIN model checker.
[PDF] An Analysis of BGP Convergence Properties - Computer Science
www.cs.bu.edu › fac › cs655-papers
We present an abstract model of BGP and use it to define several conditions on routing policies that are related to BGP convergence/divergence. For each ...
[PDF] An Analysis of BGP Convergence Properties Timothy G. Griffin ...
ant.isi.edu › csci551 › images
We present an abstract model of BGP and use it to define several conditions on routing policies that are related to BGP convergence/divergence. For each ...
(PDF) Modeling and analyzing the convergence property of the BGP ...
www.researchgate.net › ... › BGP
Oct 23, 2014 · In this paper, we present an automated tool for verifying the convergence property of BGP by using the SPIN model checker. We have developed a ...
Sep 30, 2016 · We present a simple BGP simulator that is used for testing convergence properties of inter-domain routing. The discrete-event driven ...
This paper presents an approach to verifying BGP routing policy configurations by using a mathematical-rich technique, model checking. The experiments on sample ...
We present an abstract model of BGP and use it to define several global sanity conditions on routing policies that are related to BGP convergence/divergence.
People also ask
Where is BGP on the OSI model?
What are the different types of BGP networks?
What are the methods of BGP?
Is BGP designed for exterior routing?
In this paper, we firstly establish a formal model of BGP networks and define its convergence property. ... BGP networks instances by using the SPIN model checker ...