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

发布时间：2019-04-09 10:46

【摘要】：BGP-4路由协议的安全性对于保障整个网络安全、可靠运行具有重要意义。现有的模糊测试方法在对BGP-4协议测试时存在状态测试困难、测试用例冗余等问题。为了解决这些问题,提出了一种基于有限状态机的BGP-4协议模糊测试方法 BFuzz,设计了测试序列生成算法TSGF(Test Sequences Generation for Fuzzing)和测试用例生成算法TCGVF(Test Cases Generation based on Vulnerable Fields),实现了原型系统BFuzzer。测试结果表明该方法能够有效地挖掘BGP-4协议中的漏洞。
[Abstract]:The security of BGP-4 routing protocol is of great significance to ensure the security and reliable operation of the whole network. The existing fuzzy testing methods have some problems such as the difficulty of state testing and the redundancy of test cases when testing BGP-4 protocol. In order to solve these problems, a fuzzy test method for BGP-4 protocol based on finite state machine (FSM) is proposed. BFuzz, designs a test sequence generation algorithm TSGF (Test Sequences Generation for Fuzzing) and a test case generation algorithm TCGVF (Test Cases Generation based on Vulnerable Fields),. The prototype system BFuzzer. is implemented. The test results show that the proposed method can effectively exploit the vulnerabilities in BGP-4 protocol.
【作者单位】： 解放军理工大学指挥信息系统学院;
【基金】：江苏省自然科学基金(No.BK2011115)
【分类号】：TP393.08

【参考文献】

相关期刊论文 前3条

1 李舟军;张俊贤;廖湘科;马金鑫;;软件安全漏洞检测技术[J];计算机学报;2015年04期

2 王颖;杨义先;钮心忻;谷利泽;;基于控制流序位比对的智能Fuzzing测试方法[J];通信学报;2013年04期

3 陈涛;潘雪增;陈健;陈小平;陆魁军;;基于FSM的协议一致性测试序列生成算法研究[J];计算机工程与应用;2010年06期

【共引文献】

相关期刊论文 前10条

1 邱洋;王轶骏;薛质;;基于符号执行的Python攻击脚本分析平台[J];计算机工程;2016年11期

2 潘巍巍;陶桦;;无线通信网络中攻击信号定位识别仿真研究[J];计算机仿真;2016年11期

3 李艳;黄光球;张斌;;动态攻击网络Markov演化博弈安全分析模型[J];计算机科学与探索;2016年09期

4 吴波;云雷;金先涛;刘北水;;工业监控组态软件模糊测试方法研究[J];电子产品可靠性与环境试验;2016年03期

5 张俊贤;李舟军;;基于动态符号执行的C代码缓冲区溢出检测[J];北京邮电大学学报;2016年S1期

6 卢燕群;赵洪举;叶亚宏;;基于交易报文指纹关系的商业银行风险交易识别与发现[J];计算机应用研究;2017年03期

7 马金鑫;张涛;李舟军;张江霄;;Fuzzing过程中的若干优化方法[J];清华大学学报(自然科学版);2016年05期

8 李艳;黄光球;曹黎侠;张斌;;复杂攻击网络的概率可控性[J];计算机科学与探索;2016年10期

9 柳毅;洪俊斌;;基于网络爬虫与页面代码行为的XSS漏洞动态检测方法[J];电信科学;2016年03期

10 王媛媛;;研究计算机软件中安全漏洞检测技术[J];信息化建设;2016年03期

【二级参考文献】

相关期刊论文 前10条

1 姚洪波;尹亮;文伟平;;基于FUZZING测试技术的Windows内核安全漏洞挖掘方法研究及应用[J];信息网络安全;2011年12期

2 崔展齐;王林章;李宣东;;一种目标制导的混合执行测试方法[J];计算机学报;2011年06期

3 梅宏;王千祥;张路;王戟;;软件分析技术进展[J];计算机学报;2009年09期

4 李梦君;李舟军;陈火旺;;基于抽象解释理论的程序验证技术[J];软件学报;2008年01期

5 魏仰苏;孟兆航;舒挺;;通信协议一致性测试序列自动生成算法研究[J];计算机工程与设计;2007年10期

6 葛猛,赵保华;BGP-4协议一致性测试序列生成[J];计算机工程与应用;2005年22期

7 徐军委,赵保华,屈玉贵;一种新的UIO测试序列生成算法[J];中国科学技术大学学报;2004年06期

8 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期

9 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期

10 田野,屈玉贵,赵保华;基于UIO的协议测试序列生成方法的改进[J];计算机工程与应用;2000年12期

【相似文献】

相关期刊论文 前10条

1 魏蓉;;防火墙测试方法的研究[J];科技创新导报;2009年02期

2 ;电视机频通道统一测试方法(暂行)[J];广播与电视技术;1977年02期

