基于串空間理論的無線網(wǎng)絡安全協(xié)議分析與設計.pdf

1、隨著無線網(wǎng)絡在各領域的廣泛應用和不斷發(fā)展，人們越來越關注無線網(wǎng)絡的安全問題。無線信道的開放性和不穩(wěn)定性使得無線網(wǎng)絡面臨著較大的安全風險；移動終端在硬件資源上不同程度的限制也決定了某些密碼技術無法適用于無線環(huán)境；不同類型和用途的無線網(wǎng)絡也對安全性和相關實現(xiàn)技術有著不同的要求。由于和有線網(wǎng)絡的巨大差異，現(xiàn)有眾多的安全方案和技術并不能直接用于無線網(wǎng)絡，而且無線網(wǎng)絡環(huán)境的復雜性和不穩(wěn)定性也使得安全目標的實現(xiàn)困難重重。 安全協(xié)議作為網(wǎng)絡安

2、全通信系統(tǒng)的核心技術，其重要性不言而喻。然而，如何分析安全協(xié)議的安全性，從而證明安全協(xié)議的有效性？如何設計安全協(xié)議，從而確保所設計協(xié)議的安全性？這些則都是需由安全協(xié)議形式化方法來解決的問題。安全協(xié)議的形式化方法作為安全協(xié)議分析和設計的理論基礎，自Dolev和Yao的開創(chuàng)性工作以來，目前已有了較大的發(fā)展，形成了兩大流派，其中典型的有串空間模型理論等。然而，在如何應用抽象的形式化理論或方法來研究現(xiàn)行通信系統(tǒng)中大型、復雜并行系統(tǒng)的安全協(xié)議，發(fā)

3、現(xiàn)其安全缺陷或證明其安全性？在如何擴展現(xiàn)有形式化理論，使之能夠解決網(wǎng)絡中出現(xiàn)的新的威脅？以及在如何應用形式化理論指導安全協(xié)議的設計等幾個方面還有待進一步的研究。 鑒于此，本文基于串空間模型理論，針對無線網(wǎng)絡中上述的問題進行了深入的研究，并提出了一些有效的解決方案，得到了一些研究成果。主要工作有： 1.基于擴展的串空間模型，對IEEE802.lli協(xié)議進行分析，發(fā)現(xiàn)了四步握手協(xié)議在協(xié)議可用性上存在的漏洞，并提出了修改方案，