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

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

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