Detecting BGP configuration faults with static analysis

2nd Symposium on Networked Systems Design and Implementation, NSDI 2005

Volumn , Issue , 2005, Pages 43-56

  Feamster, Nick ^a   Balakrishnan, Hari ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT DETECTION; GATEWAYS (COMPUTER NETWORKS); ROUTING PROTOCOLS; STATIC ANALYSIS; SYSTEMS ANALYSIS;

AUTONOMOUS SYSTEMS; DESIGN AND IMPLEMENTATIONS; INTERNET ROUTING; NETWORK OPERATOR; OPERATIONAL NETWORK; REACHABILITY; ROUTER CONFIGURATION; STATUS QUO;

BORDER GATEWAY PROTOCOL;

EID: 84894553762     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. BASU, A., ET AL. Route oscillations in IBGP with route reflection. In Proc. ACM SIGCOMM (Pittsburgh, PA, Aug. 2002).
2. BATES, T., CHANDRA, R., AND CHEN, E. BGP Route Reflection - An Alternative to Full Mesh IBGP. Internet Engineering Task Force, Apr. 2000. RFC 2796.
3. BEIJNUM, I. V. BGP. O'Reilly and Associates, Sept. 2002.
4. BHARGAVAN, K., OBRADOVIC, D., AND GUNTER, C. A. Formal verification of standards for distance vector routing protocols. Journal of the ACM 49, 4 (July 2002), 538-576.
5. CAESAR, M., FEAMSTER, N., REXFORD, J., SHAIKH, A., AND VAN DER MERWE, K. Design and Implementation of a Routing Control Platform. In Proc. 2nd Symposium on Networked Systems Design and Implementation (Boston, MA, May 2005).
6. CALDWELL, D., GILBERT, A., GOTTLIEB, J., GREENBERG, A., HJALMTYSSON, G., AND REXCORD, J. The cutting EDGE of IP router configuration. In Proc. 2nd ACM Workshop on Hot Topics in Networks (Hotnets-II) (Cambridge, MA, Nov. 2003).
7. Team Cymru bogon route server project. http://www.cymru.com/BGP/bogon-rs.html.
8. DUBE, R. A comparison of scaling techniques for BGP. ACM Computer Communications Review 29, 3 (July 1999), 44-46.
9. FEAMSTER, N. Practical verification techniques for wide-area routing. In Proc. 2nd ACM Workshop on Hot Topics in Networks (Hotnets-II) (Cambridge, MA, Nov. 2003).
10. FEAMSTER, 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).
11. FEAMSTER, N., JOHARI, R., AND BALAKRISHNAN, H. Stable policy routing with provider independence. Tech. Rep. MIT-LCS-TR-981, Massachusetts Institute of Technology, Feb. 2005.
12. FEAMSTER, N., JUNG, J., AND BALAKRISHNAN, H. An empirical study of “bogon” route advertisements. ACM Computer Communications Review (Nov. 2004).
13. FEAMSTER, N., MAO, Z. M., AND REXFORD, J. BorderGuard: Detecting cold potatoes from peers. In Proc. ACM SIGCOMM Internet Measurement Conference (Taormina, Sicily, Italy, Oct. 2004).
14. FEAMSTER, N., WINICK, J., AND REXFORD, J. A model of BGP routing for network engineering. In Proc. ACM SIGMETRICS (New York, NY, June 2004).
15. FELDMANN, A., AND REXFORD, J. IP network configuration for intradomain traffic engineering. IEEE Network (Sept. 2001).
16. GAO, L. On inferring automonous system relationships in the Internet. IEEE/ACM Transactions on Networking 9, 6 (Dec. 2001), 733-745.
17. GAO, L., GRIFFIN, T. G., AND REXFORD, J. Inherently safe backup routing with BGP. In Proc. IEEE INFOCOM (Anchorage, AK, Apr. 2001).
18. GODEFROID, P. Model Checking for Programming Languages using VeriSoft. In Proc. ACM Symposium on Principles of Programming Languages (1997).
19. GRIFFIN, T., AND WILFONG, G. An analysis of BGP convergence properties. In Proc. ACM SIGCOMM (Cambridge, MA, Sept. 1999).
20. GRIFFIN, T., AND WILFONG, G. On the correctness of IBGP configuration. In Proc. ACM SIGCOMM (Pittsburgh, PA, Aug. 2002).
21. GRIFFIN, T. G., SHEPHERD, F. B.,, AND WILFONG, G. The stable paths problem and interdomain routing. IEEE/ACM Transactions on Networking 10, 1 (2002), 232-243.
22. HAJEK, J. Automatically verified data transfer protocols. In Proc. ICCC (1978), pp. 749-756.
23. LABOVITZ, C., AHUJA, A., BOSE, A., AND JAHANIAN, F. Delayed Internet Routing Convergence. IEEE/ACM Transactions on Networking 9, 3 (June 2001), 293-306.
24. MAHAJAN, R., WETHERALL, D., AND ANDERSON, T. Understanding BGP misconfiguration. In Proc. ACM SIGCOMM (Pittsburgh, PA, Aug. 2002), pp. 3-17.
25. MUSUVATHI, M., AND ENGLER, D. Some lessons from using static analysis and software model checking for bug finding. In Workshop on Software Model Checking (Boulder, CO, July 2003).
26. MUSUVATHI, M., AND ENGLER, D. A framework for model checking network protocols. In Proc. First Symposium on Networked Systems Design and Implementation (NSDI) (San Francisco, CA, Mar. 2004).
27. The North American Network Operators' Group mailing list archive. http://www.cctec.com/maillists/nanog/.
28. NORTON, W. Internet service providers and peering. http://www.equinix.com/press/whtppr.htm.
29. Opnet NetDoctor. http://opnet.com/products/modules/netdoctor.htm.
30. Really Awesome New Cisco ConfIg Differ (RANCID). http://www.shrubbery.net/rancid/, 2004.
31. REKHTER, Y., AND LI, T. A Border Gateway Protocol 4 (BGP-4). Internet Engineering Task Force, Mar. 1995. RFC 1771.
32. Router Glitch Cuts Net Access. http://news.com.com/2100-1033-279235.html, Apr. 1997.
33. SPRING, N., MAHAJAN, R., AND ANDERSON, T. Quantifying the causes of path inflation. In Proc. ACM SIGCOMM (Karlsruhe, Germany, Aug. 2003).
34. BGP config donation. http://www.cs.washington.edu/research/networking/policy-inference/donation.html.
35. VARADHAN, K., GOVINDAN, R., AND ESTRIN, D. Persistent route oscillations in inter-domain routing. Computer Networks 32, 1 (2000), 1-16.