TY - GEN
T1 - Correctness properties for internet routing
AU - Feamster, Nick
AU - Balakrishnan, Hari
PY - 2005
Y1 - 2005
N2 - 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".
AB - 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".
UR - http://www.scopus.com/inward/record.url?scp=84962106561&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84962106561&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84962106561
T3 - 43rd Annual Allerton Conference on Communication, Control and Computing 2005
SP - 1279
EP - 1288
BT - 43rd Annual Allerton Conference on Communication, Control and Computing 2005
PB - University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering
T2 - 43rd Annual Allerton Conference on Communication, Control and Computing 2005
Y2 - 28 September 2005 through 30 September 2005
ER -