Download now Free registration required
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 system, 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".
- Format: PDF
- Size: 226.3 KB