Route servers for inter-domain routing
Computer Networks and ISDN Systems
Understanding BGP misconfiguration
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
Towards a logic for wide-area Internet routing
FDNA '03 Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture
On inferring and characterizing internet routing policies
Proceedings of the 3rd ACM SIGCOMM conference on Internet measurement
Detecting BGP configuration faults with static analysis
NSDI'05 Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation - Volume 2
Dynamic Policy-Based Network Management for a Secure Coalition Environment
IEEE Communications Magazine
NetScope: traffic engineering for IP networks
IEEE Network: The Magazine of Global Internetworking
A privacy-aware access control model for distributed network monitoring
Computers and Electrical Engineering
Hi-index | 0.00 |
Several research works have shown that the process of Internet routing configuration is error-prone. The primary method used by operators to determine whether their routing configurations are correct is to try them out in operation. A more advanced method is the static analysis of router configurations before they are deployed. We believe that there is a need of broader approaches to verify router configurations automatically and continuously, that is, without human intervention before and after they are deployed. This paper describes a multi-layer analysis framework for configuration checking, which includes three analysis tasks: static analysis before the configuration is deployed; runtime analysis after the configuration is deployed, which is based on routing event monitoring; and active analysis based on checking external information provided by third-parties. We also present the most relevant details of the implementation of our framework.