WLAN安全協(xié)議測(cè)試技術(shù)研究與系統(tǒng)實(shí)現(xiàn).pdf

1、由于目前協(xié)議的設(shè)計(jì)越來越復(fù)雜以及網(wǎng)絡(luò)安全問題日益嚴(yán)重，協(xié)議測(cè)試技術(shù)已經(jīng)成為協(xié)議實(shí)現(xiàn)過程中的一個(gè)必需且十分重要的手段。對(duì)WLAN安全協(xié)議進(jìn)行測(cè)試的重點(diǎn)在于一致性和安全性，因此本文對(duì)協(xié)議一致性測(cè)試和安全性測(cè)試進(jìn)行了研究。
　　在一致性測(cè)試方面，本文研究了主動(dòng)測(cè)試，首先設(shè)計(jì)了主動(dòng)測(cè)試方案：利用有限狀態(tài)機(jī)模型對(duì)待測(cè)安全協(xié)議進(jìn)行形式化描述，之后根據(jù)待測(cè)協(xié)議的特點(diǎn)設(shè)計(jì)相應(yīng)的測(cè)試場(chǎng)景，并利用改進(jìn)的T方法設(shè)計(jì)好測(cè)試序列。接著提出了一種可擴(kuò)展的WL

2、AN安全協(xié)議主動(dòng)測(cè)試系統(tǒng)框架，并在此基礎(chǔ)上實(shí)現(xiàn)了主動(dòng)測(cè)試系統(tǒng)，該系統(tǒng)采用前臺(tái)顯示與后臺(tái)測(cè)試?yán)g相互分離的思想，具有可擴(kuò)展性以及可重用性的優(yōu)點(diǎn)。最后實(shí)際測(cè)試了一種新的WLAN安全接入認(rèn)證協(xié)議，并給出了相應(yīng)的測(cè)試結(jié)果。
　　在安全性測(cè)試方面，本文通過研究現(xiàn)有的安全性測(cè)試方法，將安全性測(cè)試分為健壯性測(cè)試和協(xié)議攻擊測(cè)試兩個(gè)方面，并針對(duì)上述兩方面選取了三種有代表性的原子攻擊測(cè)試方案：擾動(dòng)攻擊、重放攻擊和偽造AP攻擊測(cè)試。接著基于主動(dòng)測(cè)試系