Practical verification techniques for wide-area routing

Computer Communication Review

Volumn 34, Issue 1, 2004, Pages 87-92

  Feamster, Nick ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BGP; PROGRAM ANALYSIS PROBLEM; ROUTER CONFIGURATION;

COMPUTER SIMULATION; NETWORK PROTOCOLS; PROGRAM DEBUGGING; ROUTERS; SYSTEMS ENGINEERING;

WIDE AREA NETWORKS;

EID: 11244345784     PISSN: 01464833     EISSN: 01464833     Source Type: Conference Proceeding    
DOI: 10.1145/972374.972390     Document Type: Conference Paper

References (19)

1. BICKNELL., L. Re: transit across the ixs. http://www.merit.edu/mail. archives/nanog/1999-02/msg00192.html, February 1999.
2. BUSH, R. It's 1918 in Bologna, http://www.merit.edu/mail.archives/nanog/ msg11169.html, July 2003.
3. BUSH, R., ET AL. Watching your router confi gurations and detecting those exciting little changes. http://www.nanog.org/mtg-0310/rancid.html, October 2003. Panel at NANOG 29.
4. FARROW, R. Routing instability on the Internet. Network Magazine (March 4, 2002). http://www.networkmagazine.com/article/NMG20020304S0007/2.
5. FEAMSTER, N., AND BALAKRISHNAN, H. A systematic approach to BGP configuration checking. http://www.nanog.org/mtg-0310/feamster.html, October 2003. NANOG 29.
6. FEAMSTKR, N., AND BALAKRISHNAN, H. Towards a logic for wide-area Internet routing. In ACM SIGCOMM Workshop on Future Directions in Network Architecture (Karlsruhe, Germany, Aug. 2003).
7. FEAMSTER, N., BORKENHAGEN, J., AND REXFORD, J. Techniques for interdomain traffic engineering. Computer Communications Review 33, 5 (October 2003).
8. FEAMSTER, N.. WINICK, J., AND REXFORD, J. A model of BGP routing for network engineering. In submission, Nov. 2003.
9. Goldwire Formulator, 2003. http://www.goldwiretech.com/products/ formulator.cfm.
10. GOTTLIEB, J., GREENBERG, A., REXFORD, J., AND WANG, J. Automated Provisioning of BGP Customers. IEEE Network (2003).
11. GOVINDAN, R., ALAETTINOGLU, C., VARADHAN, K., AND ESTRIN, D. Route servers for inter-domain routing. Networks and ISDN Systems 30 (1998), 1157-1174.
12. GRIFFIN, T., AND WILFONG, G. Analysis of the MED oscillation problem in BGP. In Proc. ICNP (Paris, France, November 2002).
13. GRIFFIN, T., AND WILFONG, G. On the correctness of IBGP confi guration. In Proc. ACM SIGCOMM (Pittsburgh, PA, August 2002).
14. GRIFFN, T. G., SHEPHERD, F. B., AND WILFONG, G. The stable paths problem and interdomain routing. IEEE Transactions on Networking 10, 1 (2002), 232-243.
15. MAHAJAN, R., WETHERALI., D., AND ANDERSON, T. Understanding BGP misconfi guration. In Proc. ACM SIGCOMM (Aug. 2002), pp. 3-17.
16. MCPHERSON, D., GILL., V., WALTON, D., AND RETANA, A. Border Gateway Protocol (BGP) Persistent Route Oscillation Condition. Internet Engineering Task Force, August 2002. RFC 3345.
17. PAYNE, J. Filtering Customer BGP Sessions, http://www.merit.edu/mail. archives/nanog/msg11184.html, July 2003.
18. REKHTKR, Y., AND LI, T. A Border Gateway Protocol 4 (BGP-4). Internet Engineering Task Force, 1995. RFC 1771.
19. REXFORD, J. State of the art in router configuration. http://www.merit.edu/mail.archives/nanog/2002-01/msg00265.html, January 2002.