A General Approach to Network Configuration Verification-Reference-Cited by-同舟云学术

A General Approach to Network Configuration Verification

Published:2017-08-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Conference of the ACM Special Interest Group on Data Communication
language:
Short-container-title:

Author:

Beckett Ryan¹,Gupta Aarti¹,Mahajan Ratul²,Walker David¹

Affiliation:

1. Princeton University

2. Microsoft Research & Intentionet

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference35 articles.

1. M. Anderson. Time warner cable says outages largely resolved. http://www.seattletimes.com/business/time-warner-cable-says-outages-largely-resolved 2014. M. Anderson. Time warner cable says outages largely resolved. http://www.seattletimes.com/business/time-warner-cable-says-outages-largely-resolved 2014.

2. L. Bauer S. Garriss and M. K. Reiter. Detecting and resolving policy misconfigurations in access-control systems. ACM Trans. Information and System Security 14(1) 2011. 10.1145/1952982.1952984 L. Bauer S. Garriss and M. K. Reiter. Detecting and resolving policy misconfigurations in access-control systems. ACM Trans. Information and System Security 14(1) 2011. 10.1145/1952982.1952984

3. R. Beckett. Minesweeper source code. https://batfish.github.io/minesweeper 2017. R. Beckett. Minesweeper source code. https://batfish.github.io/minesweeper 2017.

4. Don't Mind the Gap

5. News and press | BGPMon. http://www.bgpmon.net/news-and-events/. News and press | BGPMon. http://www.bgpmon.net/news-and-events/.

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

1. Poster: Scalable and Interpretable Multilayer Overlay Network Checking via Ensemble Verification;Proceedings of the ACM SIGCOMM 2024 Conference: Posters and Demos;2024-08-04

2. Poster: Automating Network Configuration with Natural Language Intents;Proceedings of the ACM SIGCOMM 2024 Conference: Posters and Demos;2024-08-04

3. A Lightweight and Fast Network Verification Platform for Cloud Data Center Networks;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04

4. Interpretable Network Synthesis via Localized Specifications;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04

5. ConfigHub: A Network Configuration Sharing Platform;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04