中文摘要：

由于Ad hoc网络的特性,传统的串空间理论无法分析其路由协议的安全性,该文首先对串空间理论进行了扩展,添加了证明中间节点可信的条件。随后,使用扩展后的串空间理论分析了ARAN路由协议的安全性,提出了使用该理论分析Ad hoc网络中安全路由协议的新方法。分析和证明结果表明,ARAN路由协议中存在重放和合谋两种攻击,说明采用文中提出的分析方法对Ad hoc网络中的按需距离矢量路由协议的安全性进行分析是有效的。

英文摘要：

Because of the characteristics of Ad hoc networks,the theory of strand spaces can not analyzes the security of routing protocol. In this paper,the theory of strand spaces is first extended and the credibility of intermediate node is added. Subsequently,this extended theory is applied to analyzing the security of ARAN routing protocol and a new formal analysis method is proposed for Ad hoc networks routing protocol. The results show that it has replay attacks and conspiracy attacks in ARAN routing protocol. The method is proved to be valid.