Relating two formal models of path-vector routing

— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protocol for the Internet. Sobrinho [9] and Griffin, Jaggard, and Ramachandran [4] proved conditions for guaranteed protocol convergence, but as these works operate at different levels of ion in modeling the protocols, the relationship between them is not obvious. Here we provide a rigorous translation between these two frameworks and use it to connect the convergence results, yielding a more complete set of analysis tools than in either framework alone. We motivate our discussion by presenting an example of applying both frameworks to analyze a set of protocols; in doing so, we show how the models, in conjunction, give important guidelines for protocol design.

• Type: Conference
• Year: 2005
• Where: INFOCOM
• Authors: Aaron D. Jaggard, Vijay Ramachandran
• Keywords: Communications, INFOCOM 2005, Inter-domain Routing Protocol, Path-vector Routing Protocols, Routing Protocol