基于RSL及Fuzzing的協(xié)議測(cè)試工具的研究.pdf

1、網(wǎng)絡(luò)的日趨完善使其成為信息交互的主要載體，隨之網(wǎng)絡(luò)的安全性引起了人們的重視。網(wǎng)絡(luò)協(xié)議的具體實(shí)現(xiàn)是網(wǎng)絡(luò)的基礎(chǔ)，因此，網(wǎng)絡(luò)協(xié)議自身的安全性決定了整個(gè)網(wǎng)絡(luò)的安全性。本論文主要對(duì)國(guó)產(chǎn)基礎(chǔ)軟件中涉及到的網(wǎng)絡(luò)協(xié)議的安全性進(jìn)行研究，然后研發(fā)出了對(duì)協(xié)議的安全性進(jìn)行檢測(cè)的測(cè)試工具。
　　論文首先研究了基于形式化方法的軟件測(cè)試技術(shù)，在對(duì)多種形式化描述語(yǔ)言及協(xié)議測(cè)試方法進(jìn)行綜合分析比較的基礎(chǔ)上，選擇采用RSL形式化描述語(yǔ)言與模糊測(cè)試技術(shù)作為開發(fā)測(cè)試工具

2、的主要方法。為了便于協(xié)議實(shí)現(xiàn)模型到具體形式化描述的轉(zhuǎn)換，論文選擇了CSP的協(xié)議模型作為形式化描述的基礎(chǔ)。同時(shí)，本文對(duì)幾種常見的網(wǎng)絡(luò)協(xié)議進(jìn)行了研究，按協(xié)議的功能實(shí)現(xiàn)把被測(cè)網(wǎng)絡(luò)協(xié)議劃分為兩類:多序列的網(wǎng)絡(luò)協(xié)議和單序列的網(wǎng)絡(luò)協(xié)議。在對(duì)協(xié)議進(jìn)行形式化的基礎(chǔ)上，論文針對(duì)劃分的兩種網(wǎng)絡(luò)協(xié)議分別提出了測(cè)試用例的生成規(guī)則:對(duì)于多序列網(wǎng)絡(luò)協(xié)議，采用動(dòng)作序列和異常元素庫(kù)相結(jié)合的方法生成測(cè)試用例;對(duì)于單序列網(wǎng)絡(luò)協(xié)議，采用報(bào)文格式和異常元素庫(kù)相結(jié)合的方法生成測(cè)

3、試用例。根據(jù)這兩種網(wǎng)絡(luò)協(xié)議測(cè)試用例的生成規(guī)則對(duì)協(xié)議的模糊測(cè)試引擎進(jìn)行了設(shè)計(jì)，以此為基礎(chǔ)論文研發(fā)出了一款測(cè)試工具---網(wǎng)絡(luò)協(xié)議安全性模糊測(cè)試工具。最后，本文通過實(shí)驗(yàn)的方式對(duì)工具的有效性進(jìn)行了驗(yàn)證。驗(yàn)證結(jié)果表明，該工具能夠有效的發(fā)現(xiàn)網(wǎng)絡(luò)協(xié)議的安全漏洞，滿足了國(guó)產(chǎn)基礎(chǔ)軟件的安全測(cè)試需求。
　　另外，該工具不僅可以獨(dú)立對(duì)協(xié)議的安全性進(jìn)行測(cè)試，而且還可以通過預(yù)先定義的接口與其它測(cè)試工具協(xié)作完成測(cè)試，大大增強(qiáng)了工具的擴(kuò)展性和通用性。