Scalable verification of border gateway protocol configurations with an SMT solver-Reference-Cited by-同舟云学术

Scalable verification of border gateway protocol configurations with an SMT solver

Published:2016-10-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
language:
Short-container-title:

Author:

Weitz Konstantin¹,Woos Doug¹,Torlak Emina¹,Ernst Michael D.¹,Krishnamurthy Arvind¹,Tatlock Zachary¹

Affiliation:

1. University of Washington, USA

Funder

DARPA

NSF

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2983990.2984012

Reference41 articles.

1. C. J. Anderson etal “NetKAT: Semantic Foundations for Networks”. In: POPL. 2014. 10.1145/2535838.2535862 C. J. Anderson et al. “NetKAT: Semantic Foundations for Networks”. In: POPL. 2014. 10.1145/2535838.2535862

2. T. Ball etal “VeriCon: Towards Verifying Controller Programs in Software-defined Networks”. In: PLDI. 2014. 10.1145/2594291.2594317 T. Ball et al. “VeriCon: Towards Verifying Controller Programs in Software-defined Networks”. In: PLDI. 2014. 10.1145/2594291.2594317

3. BelWü. https://www.belwue.de/. BelWü. https://www.belwue.de/.

4. BGP Feature Guide for the OCX Series. 2015. BGP Feature Guide for the OCX Series. 2015.

5. M. Brown. Pakistan hijacks YouTube. http://research. dyn.com/2008/02/pakistan-hijacks-youtube-1/. 2008. M. Brown. Pakistan hijacks YouTube. http://research. dyn.com/2008/02/pakistan-hijacks-youtube-1/. 2008.

Cited by 26 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

2. Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

3. Network Specification Mining with High Fidelity and Scalability;2023 IEEE 31st International Conference on Network Protocols (ICNP);2023-10-10

4. The Internet of Tomorrow Must Sleep More and Grow Old;ACM SIGEnergy Energy Informatics Review;2023-10

5. Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09