On Static Reachability Analysis of IP Networks

Date Added: Jan 2011
Format: PDF

The primary purpose of a network is to provide reachability between applications running on end hosts. This paper describes how to compute the reachability a network provides from a snapshot of the configuration state from each of the routers. The primary contribution is the precise definition of the potential reachability of a network and a substantial simplification of the problem through a unified modeling of packet filters and routing protocols.