Wide-Area Routing Analysis
Tools and Techniques for Fault Detection and Traffic Engineering. The
state-of-the-art for router configuration typically involves logging
configuration changes and rolling back to a previous version when a
problem arises. The lack of a formal reasoning framework means that
router configuration is time-consuming and ad hoc. We propose a set of
rules, called the routing logic, which can be used to determine
whether a routing protocol satisfies various properties. Network
operators need tools based on systematic fault detection
techniques to ensure that BGP's operational behavior is consistent
with the intended behavior (i.e., that the network is operating
``correctly''). We are designing a verification tool based on a new
reasoning framework that helps operators and protocol designers reason
about high-level properties of routing protocols.
- Detecting BGP
Configuration Faults with Static Analysis
Nick Feamster, Hari Balakrishnan
2nd Symp. on Networked Systems Design and Implementation (NSDI), Boston, MA, May 2005.
Detecting Cold Potatoes from Peers
Nick Feamster, Zhuoqing Morley Mao, Jennifer Rexford
Conference, Taormina, Italy, October 2004.
- A Model of BGP
Routing for Network Engineering
Nick Feamster, Jared Winick, Jennifer Rexford
ACM Sigmetrics -
Performance 2004, New York, NY, June
Practical Verification Techniques for Wide-Area Routing
2nd ACM Workshop on Hot Topics in Networks (HotNets-II),
Cambridge, MA, November 2003.
Rethinking Routing Configuration: Beyond Stimulus-Response Reasoning
Workshop on Internet Routing
Evolution and Design,
Mount Hood, OR, October 2003. (Invited.)
- Towards a Logic for
Wide-Area Internet Routing
Nick Feamster and Hari Balakrishnan
ACM SIGCOMM Workshop
on Future Directions in Network Architecture,
, Karlsruhe, Germany, August 2003.
Understanding Routing Dynamics.
We attempt to develop better intuition for why network
failures occur by looking at BGP updates and correlating route
withdrawals with end-to-end behavior that can be observed with tools
such as traceroute. We have also examined BGP routing data to build
evidence for the existence of routing misconfiguration.
- An Empirical Study of
``Bogon'' Route Advertisements
Nick Feamster, Jaeyeon Jung, Hari Balakrishnan
Computer Communication Review, Volume 35, Number 1, January 2005.
- Measuring the Effects of Internet Path Faults on Reactive Routing
Nick Feamster, David Andersen, Hari Balakrishnan, and Frans Kaashoek
ACM SIGMETRICS 2003
, San Diego, CA, June 2003.
Inference from BGP Routing Dynamics
David G. Andersen, Nick
Feamster, Steve Bauer, and Hari Balakrishnan
2nd SIGCOMM Internet
Measurement Workshop, Marseille, France, November 2002.
New Routing Protocols and Architectures. The limitations in
system arise in large part from the fully distributed path-selection
computation that the IP routers must perform. We are working on a
system called the Routing Control Platform (RCP), a system that performs
route selection on behalf of routers, whose task then is simply to
Implications of Autonomy for
the Expressiveness of Policy Routing
Nick Feamster and Hari Balakrishnan
Philadelphia, PA, August 2005.
- The Case for Separating Routing
Nick Feamster, Hari Balakrishnan,
Jennifer Rexford, Aman Shaikh, Kobus van der Merwe
SIGCOMM Workshop on Future Directions in Network Architecture
(FDNA), Portland, OR, September 2004.
Please send comments and questions to: bgp at nms lcs mit edu.
bodrum escortbodrum escort
M. I. T. Computer Science and Artificial Intelligence Laboratory · 32 Vassar Street · Cambridge, MA 02139 · USA