3 马喜腾;叶绍英;曾起骧;王宁海;;关于我国云纹测试方法的重要元件——密栅版的研制[J];机械强度;1981年02期

4 陆正伟;耳机的测试方法[J];电声技术;1985年03期

5 孙隆庆;;评“美国电子管测试方法军用标准”[J];真空电子技术;1988年04期

6 王孙安;林廷圻;史维祥;;几种转速测试方法的比较[J];液压气动与密封;1992年04期

7 谢卫,刘键,李胜利;一个有效的数组下标相关性测试方法[J];计算机工程与应用;1993年04期

8 许世忠，，周德;电话按键按力测试方法探讨[J];电子标准化与质量;1994年03期

9 周安利;解决千年虫,IBM负重前进[J];中国计算机用户;1998年31期

10 张晰;测试头测试方法及其性能、功能的分析[J];电信技术;1999年03期

相关会议论文 前10条

1 章辉;;纺织品负离子发生量测试方法概述[A];“力恒杯”第11届功能性纺织品、纳米技术应用及低碳纺织研讨会论文集[C];2011年

2 曾桂生;;电子玻璃理化性能测试方法技术标准制定的综述[A];第四届理化分析经验交流会论文集（下册）[C];1990年

3 张立;邵闯;;隔热材料声载荷修正测试方法[A];第九届全国振动理论及应用学术会议论文摘要集[C];2007年

4 张炯;金惠华;;非干涉测试方法对异质嵌入式系统的适应[A];第四届中国测试学术会议论文集[C];2006年

5 张立;邵闯;;隔热材料声载荷修正测试方法[A];第九届全国振动理论及应用学术会议论文集[C];2007年

6 黄盛修;侯冠廷;张光男;陈春万;张振平;陈志杰;;空气清净机测试方法评估[A];第十届全国气溶胶会议暨第六届海峡两岸气溶胶技术研讨会摘要集[C];2009年

7 黄菁;李建欣;朱日宏;陈磊;何勇;;单帧干涉测试方法及其软件实现研究[A];第十二届全国光学测试学术讨论会论文（摘要集）[C];2008年

8 齐超;杨茂华;孙晓刚;戴景民;;双向反射分布函数的测试方法分析和实验研究[A];2002年中国光学学会年会论文集[C];2002年

9 王健忠;;玻纤布浸润性测试方法的研究[A];第四届全国覆铜板技术·市场研讨会报告·论文集[C];2003年

10 王小曼;;“电子警察”闯红灯系统的原理和测试方法的探讨[A];华东华南计量学术交流研讨会论文集[C];2012年

相关重要报纸文章 前10条

1 姜丹 记者 王梅;我国电缆及连接器行业首个测试方法成为国际标准[N];中国质量报;2014年

2 本报记者 曹雅丽;统一测试方法 家电噪声新标准实施在即[N];中国工业报;2014年

3 江苏亨通光纤科技有限公司光纤分析实验室 王利英 马爱惠 黄强;G652D光纤宏弯损耗测试方法的实践及数据分析[N];通信产业报;2010年

4 魏亮;网络设备的主要测试方法[N];网络世界;2002年

5 记者 蒙华;《材料负离子发生量的测试方法》建材行业标准有望年底出台[N];中国建材报;2006年

6 北惃;了解自己 成就事业[N];市场报;2003年

7 本报记者 荣钰;IP融合带来测试方法学新发展[N];网络世界;2004年

8 劳;新方法检测快！快！快！[N];医药经济报;2001年

9 ;谁可分得SOC这杯羹[N];计算机世界;2003年

10 通讯员 刘晓杰;纺织品吸水性测试方法研发项目取得进展[N];中国纺织报;2009年

相关博士学位论文 前1条

1 张岩;列车运行控制系统软件故障相关形式化测试方法[D];北京交通大学;2012年

相关硕士学位论文 前10条

1 王骋曜;3D关键技术及测试方法研究[D];上海交通大学;2014年

2 宋林;风险测试方法在补丁测试中的应用研究[D];西安电子科技大学;2015年

3 赵溪山;电信业务支撑系统测试方法策略及其应用探究[D];山东大学;2015年

4 肖裕;MCU的ESD测试方法改进及其IO防护设计研究[D];湘潭大学;2015年

5 陈亦富;车身控制器功能测试方法改进及实现[D];上海交通大学;2014年

6 岳志强;CCD放大器测试方法的研究与实现[D];电子科技大学;2015年

7 徐小华;忆阻器测试方法及其触发器应用研究[D];华中科技大学;2014年

8 韩晓迪;尼龙66聚合物中添加剂测试方法改进[D];郑州大学;2016年

9 张惠玲;测试方法效应对语法测试的影响—两种语法题型的对比研究[D];广东外语外贸大学;2016年

10 沈鹏辉;快速OTA测试方法的设计与实现[D];湖南大学;2016年

本文编号：2455115