On static reachability analysis of IP networks

  title={On static reachability analysis of IP networks},
  author={Geoffrey G. Xie and Jibin Zhan and David A. Maltz and Hui Zhang and Albert G. Greenberg and G{\'i}sli Hj{\'a}lmt{\'y}sson and Jennifer Rexford},
  journal={Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies.},
  pages={2170-2183 vol. 3}
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provides from a snapshot of the configuration state from each of the routers. Our 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. In the end, we reduce a complex… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 215 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 148 extracted citations

Applying Formal Methods to Networking: Theory, Techniques, and Applications

IEEE Communications Surveys & Tutorials • 2015
View 5 Excerpts
Highly Influenced

Formal analysis approach on networks with dynamic behaviours

International Congress on Ultra Modern Telecommunications and Control Systems • 2010
View 5 Excerpts
Highly Influenced

A Formal Model for Network-Wide Security Analysis

15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008) • 2008
View 4 Excerpts
Highly Influenced

Requirements for Routing in the Application Layer

View 16 Excerpts
Highly Influenced

Network configuration in a box: towards end-to-end verification of network reachability and security

2009 17th IEEE International Conference on Network Protocols • 2009
View 4 Excerpts
Highly Influenced

215 Citations

Citations per Year
Semantic Scholar estimates that this publication has 215 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 12 references

A Bar& Gateway Protocol 4 Aman Sh&h and Albert Greenberg. OSPF monitoring: Architecture. design. and deployment experience

Y. Rekhter, T. Li
In Pmc. USENlXlACM NSDI. March 2004. P. Srisuresh and M. Holdrege. IP Nemurk Address Tirunslator • 2004

pin-pointing routing changes

Geoffrey Xie. Jibin Zhan, David A. Maltz. Hui Zhang, Albert Greenberg, Gisli Hjalmtysson, Jennifer Rexford
SlGCOMM Workshop on Nenvork Troubleshooting, • 2004

Griffin . Integrity for virtual private routed networks

G. Timothy
Proc . IEEE INFOCOM • 2003


Ip router configuration. In Pruc. ACM SIGCOMM Worksho November
Callon. RFC 1195 - Use of OSI IS-IS for Touting in TCP/IP • 2003

The temproal and topological characteristics of BGP path changes

Thomas H. Cormen, Charles E. Leiserson, L. Ronald
Proc . International Conference on Network Protocols , November • 2003

Wc 2663

Force, Aug
Cisco Systems. BGP Best Path Selection Algorithm. http://www.cisco.com/warp/public/459/25.sh~l. Cisco Systems. Enhanced IGRP. http:f/www.cisGo.codunivercd/cc/td/doc/cisin • 1999

Nick Feamster and Hari Balakrishnm. Verifying the correctness of wide-area Internet routing

Anja Feldmann, Jennifer Rexford
lo Algorirhms. MIT Press (McGraw-Hill), • 1990

Similar Papers

Loading similar papers…