BGP
BGP is the de facto standard routing protocol for interconnecting autonomous systems (ASs) on the Internet. Since its introduction in 1989, BGP has scaled the Internet to millions of routers and trillions of destinations. BGP is path-vector-based, using a flexible policy system to control route propagation and selection. While BGP convergence can be slow and policies complex, it remains the only viable protocol for Internet-scale inter-domain routing.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
- Rekhter, Y., Li, T., & Hares, S. (2006). A Border Gateway Protocol 4 (BGP-4). RFC 4271. · URL
- Stewart, J. W. (2014). BGP Design and Implementation (2nd ed.). Cisco Press. · URL
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.