Verification of routing policies by using model checking technique

Proceedings of the 6th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS'2011

Volumn 2, Issue , 2011, Pages 711-716

  Huadmai, Charuwalee ^a  

^a NATIONAL ELECTRONICS AND COMPUTER TECHNOLOGY CENTER   (Thailand)

Author keywords

BGP; routing policy verification

Indexed keywords

BGP; BGP ROUTING POLICIES; CONVERGENCE PROPERTIES; INTERDOMAIN ROUTING; LINEAR TEMPORAL LOGIC; MODEL-CHECKING TECHNIQUES; NETWORK CONFIGURATION; POLICY CONFLICT; REAL NETWORKS; ROUTING POLICIES;

DATA ACQUISITION; MATHEMATICAL MODELS; ROUTING PROTOCOLS; TEMPORAL LOGIC;

MODEL CHECKING;

EID: 82955184515     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IDAACS.2011.6072863     Document Type: Conference Paper

References (21)

1. Y. Rekhter, T. Li, and S. Hares, "A border gateway protocol 4," http://tools.ietf.org/html/rfc4271.
2. T. G. Griffin, and G. Wilfong, "An analysis of BGP convergence properties," SIGCOMM Comput. Commun, Rev. 29, no. 4, pp. 277-288, Aug. 1999.
3. T. G. Griffin, F. B. Shepherd, and G. Wilfong, "Policy disputes in path-vector protocols," Proceedings of the Seventh Annual International Conference on Network Protocols (ICNP'99), 1999.
4. C. Labovitz, A. Ahuja, R. Wattenhofer, and S. Venkatachary, "The impact of Internet policy and topology on delayed routing convergence," Proceedings of Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies. INFOCOM 2001, pp.537-546, 2001.
5. J. L. Sobrinho, "On the Convergence of Path Vector Routing Protocols," Proceedings of the 2001 IEEE Workshop on High Performance Switching and Routing, pp. 292-296, May 2001.
6. J. L. Sobrinho. "Network routing with path vector protocols: theory and applications," Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications. SIGCOMM '03 pp. 49-60, 2003.
7. J. L. Sobrinho, "An algebraic theory of dynamic network routing," Transactions on Networking, IEEE/ACM, vol.13, no.5, pp. 1160-1173, Oct. 2005.
8. W. Lijun, W. Jianping, and X. Ke, "Analysis of BGP Convergence Using SHLPN Model," The Third Advanced International Conference on Telecommunications, 2007. AICT 2007., pp.4, 13-19 May 2007.
9. T. G. Griffin, and G. Wilfong, "A safe path vector protocol," Proceedings of Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies. INFOCOM 2000., vol.2, pp.490-499, 2000.
10. Y. Afek, A. Bremler-Barr, and S. Schwarz, "Improved BGP convergence via ghost flushing," IEEE Journal on Selected Areas in Communications, vol.22, no.10, pp. 1933-1948, Dec. 2004.
11. Y. Wang, M. Schapira, and J. Rexford. "Neighbor-specific BGP: more flexible routing policies while improving global stability'" Proceedings of the eleventh international joint conference on Measurement and modeling of computer systems (SIGMETRICS '09), pp. 217-228, 2009.
12. L. Gao, and J. Rexford, "Stable Internet routing without global coordination," IEEE/ACM Transactions on Networking, vol.9, no.6, pp.681-692, Dec 2001.
13. N. Feamster, J. Borkenhagen, and J. Rexford, "Guidelines for interdomain traffic engineering", SIGCOMM Comput. Commun. Rev., vol. 33, no. 5, pp. 19-30, Oct. 2003.
14. N. Feamster, and H. Balakrishnan, "Towards a logic for wide-area Internet routing", SIGCOMM Comput. Commun., Rev. 33, no. 4, pp. 289-300, Aug. 2003.
15. N. Feamster, "Practical verification techniques for wide-area routing", SIGCOMM Comput. Commun. Rev., vol.34, no.1, pp. 87-92, Jan. 2004.
16. N. Feamster, and H. Balakrishnan, "Detecting BGP configuration faults with static analysis", Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation -Volume 2, pp. 43-56, 2005.
17. F. Le, S. Lee, T. Wong, H. S. Kim, and D. Newcomb, "Detecting network-wide and router-specific misconfigurations through data mining", IEEE/ACM Trans. Netw. vol. 17, no. 1, pp. 66-79, Feb. 2009.
18. C. Labovitz, and G. R. Malan, and F. Jahanian, "Internet routing instability," IEEE/ACM Trans. Netw., vol. 6 (5), pp. 515-528, Oct. 1998.
19. C. Labovitz, and G. R. Malan, and F. Jahanian, "Origins of internet routing instability," Proceedings of IEEE INFOCOMM 99, Mar. 1999.
20. N. Feamster, H. Balakrishnan, and J. Rexford, "Some foundational problems in Interdomain routing," In HotNets, pp. 41-46, 2004.
21. SPIN, http://spinroot.com/spin/whatispin.html.