無線網(wǎng)絡安全方法與技術研究.pdf

1、隨著無線網(wǎng)絡的普及和應用,人們對無線網(wǎng)絡的依賴程度越來越高.與此同時無線網(wǎng)絡的安全性成為人們關注的焦點.由于無線網(wǎng)絡傳輸媒體的開放性、無線終端的移動性和網(wǎng)絡拓撲結(jié)構的動態(tài)性,以及無線終端計算能力和存儲能力的局限性,使得有線網(wǎng)絡環(huán)境下的許多安全方案和技術不能直接應用于無線網(wǎng)絡,同時也給安全方案的實施增加了許多限制.本文對無線網(wǎng)絡的安全方法與技術進行了比較深入的研究,研究內(nèi)容包括:無線網(wǎng)絡認證協(xié)議的分析與設計、基于CK模型的可證安全的密鑰交

2、換協(xié)議的設計理論、群組密鑰管理協(xié)議、無線網(wǎng)絡的可生存性和移動電子商務微支付技術.主要研究成果有:1.在分析現(xiàn)有無線網(wǎng)絡認證協(xié)議的基礎上,總結(jié)了認證協(xié)議分析與設計的基本方法和基本技術,提出了無線網(wǎng)絡認證協(xié)議設計的一般要求,設計了一種新的具有用戶匿名性的無線認證協(xié)議-WSAP,并對WSAP協(xié)議進行了形式化分析.2.研究了無線網(wǎng)絡環(huán)境下的認證的密鑰交換與密鑰協(xié)商協(xié)議的形式化設計方法,基于Canetti-Krawczyk模型,提出了無線網(wǎng)絡環(huán)境

3、下可證安全的密鑰交換協(xié)議分析與設計的一般方法,并運用這種方法進行了協(xié)議的分析與設計.3.研究了無線網(wǎng)絡環(huán)境下的群組密鑰管理協(xié)議設計的理論與方法,給出了安全群組密鑰管理協(xié)議有關性質(zhì)的形式化定義,基于單向積聚函數(shù),提出了一種新的無線網(wǎng)絡環(huán)境下的安全群組密鑰管理協(xié)議.4.從網(wǎng)絡體系結(jié)構和安全協(xié)議設計兩個方面研究了無線網(wǎng)絡系統(tǒng)的可生存性,提出了一種可生存的無線網(wǎng)絡服務器結(jié)構.以無線IP網(wǎng)絡為例對無線網(wǎng)絡的可生存性進行了研究,利用冗余技術,建立冗