<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-05-04 18:39:48Routing protocols Internet protocols Internet standards Border Gateway Protocol Routing Peering IP hijacking Internet Network architecture Computing |
Add to Reading List |
BGP
2010-‐2011
Geoff
Huston
APNIC
R&D
Conven9onal
(Historical)
BGP
Wisdom
IAB
Workshop
on
Inter-‐Domain
rou9ng
in
 | Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver um eDocID: 1uOJq - View Document |
 | Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver um eDocID: 1uyBr - View Document |
 | Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver um eDocID: 1tJRq - View Document |
 | Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug WoosDocID: 1tGFv - View Document |
 | Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Doug WeitzDocID: 1t2Vi - View Document |