BGPFuzz: 边界网关协议的自动化配置模糊测试
软件工程
2025-12-08 v1
摘要
电信网络依赖配置来定义路由行为，尤其是在边界网关协议（BGP）中，配置错误可能导致严重的停机和安全漏洞，如 2021 年 Facebook 宕机事件所证明的那样。与依赖合成或验证的现有方法不同，我们的工作提供了一种经济高效的方法，用于识别由 BGP 固有复杂性或供应商特定实现导致的配置错误。我们提出了 BGPFuzz，一个结构感知且状态感知的模糊测试框架，系统地变异 BGP 配置并在虚拟化网络中评估其效果。无需像静态分析那样预设正确性属性，BGPFuzz 通过运行时预言机检测异常，这些预言机捕获会话重置、黑洞化和流量重定向等实际症状。我们的实验表明，BGPFuzz 能够可靠地复现和检测已知故障，包括最大前缀违规和子前缀劫持。
引用
@article{arxiv.2512.05358,
title = {BGPFuzz: Automated Configuration Fuzzing of the Border Gateway Protocol},
author = {Chenlu Zhang and Amirmohammad Pasdar and Van-Thuan Pham},
journal= {arXiv preprint arXiv:2512.05358},
year = {2025}
}
备注
6 pages, 3 figures