本文關(guān)鍵詞：MANET安全路由協(xié)議自動化分析

  更多相關(guān)文章： 路由協(xié)議 形式化分析 SPIN 模擬模型

【摘要】：移動ad hoc網(wǎng)絡(luò)安全路由協(xié)議已經(jīng)成為一個熱門的研究領(lǐng)域,其中協(xié)議的安全性分析方法及其自動化實現(xiàn)倍受關(guān)注.利用SPIN工具自動分析了SRP和Ariadne協(xié)議,首先通過網(wǎng)絡(luò)拓?fù)浣：妥詣由?可以全面分析在不同網(wǎng)絡(luò)拓?fù)湎聟f(xié)議的安全性.再通過節(jié)點丟棄攻擊和協(xié)議建模,自動發(fā)現(xiàn)了針對協(xié)議的有效攻擊,證明基于模型檢測及SPIN工具自動分析安全路由協(xié)議的方法是有效的.
【作者單位】： 西安電子科技大學(xué)計算機(jī)學(xué)院;西安文理學(xué)院數(shù)學(xué)與計算機(jī)工程學(xué)院;
【基金】：國家自然科學(xué)基金重點資助項目(U1135002)
【分類號】：TN929.5
【正文快照】： 移動自組網(wǎng)(Mobile Ad Hoc Networks,MANET)是一個非常復(fù)雜的分布式系統(tǒng),在諸如指揮作戰(zhàn)、會務(wù)通信、保障救災(zāi)、實施危險環(huán)境或遠(yuǎn)距離監(jiān)控等無固定網(wǎng)絡(luò)設(shè)施的環(huán)境中,有著廣泛的應(yīng)用.安全路由協(xié)議的設(shè)計與分析[1]是移動ad hoc網(wǎng)絡(luò)中一個熱門的研究領(lǐng)域,目前大部分安全路由協(xié)議

【相似文獻(xiàn)】

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

1 張君毅;楊義先;;針對安全路由協(xié)議的搶先重放攻擊研究[J];無線電工程;2008年09期

2 朱敏;;移動Ad Hoc網(wǎng)絡(luò)的安全問題和解決方案[J];南通航運職業(yè)技術(shù)學(xué)院學(xué)報;2010年04期

3 繆成蓓;白光偉;顧躍躍;沈航;;SZM-LEACH:一種層簇式的WSN安全跨區(qū)多跳路由協(xié)議[J];微電子學(xué)與計算機(jī);2011年07期

4 劉洋;田波;;無線Ad Hoc環(huán)境下EIGRP的安全加固[J];信息安全與通信保密;2007年07期

5 宋志賢;喻繼q，

本文編號：1143744