使用最小修正集定位路由器配置错误
网络与互联网体系结构
2022-04-25 v1
摘要
路由器配置错误不幸地很常见，并且难以使用当前的网络验证器进行定位。我们引入了一种新颖的配置错误定位器（CEL），它精确识别哪些配置段导致了转发需求被违反。具体而言，CEL生成一组可满足性模理论（SMT）约束——其编码了网络的配置、控制逻辑和转发需求——并使用特定领域的最小修正集（MCS）枚举算法来识别有问题的配置段。CEL高效地定位了真实大学网络中的若干配置错误，并识别了我们所引入的所有路由相关错误以及至少一半的ACL相关错误。
引用
@article{arxiv.2204.10785,
title = {Localizing Router Configuration Errors Using Minimal Correction Sets},
author = {Aaron Gember-Jacobson and Ruchit Shrestha and Xiaolin Sun},
journal= {arXiv preprint arXiv:2204.10785},
year = {2022}
}