文件名称：可证明安全的MANET按需距离矢量路由协议分析 (2008年)
文件大小：89KB
文件格式：PDF
更新时间：2024-06-10 02:40:02
自然科学 论文
基于模拟证明方法，Acs等提出了一个MANET安全按需距离矢量路由协议的形式化分析模型，并利用该模型证明了ARAN协议的安全性。对该模型进行了深入分析，指出其中合并相邻敌手节点操作和正确系统状态定义的不合理性，以及ARAN协议安全性证明过程中的错误，并给出了一种针对ARAN协议的攻击方法，表明该协议即使在其分析模型下仍然存在安全漏洞。