基于無線網(wǎng)絡(luò)安全協(xié)議驗(yàn)證方法的研究.pdf

1、進(jìn)入新世紀(jì)以來，網(wǎng)絡(luò)技術(shù)的發(fā)展日益迅速，并且隨著制造業(yè)的發(fā)展，工廠對(duì)無線電子類產(chǎn)品的制作工藝不斷改進(jìn)，因此制造成本也在不斷降低，與此同時(shí)，無線網(wǎng)絡(luò)技術(shù)得到了更加廣泛的應(yīng)用。與有線網(wǎng)絡(luò)相比，無線網(wǎng)絡(luò)沒有龐大臃腫的網(wǎng)絡(luò)連線，能夠更加方便地被不同地域的人們使用。
　　如此便捷的無線網(wǎng)絡(luò)，其在使用時(shí)會(huì)給人們帶來安全性等問題，因此，如何對(duì)其安全性進(jìn)行改進(jìn)，對(duì)人們的網(wǎng)絡(luò)隱私加以保護(hù)，是社會(huì)及科學(xué)界關(guān)注的焦點(diǎn)之一。由于無線網(wǎng)絡(luò)的開放性特點(diǎn)，其缺

2、少了物理?xiàng)l件下的保護(hù)，通過無線介質(zhì)傳播等特點(diǎn)，其在為用戶帶來便捷的同時(shí)，也帶來了被竊聽和被監(jiān)視等威脅。不斷提升無線網(wǎng)絡(luò)的安全性，對(duì)于保護(hù)人們的信息安全和資金安全具有非常重要的現(xiàn)實(shí)意義。本文通過對(duì)無線網(wǎng)絡(luò)安全性的研究，為無線通信網(wǎng)絡(luò)提供一些較為現(xiàn)實(shí)有用的理論參考，以保障人們?cè)谑褂帽憬莸臒o線網(wǎng)絡(luò)的同時(shí)，能夠更好地保護(hù)自身信息的安全性。
　　本文首先對(duì)無線網(wǎng)絡(luò)的發(fā)展現(xiàn)狀及無線網(wǎng)絡(luò)的安全性需求進(jìn)行了相應(yīng)的介紹，并指出了在無線網(wǎng)絡(luò)中存在的攻

3、擊和威脅，提出采用形式化對(duì)其安全協(xié)議進(jìn)行驗(yàn)證的方法。其次，本文對(duì)無線網(wǎng)絡(luò)安全協(xié)議進(jìn)行驗(yàn)證的通信順序進(jìn)程（CSP）方法理論進(jìn)行了詳細(xì)地闡述，并介紹了CSP語言中常用的語義和語法。另外，本文提出對(duì)無線網(wǎng)絡(luò)中加入安全套接字層協(xié)議（SSL），并對(duì)該協(xié)議進(jìn)行形式化驗(yàn)證并進(jìn)行改進(jìn)，使得無線通信網(wǎng)絡(luò)的安全性大大提高和完善，使其能抵御網(wǎng)絡(luò)攻擊。最后，本文對(duì)無線網(wǎng)絡(luò)中的一個(gè)典型協(xié)議ASK協(xié)議進(jìn)行形式化建模與驗(yàn)證，根據(jù)FDR驗(yàn)證工具得到的結(jié)果表明原有的AS