Correctness properties for internet routing

Nick Feamster, Hari Balakrishnan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Abstract

This paper motivates and presents a correctness specification for Internet routing. This specification is based on three properties-route validity, path visibility, and safety. This specification may be of use to people developing tools to check routing configurations, to people designing solutions to specific problems in the current sys- tem, and to designers of new protocols and routing architectures, all of whom can benefit from knowing what it means for Internet routing to be "correct".

Original languageEnglish (US)
Title of host publication43rd Annual Allerton Conference on Communication, Control and Computing 2005
PublisherUniversity of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering
Pages1279-1288
Number of pages10
ISBN (Electronic)9781604234916
StatePublished - 2005
Event43rd Annual Allerton Conference on Communication, Control and Computing 2005 - Monticello, United States
Duration: Sep 28 2005Sep 30 2005

Publication series

Name43rd Annual Allerton Conference on Communication, Control and Computing 2005
Volume3

Other

Other43rd Annual Allerton Conference on Communication, Control and Computing 2005
CountryUnited States
CityMonticello
Period9/28/059/30/05

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Correctness properties for internet routing'. Together they form a unique fingerprint.

  • Cite this

    Feamster, N., & Balakrishnan, H. (2005). Correctness properties for internet routing. In 43rd Annual Allerton Conference on Communication, Control and Computing 2005 (pp. 1279-1288). (43rd Annual Allerton Conference on Communication, Control and Computing 2005; Vol. 3). University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering.