Work in Progress...
“An Analysis of BGP Convergence Properties”
Timothy G. Griffin, Gordon Wilfong
“Policy Disputes in Path Vector Protocols”
Timothy G. Griffin, F. Bruce Shepherd, Gordon Wilfong
Model BGP, show static analysis is hard
Define Stable Paths Problem and develop
sufficient condition for “sanity”
Dynamic solution based on histories
“A Safe Path Vector Protocol”
Timothy G. Griffin, Gordon Wilfong
“Stable Internet Routing without Global Coordination”
Lixin Gao, Jennifer Rexford
Show that if certain guidelines are followed, then all is well.