Abstract. Current Internet routing protocols exhibit several types of anomalies that can reduce network reliability. In order to design more robust protocols we need better formal models to capture the complexities of Internet routing. In this paper we develop an algebraic model that clarifies the distinction between routing tables and forwarding tables. We hope that this suggests new approaches to the design of routing protocols.
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.