Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applicatio 2016
DOI: 10.1145/2983990.2984012
|View full text |Cite
|
Sign up to set email alerts
|

Scalable verification of border gateway protocol configurations with an SMT solver

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
21
0
1

Year Published

2017
2017
2022
2022

Publication Types

Select...
4
3

Relationship

2
5

Authors

Journals

citations
Cited by 41 publications
(22 citation statements)
references
References 24 publications
0
21
0
1
Order By: Relevance
“…Sementara hasil penelitian [5] menggarisbawahi pentingnya mekanisme kebijakan routing untuk mengatasi permasalahan implementasi BGP bagi ISP. Selanjutnya penelitian [13] menunjukkan bahwa BGP bersifat scalable, artinya implementasi dapat dikembangkan dari skala kecil ke skala besar.…”
Section: Diskusiunclassified
“…Sementara hasil penelitian [5] menggarisbawahi pentingnya mekanisme kebijakan routing untuk mengatasi permasalahan implementasi BGP bagi ISP. Selanjutnya penelitian [13] menunjukkan bahwa BGP bersifat scalable, artinya implementasi dapat dikembangkan dari skala kecil ke skala besar.…”
Section: Diskusiunclassified
“…Bagpipe is a solver-aided tool, written in Rosette, that enables ISPs to specify desirable properties of the ISP's BGP network, and automatically checks them for a given set of router configurations written in Cisco or Juniper configuration languages. This section describes our SpaceSearch-based, verified revision to the Bagpipe [Weitz et al 2016] prototype. This case study follows the same methodology as the overview: 1) We formally express the tool's specification, using a proof assistant.…”
Section: :21mentioning
confidence: 99%
“…Liveness properties, such as łthe ISP will eventually send an announcementž, cannot be checked by Bagpipe. Bagpipe's specification language is detailed in the original Bagpipe paper [Weitz et al 2016].…”
Section: :21mentioning
confidence: 99%
See 2 more Smart Citations