DMCA
An analysis of BGP convergence properties
Cached
Download Links
| Venue: | In SIGCOMM |
| Citations: | 234 - 14 self |
BibTeX
@INPROCEEDINGS{Griffin_ananalysis,
author = {Timothy G. Griffin and Gordon Wilfong},
title = {An analysis of BGP convergence properties},
booktitle = {In SIGCOMM},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The Border Gateway Protocol (BGP) is the de facto interdomain routing protocol used to exchange reachability information between Autonomous Systems in the global Internet. BGP is a path-vector protocol that allows each Autonomous System to override distance-based metrics with policy-based metrics when choosing best routes. Varadhan et al. [18] have shown that it is possible for a group of Autonomous Systems to independently define BGP policies that together lead to BGP protocol oscillations that never converge on a stable routing. One approach to addressing this problem is based on static analysis of routing policies to determine if they are safe. We explore the worst-case complexity for convergenceoriented static analysis of BGP routing policies. 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. For each condition we show that the complexity of statically checking it is either NP-complete or NP-hard. 1
Keyphrases
bgp convergence property autonomous system static analysis distance-based metric stable routing global internet abstract model bgp protocol oscillation bgp convergence divergence path-vector protocol policy-based metric bgp policy reachability information worst-case complexity several global sanity condition border gateway protocol
