基于BAN逻辑的ad hoc移动网络路由协议的安全性分析

被引：4

作者：

王英龙

王继志

王美琴

机构：

[1] 山东大学信息科学与工程学院

[2] 山东省计算中心

[3] 山东省计算中心山东济南山东省计算中心

[4] 山东济南

[5] 山东济南山东大学数学与系统科学学院

来源：

通信学报 | 2005年 / 04期

关键词：

无线通信; ad hoc; 路由协议; 安全; BAN逻辑;

D O I：

暂无

中图分类号：

TN918.1 [理论];

学科分类号：

070104 ;

摘要：

Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对协议的运行过程进行了形式化,给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性。

引用

页码：125 / 129

页数：5