MANET安全路由协议自动化分析

发布时间：2017-11-05 10:13

  本文关键词：MANET安全路由协议自动化分析

  更多相关文章： 路由协议 形式化分析 SPIN 模拟模型

【摘要】：移动ad hoc网络安全路由协议已经成为一个热门的研究领域,其中协议的安全性分析方法及其自动化实现倍受关注.利用SPIN工具自动分析了SRP和Ariadne协议,首先通过网络拓扑建模和自动生成,可以全面分析在不同网络拓扑下协议的安全性.再通过节点丢弃攻击和协议建模,自动发现了针对协议的有效攻击,证明基于模型检测及SPIN工具自动分析安全路由协议的方法是有效的.
【作者单位】： 西安电子科技大学计算机学院;西安文理学院数学与计算机工程学院;
【基金】：国家自然科学基金重点资助项目(U1135002)
【分类号】：TN929.5
【正文快照】： 移动自组网(Mobile Ad Hoc Networks,MANET)是一个非常复杂的分布式系统,在诸如指挥作战、会务通信、保障救灾、实施危险环境或远距离监控等无固定网络设施的环境中,有着广泛的应用.安全路由协议的设计与分析[1]是移动ad hoc网络中一个热门的研究领域,目前大部分安全路由协议

【相似文献】

中国期刊全文数据库 前10条

1 张君毅;杨义先;;针对安全路由协议的抢先重放攻击研究[J];无线电工程;2008年09期

2 朱敏;;移动Ad Hoc网络的安全问题和解决方案[J];南通航运职业技术学院学报;2010年04期

3 缪成蓓;白光伟;顾跃跃;沈航;;SZM-LEACH:一种层簇式的WSN安全跨区多跳路由协议[J];微电子学与计算机;2011年07期

4 刘洋;田波;;无线Ad Hoc环境下EIGRP的安全加固[J];信息安全与通信保密;2007年07期

5 宋志贤;喻继q，

本文编号：1143744