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

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

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

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