一种基于FSM的BGP-4协议模糊测试方法

来源：计算机工程与应用杂志2017年第6期北京时间：

作者：康红凯，吴礼发，洪 征，庄洪林，张亚丰

单位：解放军理工大学 指挥信息系统学院，南京 210007

摘要：BGP-4路由协议的安全性对于保障整个网络安全、可靠运行具有重要意义。现有的模糊测试方法在对BGP-4协议测试时存在状态测试困难、测试用例冗余等问题。为了解决这些问题，提出了一种基于有限状态机的BGP-4协议模糊测试方法BFuzz，设计了测试序列生成算法TSGF（Test Sequences Generation for Fuzzing）和测试用例生成算法TCGVF（Test Cases Generation based on Vulnerable Fields），实现了原型系统BFuzzer。测试结果表明该方法能够有效地挖掘BGP-4协议中的漏洞。

关键词：有限状态机,路由协议,模糊测试,漏洞挖掘