Abstract:At a fundamental level, all Internet applications rely on a dependable packet delivery service provided by the Internet routing system. However, measurements have shown that various faults (i.e., physical failures or misbehavior) occur from time to time in the Internet. For physical failures of routers or links, it takes existing Internet protocols 3 minutes on average to converge to alternative paths, resulting in interrupted packet delivery. For misbehavior (i.e., mis-configurations or malicious attacks) that could result in data traffic hijacking, current Internet routing protocols provide little defense. This dissertation studies how to build resilient Internet routing protocols to provide reliable packet delivery despite the faults in the context of Border Gateway Protocol (BGP). First, we evaluate the performance of the existing routing protocols in the face of physical failures, as measured by their ability to continue packet delivery service during routing convergence. Our results show that quickly propagating new reachability information has the most impact on the packet delivery performance. We also show that BGP's update rate-limiting timer is the major contributing factor to the duration of the transient loops. Second, to speed up BGP convergence and improve packet delivery, we propose the Root Cause Notification approach. This approach explicitly signals the failure information, which enables a node to invalidate all the paths that have become obsolete because of the same failure. It reduces the upper bound of BGP routing convergence delay from O(n) to O(d), where n is the number of nodes in a BGP network and d is the network diameter. We also develop a framework that enables us to fill the gaps in analytical results for existing convergence improvement algorithms. Third, we propose a novel semantic checking approach and develop mechanisms for detecting invalid paths in BGP and further identifying the attacker. In this approach, a node accumulates a network topology using the root cause in formation, path information in BGP message, and on-demand queries. A high detection ratio is achieved by comparing the received paths with the paths predicted based on the accumulated topology.

A Formal Specification for RIP Protocol

Towards Modeling And Testing Of Ip Routing Protocols

Research and Practice on Conformance Test of RIPng Protocol of IPv6

RFT: Toward Highly Reliable Flow Data Transmission in Network Measurement

A Practical Analysis Report of Rip, EIGRP, And an OSPF Dynamic Routing Protocol using the Network Simulator Tool GNS-3

Building resilient internet routing protocols

Online Test System Applied in Routing Protocol Test

A Formal Approach for Passive Testing of Protocol Data Portions

On the Performance comparison of RIP, OSPF, IS-IS and EIGRP routing protocols

A Framework for Resilient Internet Routing Protocols

STRESS TESTING OF OSPF PROTOCOL ROUTING SDIZTLATION' IMPLEMENTATION BASED ON LARGE-SCALE

The IRCBus Communication Protocol Construction Design and Realization for Distributed Control System

Stress testing of OSPF protocol implementation based on large-scale routing simulation

From Active to Passive — Progress in Testing Internet Routing Protocols

Framework to Routing Protocols Testing

Design and Implementation of a RSVP-capable Router for Multiple QoS Support

Verification of Interdomain Routing System Based on Formal Methods

Formalization and Algorithms for Automatic OSPF Testing

Automatic Conformance Testing of OSPF Routers

Research on Stress Testing of OSPF Protocol Implementation

Formal Modeling and Analysis of Ad Hoc Zone Routing Protocol in Event-B