Detecting BGP configuration faults with static analysis (2005)

by N Feamster, H Balakrishnan
Venue:In Proceedings of NSDI’05