【摘要】：BGP-4路由協(xié)議的安全性對于保障整個網(wǎng)絡(luò)安全、可靠運(yùn)行具有重要意義。現(xiàn)有的模糊測試方法在對BGP-4協(xié)議測試時存在狀態(tài)測試?yán)щy、測試用例冗余等問題。為了解決這些問題,提出了一種基于有限狀態(tài)機(jī)的BGP-4協(xié)議模糊測試方法 BFuzz,設(shè)計了測試序列生成算法TSGF(Test Sequences Generation for Fuzzing)和測試用例生成算法TCGVF(Test Cases Generation based on Vulnerable Fields),實現(xiàn)了原型系統(tǒng)BFuzzer。測試結(jié)果表明該方法能夠有效地挖掘BGP-4協(xié)議中的漏洞。
[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.
【作者單位】： 解放軍理工大學(xué)指揮信息系統(tǒng)學(xué)院;
【基金】：江蘇省自然科學(xué)基金(No.BK2011115)
【分類號】：TP393.08

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 李舟軍;張俊賢;廖湘科;馬金鑫;;軟件安全漏洞檢測技術(shù)[J];計算機(jī)學(xué)報;2015年04期

2 王穎;楊義先;鈕心忻;谷利澤;;基于控制流序位比對的智能Fuzzing測試方法[J];通信學(xué)報;2013年04期

3 陳濤;潘雪增;陳健;陳小平;陸魁軍;;基于FSM的協(xié)議一致性測試序列生成算法研究[J];計算機(jī)工程與應(yīng)用;2010年06期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 邱洋;王軼駿;薛質(zhì);;基于符號執(zhí)行的Python攻擊腳本分析平臺[J];計算機(jī)工程;2016年11期

2 潘巍巍;陶樺;;無線通信網(wǎng)絡(luò)中攻擊信號定位識別仿真研究[J];計算機(jī)仿真;2016年11期

3 李艷;黃光球;張斌;;動態(tài)攻擊網(wǎng)絡(luò)Markov演化博弈安全分析模型[J];計算機(jī)科學(xué)與探索;2016年09期

4 吳波;云雷;金先濤;劉北水;;工業(yè)監(jiān)控組態(tài)軟件模糊測試方法研究[J];電子產(chǎn)品可靠性與環(huán)境試驗;2016年03期

5 張俊賢;李舟軍;;基于動態(tài)符號執(zhí)行的C代碼緩沖區(qū)溢出檢測[J];北京郵電大學(xué)學(xué)報;2016年S1期

6 盧燕群;趙洪舉;葉亞宏;;基于交易報文指紋關(guān)系的商業(yè)銀行風(fēng)險交易識別與發(fā)現(xiàn)[J];計算機(jī)應(yīng)用研究;2017年03期

7 馬金鑫;張濤;李舟軍;張江霄;;Fuzzing過程中的若干優(yōu)化方法[J];清華大學(xué)學(xué)報(自然科學(xué)版);2016年05期

8 李艷;黃光球;曹黎俠;張斌;;復(fù)雜攻擊網(wǎng)絡(luò)的概率可控性[J];計算機(jī)科學(xué)與探索;2016年10期

9 柳毅;洪俊斌;;基于網(wǎng)絡(luò)爬蟲與頁面代碼行為的XSS漏洞動態(tài)檢測方法[J];電信科學(xué);2016年03期

10 王媛媛;;研究計算機(jī)軟件中安全漏洞檢測技術(shù)[J];信息化建設(shè);2016年03期

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 姚洪波;尹亮;文偉平;;基于FUZZING測試技術(shù)的Windows內(nèi)核安全漏洞挖掘方法研究及應(yīng)用[J];信息網(wǎng)絡(luò)安全;2011年12期

2 崔展齊;王林章;李宣東;;一種目標(biāo)制導(dǎo)的混合執(zhí)行測試方法[J];計算機(jī)學(xué)報;2011年06期

3 梅宏;王千祥;張路;王戟;;軟件分析技術(shù)進(jìn)展[J];計算機(jī)學(xué)報;2009年09期

4 李夢君;李舟軍;陳火旺;;基于抽象解釋理論的程序驗證技術(shù)[J];軟件學(xué)報;2008年01期

5 魏仰蘇;孟兆航;舒挺;;通信協(xié)議一致性測試序列自動生成算法研究[J];計算機(jī)工程與設(shè)計;2007年10期

6 葛猛,趙保華;BGP-4協(xié)議一致性測試序列生成[J];計算機(jī)工程與應(yīng)用;2005年22期

7 徐軍委,趙保華,屈玉貴;一種新的UIO測試序列生成算法[J];中國科學(xué)技術(shù)大學(xué)學(xué)報;2004年06期

8 陳火旺,王戟,董威;高可信軟件工程技術(shù)[J];電子學(xué)報;2003年S1期

9 林惠民,張文輝;模型檢測:理論、方法與應(yīng)用[J];電子學(xué)報;2002年S1期

10 田野,屈玉貴,趙保華;基于UIO的協(xié)議測試序列生成方法的改進(jìn)[J];計算機(jī)工程與應(yīng)用;2000年12期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 魏蓉;;防火墻測試方法的研究[J];科技創(chuàng)新導(dǎo)報;2009年02期

2 ;電視機(jī)頻通道統(tǒng)一測試方法(暫行)[J];廣播與電視技術(shù);1977年02期

3 馬喜騰;葉紹英;曾起驤;王寧海;;關(guān)于我國云紋測試方法的重要元件——密柵版的研制[J];機(jī)械強(qiáng)度;1981年02期

4 陸正偉;耳機(jī)的測試方法[J];電聲技術(shù);1985年03期

5 孫隆慶;;評“美國電子管測試方法軍用標(biāo)準(zhǔn)”[J];真空電子技術(shù);1988年04期

6 王孫安;林廷圻;史維祥;;幾種轉(zhuǎn)速測試方法的比較[J];液壓氣動與密封;1992年04期

7 謝衛(wèi),劉鍵,李勝利;一個有效的數(shù)組下標(biāo)相關(guān)性測試方法[J];計算機(jī)工程與應(yīng)用;1993年04期

8 許世忠，，周德;電話按鍵按力測試方法探討[J];電子標(biāo)準(zhǔn)化與質(zhì)量;1994年03期

9 周安利;解決千年蟲,IBM負(fù)重前進(jìn)[J];中國計算機(jī)用戶;1998年31期

10 張晰;測試頭測試方法及其性能、功能的分析[J];電信技術(shù);1999年03期

相關(guān)會議論文 前10條

1 章輝;;紡織品負(fù)離子發(fā)生量測試方法概述[A];“力恒杯”第11屆功能性紡織品、納米技術(shù)應(yīng)用及低碳紡織研討會論文集[C];2011年

2 曾桂生;;電子玻璃理化性能測試方法技術(shù)標(biāo)準(zhǔn)制定的綜述[A];第四屆理化分析經(jīng)驗交流會論文集（下冊）[C];1990年

3 張立;邵闖;;隔熱材料聲載荷修正測試方法[A];第九屆全國振動理論及應(yīng)用學(xué)術(shù)會議論文摘要集[C];2007年

4 張炯;金惠華;;非干涉測試方法對異質(zhì)嵌入式系統(tǒng)的適應(yīng)[A];第四屆中國測試學(xué)術(shù)會議論文集[C];2006年

5 張立;邵闖;;隔熱材料聲載荷修正測試方法[A];第九屆全國振動理論及應(yīng)用學(xué)術(shù)會議論文集[C];2007年

6 黃盛修;侯冠廷;張光男;陳春萬;張振平;陳志杰;;空氣清凈機(jī)測試方法評估[A];第十屆全國氣溶膠會議暨第六屆海峽兩岸氣溶膠技術(shù)研討會摘要集[C];2009年

7 黃菁;李建欣;朱日宏;陳磊;何勇;;單幀干涉測試方法及其軟件實現(xiàn)研究[A];第十二屆全國光學(xué)測試學(xué)術(shù)討論會論文（摘要集）[C];2008年

8 齊超;楊茂華;孫曉剛;戴景民;;雙向反射分布函數(shù)的測試方法分析和實驗研究[A];2002年中國光學(xué)學(xué)會年會論文集[C];2002年

9 王健忠;;玻纖布浸潤性測試方法的研究[A];第四屆全國覆銅板技術(shù)·市場研討會報告·論文集[C];2003年

10 王小曼;;“電子警察”闖紅燈系統(tǒng)的原理和測試方法的探討[A];華東華南計量學(xué)術(shù)交流研討會論文集[C];2012年

相關(guān)重要報紙文章 前10條

1 姜丹 記者 王梅;我國電纜及連接器行業(yè)首個測試方法成為國際標(biāo)準(zhǔn)[N];中國質(zhì)量報;2014年

2 本報記者 曹雅麗;統(tǒng)一測試方法 家電噪聲新標(biāo)準(zhǔn)實施在即[N];中國工業(yè)報;2014年

3 江蘇亨通光纖科技有限公司光纖分析實驗室 王利英 馬愛惠 黃強(qiáng);G652D光纖宏彎損耗測試方法的實踐及數(shù)據(jù)分析[N];通信產(chǎn)業(yè)報;2010年

4 魏亮;網(wǎng)絡(luò)設(shè)備的主要測試方法[N];網(wǎng)絡(luò)世界;2002年

5 記者 蒙華;《材料負(fù)離子發(fā)生量的測試方法》建材行業(yè)標(biāo)準(zhǔn)有望年底出臺[N];中國建材報;2006年

6 北惃;了解自己 成就事業(yè)[N];市場報;2003年

7 本報記者 榮鈺;IP融合帶來測試方法學(xué)新發(fā)展[N];網(wǎng)絡(luò)世界;2004年

8 勞;新方法檢測快！快！快！[N];醫(yī)藥經(jīng)濟(jì)報;2001年

9 ;誰可分得SOC這杯羹[N];計算機(jī)世界;2003年

10 通訊員 劉曉杰;紡織品吸水性測試方法研發(fā)項目取得進(jìn)展[N];中國紡織報;2009年

相關(guān)博士學(xué)位論文 前1條

1 張巖;列車運(yùn)行控制系統(tǒng)軟件故障相關(guān)形式化測試方法[D];北京交通大學(xué);2012年

相關(guān)碩士學(xué)位論文 前10條

1 王騁曜;3D關(guān)鍵技術(shù)及測試方法研究[D];上海交通大學(xué);2014年

2 宋林;風(fēng)險測試方法在補(bǔ)丁測試中的應(yīng)用研究[D];西安電子科技大學(xué);2015年

3 趙溪山;電信業(yè)務(wù)支撐系統(tǒng)測試方法策略及其應(yīng)用探究[D];山東大學(xué);2015年

4 肖裕;MCU的ESD測試方法改進(jìn)及其IO防護(hù)設(shè)計研究[D];湘潭大學(xué);2015年

5 陳亦富;車身控制器功能測試方法改進(jìn)及實現(xiàn)[D];上海交通大學(xué);2014年

6 岳志強(qiáng);CCD放大器測試方法的研究與實現(xiàn)[D];電子科技大學(xué);2015年

7 徐小華;憶阻器測試方法及其觸發(fā)器應(yīng)用研究[D];華中科技大學(xué);2014年

8 韓曉迪;尼龍66聚合物中添加劑測試方法改進(jìn)[D];鄭州大學(xué);2016年

9 張惠玲;測試方法效應(yīng)對語法測試的影響—兩種語法題型的對比研究[D];廣東外語外貿(mào)大學(xué);2016年

10 沈鵬輝;快速OTA測試方法的設(shè)計與實現(xiàn)[D];湖南大學(xué);2016年

本文編號：2455115