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

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

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

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