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

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

毛立强1;马建峰1,2

(1. 西安电子科技大学计算机学院，陕西西安 710071；
2. 西安电子科技大学计算机网络与信息安全教育部重点实验室，陕西西安 710071)

收稿日期:2008-06-16 修回日期:1900-01-01 出版日期:2008-12-20 发布日期:2008-12-20

Analysis of provably secure on-demand distance vector routing in MANET

MAO Li-qiang1;MA Jian-feng1,2

(1. School of Computer Science and Technology, Xidian Univ., Xi’an 710071， China;
2. Ministry of Education Key Lab. of Computer Network and Information Security, Xidian Univ., Xi’an 710071， China)

Received:2008-06-16 Revised:1900-01-01 Online:2008-12-20 Published:2008-12-20

摘要/Abstract

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

关键词: 路由协议, 可证明安全, 形式化分析, 模拟

Abstract: Based on the simulation paradigm, Acs et al proposed a formal model tailored to the security analysis of on-demand distance vector routing protocols in MANET, and a routing protocol, called ARAN, was proven secure in the model. We indicate the improper manipulations such as mergence of the adjacent adversarial nodes, the improper definition of the correct system state in the model, and the flaw in the proof for ARAN. A new attack to ARAN is presented, which shows that ARAN is not provably secure even in their model.

Key words: routing protocol, provable security, formal analysis, simulation paradigm

中图分类号:

TP393.04

毛立强1;马建峰1;2. 可证明安全的MANET按需距离矢量路由协议分析
[J]. J4, 2008, 35(6): 1063-1068.

MAO Li-qiang1;MA Jian-feng1;2. Analysis of provably secure on-demand distance vector routing in MANET
[J]. J4, 2008, 35(6): 1063-1068.

[1]	姜来为, 陈正, 杨宏宇. 高动态复杂场景下航空自组网路由协议研究[J]. 西安电子科技大学学报, 2024, 51(1): 72-85.
[2]	邢莉娟,李卓,王庆港. 极化码在水下光通信系统中的应用研究[J]. 西安电子科技大学学报, 2023, 50(2): 33-41.
[3]	冯象初, 卫丽丽. 双层优化估计图像去噪问题的退火参数[J]. 西安电子科技大学学报, 2022, 49(6): 86-94.
[4]	闫群民,马瑞卿,马永翔,王俊杰. 一种自适应模拟退火粒子群优化算法[J]. 西安电子科技大学学报, 2021, 48(4): 120-127.
[5]	周杰,徐梦颖,王娇娇,卢毅. 认知无线传感器网络频谱分配的一种改进方法[J]. 西安电子科技大学学报, 2020, 47(3): 80-85.
[6]	刘雷,贾仁需. 微机电系统麦克风灵敏度不确定性分析[J]. 西安电子科技大学学报, 2019, 46(6): 23-29.
[7]	罗玉玲,欧阳雪,曹绿晨,丘森辉,廖志贤,岑明灿. 遗传模拟退火算法和混沌系统的图像加密方法[J]. 西安电子科技大学学报, 2019, 46(5): 171-179.
[8]	李春腾,蒋宇中,张宁,刘芳君. 改进的超低频广义旁瓣噪声抵消算法[J]. 西安电子科技大学学报, 2019, 46(1): 98-105.
[9]	慕彩红;柴文壹;刘逸;刘敬. 一种改进的网络鲁棒性与有效性增强方法[J]. 西安电子科技大学学报, 2018, 45(4): 6-11.
[10]	刘阳;李佳桥;王凡;王增斌;石莎. 利用量子遗传算法实现RNA二级结构预测[J]. 西安电子科技大学学报, 2018, 45(4): 112-117.
[11]	毛立强;黄影. MANET安全路由协议自动化分析[J]. 西安电子科技大学学报, 2016, 43(6): 56-61.
[12]	沈利荣;李小平;刘彥明;方海燕;孙海峰;裴辰星. 具有多物理特性的X射线脉冲星信号模拟[J]. 西安电子科技大学学报, 2016, 43(5): 183-189.
[13]	葛琳;季新生;江涛 . 利用E-IGA-RBF的网络信息内容安全事件态势预测[J]. J4, 2015, 42(4): 107-113.
[14]	臧明相;王勐;周文宏;陈会仓. 改进混合蛙跳优化的片上网络低功耗映射算法[J]. J4, 2015, 42(1): 118-123.
[15]	方标;黄高明;高俊;左炜. 一种分段分块式压缩采样模型的设计[J]. J4, 2014, 41(4): 151-157.