可证明安全的MANET按需距离矢量路由协议分析

• 作者: 毛立强 马建峰
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 路由协议 可证明安全 形式化分析 模拟
• 年，卷（期）: 2008,（6）
• 页码范围: 1063-1068
• 页数: 6页
• 分类号: TP393.04
• 字数: 5235字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2008.06.021

摘要

基于模拟证明方法.Acs等提出了一个MANET安全按需距离矢量路由协议的形式化分析模型,并利用该模型证明了ARAN协议的安全性.对该模型进行了深入分析,指出其中合并相邻敌手节点操作和正确系统状态定义的不合理性,以及ARAN协议安全性证明过程中的错误,并给出了一种针对ARAN协议的攻击方法,表明该协议即使在其分析模型下仍然存在安全漏洞.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学计算机学院	389	4956	30.0	50.0
5	毛立强	西安电子科技大学计算机学院	45	66	5.0	8.0