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

Dec. 2008 西安唱~ r非钱大学字报{自然fi?:foIi l 2008 年 12 月 第351串第6 期 JOGRNAL OF XIOIAN UN I VERSI TY Vol. 35 NO.6 可证明安全的 MANET 按需距离矢量路由协议分析 毛立强l ，马建峰1.2 (1.西安电子科技大学计算机学院.陕西西安 71007 1, 2. 西安电子科技大学计算机网络与传息安全教育部重点实验室.陕西西安 110071) 搞要:基于模拟证明方法. Acs 等提出了-个 MANET 安全按距离矢最路由协议的形式化分析模型， 并利用该模型证明了 ARAN 协议的安全佳. 对该模型进行了深入分析.指出其中合并相邻敌手节点操 作和正确系统状态定义的不合