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

• 作者: 王继志 王美琴 王英龙
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 无线通信 ad hoc 路由协议 安全 BAN逻辑
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 短文
• 页码范围: 125-129
• 页数: 5页
• 分类号: TN918.1
• 字数: 3598字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2005.04.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王美琴		22	220	10.0	13.0
3	王英龙	山东大学信息科学与工程学院	52	521	12.0	19.0
5	王继志		13	116	6.0	10.0