本文關(guān)鍵詞：基于無線網(wǎng)絡(luò)安全協(xié)議驗(yàn)證方法的研究

  更多相關(guān)文章： 無線網(wǎng)絡(luò) 安全協(xié)議 通信順序進(jìn)程(CSP) 形式化驗(yàn)證

【摘要】：進(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),其缺少了物理?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ò)中存在的攻擊和威脅,提出采用形式化對(duì)其安全協(xié)議進(jìn)行驗(yàn)證的方法。其次,本文對(duì)無線網(wǎng)絡(luò)安全協(xié)議進(jìn)行驗(yàn)證的通信順序進(jìn)程(CSP)方法理論進(jìn)行了詳細(xì)地闡述,并介紹了CSP語(yǔ)言中常用的語(yǔ)義和語(yǔ)法。另外,本文提出對(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é)果表明原有的ASK協(xié)議存在安全性漏洞。本文對(duì)ASK協(xié)議進(jìn)行相應(yīng)的改進(jìn),結(jié)果表明,改進(jìn)后的安全協(xié)議能夠滿足無線網(wǎng)絡(luò)安全通信的需求。
【學(xué)位授予單位】：蘭州交通大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TN92

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 裴維玲;;談?wù)劅o線網(wǎng)絡(luò)安全[J];辦公自動(dòng)化;2004年01期

2 陳孝強(qiáng);;“虛擬”加強(qiáng)無線網(wǎng)絡(luò)安全[J];微電腦世界;2005年10期

3 賴慶;;無線網(wǎng)絡(luò)安全對(duì)策和技術(shù)[J];科技資訊;2006年19期

4 鄭志彬;劉利鋒;;構(gòu)筑自主可控的無線網(wǎng)絡(luò)安全體系[J];信息網(wǎng)絡(luò)安全;2007年07期

5 ;無線網(wǎng)絡(luò)安全技術(shù)利弊剖析[J];計(jì)算機(jī)與網(wǎng)絡(luò);2008年02期

6 ;十大安全建議 助您保護(hù)無線網(wǎng)絡(luò)安全[J];計(jì)算機(jī)與網(wǎng)絡(luò);2008年15期

7 林曉;;讓網(wǎng)絡(luò)暢通無阻,確保無線網(wǎng)絡(luò)安全[J];網(wǎng)絡(luò)與信息;2010年11期

8 ;無線網(wǎng)絡(luò)安全設(shè)置五種不可不知的方法[J];計(jì)算機(jī)與網(wǎng)絡(luò);2010年06期

9 ;無線網(wǎng)絡(luò)安全設(shè)置五種不可不知方法[J];計(jì)算機(jī)與網(wǎng)絡(luò);2010年19期

10 鄺健全;;對(duì)無線網(wǎng)絡(luò)安全的分析[J];電腦知識(shí)與技術(shù);2011年17期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前4條

1 李曉瓊;;無線網(wǎng)絡(luò)安全理論與技術(shù)[A];第二十一次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2006年

2 王U，

本文編號(hào)：1280515