|
|||||
|
|
| 基于BAN逻辑的ad hoc移动网络路由协议的安全性分析 | |
| 引用本文： | 王英龙,王继志,王美琴.基于BAN逻辑的ad hoc移动网络路由协议的安全性分析[J].通信学报,2005,26(4):125-129. |
| 作者姓名： | 王英龙 王继志 王美琴 |
| 作者单位： | 1. 山东大学,信息科学与工程学院,山东,济南,250014;山东省计算中心,山东,济南,250014 2. 山东省计算中心,山东,济南,250014 3. 山东省计算中心,山东,济南,250014;山东大学,数学与系统科学学院,山东,济南,250014 |
| 基金项目： | 山东省自然科学基金资助项目(Z2003G01) |
| 摘 要： | Ad hoe移动网络路由协议为加强其安全性，采用了密码技术，使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoe移动网络路由协议的特点，采用BAN逻辑对协议的安全性进行描述，提出了协议应满足的条件。并对协议的运行过程进行了形式化，给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证，说明方法的有效性。 |
| 关 键 词： | 无线通信 ad hoc 路由协议 安全 BAN逻辑 |
| 文章编号： | 1000-436X(2005)04-0125-05 |
| 修稿时间： | 2004年1月14日 |
Security analysis of routing protocol for MANET based on BAN logic |
|
| WANG Ying-long,WANG Ji-zhi,WANG Mei-qin.Security analysis of routing protocol for MANET based on BAN logic[J].Journal on Communications,2005,26(4):125-129. | |
| Authors: | WANG Ying-long WANG Ji-zhi WANG Mei-qin |
| Affiliation: | WANG Ying-long1,2,WANG Ji-zhi2,WANG Mei-qin2,3 |
| Abstract: | The routing protocol for MANET uses cryptographic technology to heighten its security, which makes it possible to use formal method. Considered the property of routing protocol for MANET, the security is analyzed based on BAN logic. The condition that the protocol should be met is given. The formalization of the protocol is described and the method is presented. Taken example of SADSR, the security of routing protocol is analyzed by using the method, which proves the method is valid. |
| Keywords: | wireless communication ad hoc routing protocol security BAN logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《通信学报》浏览原始摘要信息 | |
| 点击此处可从《通信学报》下载全文 | |