BGP Configuration Affects Correctness


BGP has serious problems
Frequently misconfigured [Mahajan2002]
Forwarding loops [Dube1999]
Persistent route oscillation [Griffin1999, Varadhan2000]
Slow convergence/suppressed routes [Labovitz2001, Mao2002]
Useless routing messages [Labovitz1999, Wang2002]
Security weaknesses [Beard2002, Kent2000]

BGP's configuration determines
whether the protocol behaves correctly or not.

BGP configuration is a distributed program.
We need practical verification techniques.