Bagpipe : Verified BGP Configuration Checking

  title={Bagpipe : Verified BGP Configuration Checking},
  author={Konstantin Weitz and Michael D. Ernst and A. Krishnamurthy and Zachary Tatlock},
To reliably and securely route traffic across the Internet, Internet Service Providers (ISPs) must configure their Border Gateway Protocol (BGP) routers to implement policies restricting how routing information can be exchanged with other ISPs. Correctly implementing these policies in lowlevel router configuration languages, with configuration code distributed across all of an ISP’s routers, has proven challenging in practice, and misconfiguration has led to extended worldwide outages and… CONTINUE READING