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

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

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

【相似文獻】

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

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

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

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

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

5 宋志賢;喻繼q，

本文編號：1143744