基于概率模型檢驗(yàn)的Ad Hoc網(wǎng)絡(luò)安全技術(shù)研究.pdf

1、Ad Hoc網(wǎng)絡(luò)具有組網(wǎng)靈活方便、設(shè)施投資小等特點(diǎn),使其具有較高的應(yīng)用價(jià)值,然而動(dòng)態(tài)拓?fù)?、無(wú)線(xiàn)傳輸、能量受限等特點(diǎn)又給安全技術(shù)的實(shí)施帶來(lái)很大困難,也為其形式化分析與設(shè)計(jì)帶來(lái)了新的挑戰(zhàn)。概率模型檢驗(yàn)技術(shù)作為形式化方法的一種,結(jié)合了概率分析和通用模型檢測(cè)技術(shù),能對(duì)具有隨機(jī)行為的系統(tǒng)進(jìn)行建模,規(guī)約概率性質(zhì)并進(jìn)行驗(yàn)證。
　　本文基于概率模型檢驗(yàn)技術(shù),采用概率模型檢驗(yàn)工具PRISM對(duì)Ad hoc網(wǎng)絡(luò)的安全路由協(xié)議和匿名通信技術(shù)進(jìn)行研究,所取

2、得的主要成果有:
　　(1)針對(duì)Ad Hoc網(wǎng)絡(luò)安全路由協(xié)議,提出了一種基于概率模型檢驗(yàn)的分析方法。以協(xié)議ARAN為例,驗(yàn)證了有效性、認(rèn)證性和完整性等安全性質(zhì),并從包到達(dá)率、平均路徑長(zhǎng)度和平均時(shí)延等方面分析了安全機(jī)制對(duì)網(wǎng)絡(luò)性能的影響。
　　(2)研究了移動(dòng)Ad Hoc網(wǎng)絡(luò)的匿名技術(shù),主要分析被動(dòng)匿名攻擊及MIX輸出策略對(duì)通信模式的保護(hù)。提出了使用概率模型檢驗(yàn)技術(shù)驗(yàn)證匿名性的方法并對(duì)幾種典型輸出策略進(jìn)行了驗(yàn)證,結(jié)果表明,現(xiàn)有的