發(fā)布時(shí)間：2019-04-09 10:46

【摘要】：BGP-4路由協(xié)議的安全性對(duì)于保障整個(gè)網(wǎng)絡(luò)安全、可靠運(yùn)行具有重要意義�，F(xiàn)有的模糊測(cè)試方法在對(duì)BGP-4協(xié)議測(cè)試時(shí)存在狀態(tài)測(cè)試?yán)щy、測(cè)試用例冗余等問題。為了解決這些問題,提出了一種基于有限狀態(tài)機(jī)的BGP-4協(xié)議模糊測(cè)試方法 BFuzz,設(shè)計(jì)了測(cè)試序列生成算法TSGF(Test Sequences Generation for Fuzzing)和測(cè)試用例生成算法TCGVF(Test Cases Generation based on Vulnerable Fields),實(shí)現(xiàn)了原型系統(tǒng)BFuzzer。測(cè)試結(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)
【分類號(hào)】：TP393.08

【參考文獻(xiàn)】

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

9 王健忠;;玻纖布浸潤(rùn)性測(cè)試方法的研究[A];第四屆全國(guó)覆銅板技術(shù)·市場(chǎng)研討會(huì)報(bào)告·論文集[C];2003年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號(hào)：2455115