Interdomain Routing Stability
Models and algorithms to verify the stability of BGP configurations.
Interdomain routing is based on the BGP protocol. In order to honor economical and political constraints, BGP allows to configure rules for the propagation of routing information that are not necessarily related with the optimization of routing, but may rather be used to implement, e.g., commercial agreements.
Unfortunately, it can be proved that the interaction of not-so-unlikely combinations of routing configuration policies independently deployed by different parties can prevent a network from settling on a stable routing.
Our research in this field aims at studying models and algorithms that allow us both to investigate the possible kinds of routing instabilities and to provide conditions and efficient approaches to check the convergence properties of a network.