BGP Safety With Spurious Updates
The authors explore BGP safety, the question of whether a BGP system converges to a stable routing, in light of several BGP implementation features that have not been fully included in the previous theoretical analyses. They show that Route Flap Damping, MRAI timers, and other intra-router features can cause a router to briefly send "Spurious" announcements of less-preferred routes. They demonstrate that, even in simple configurations, this short-term spurious behavior may cause long-term divergence in global routing. They then present DPVP, a general model that unifies these sources of spurious announcements in order to examine their impact on BGP safety.