Ad hoc网络中ARAN路由协议的安全性分析

摘要：

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

关键词：Ad hoc网络、路由协议、串空间、形式化分析、一致性

所属期刊栏目：32

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家自然科学基金60872015,60572142资助课题

在线出版日期：2010-11-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2241-2244