| 基于串空间的移动自组网路由协议安全性分析 |
| |
| 引用本文： | 王英龙,王继志,王美琴,高振明. 基于串空间的移动自组网路由协议安全性分析[J]. 计算机工程与应用, 2005, 41(31): 109-111,134 |
| |
| 作者姓名： | 王英龙 王继志 王美琴 高振明 |
| |
| 作者单位： | 山东大学信息科学与工程学院,济南,250014;山东省计算中心,济南,250014;山东大学数学与系统科学学院,济南,250014 |
| |
| 基金项目： | 山东省自然科学基金资助项目（编号：Z2003G01） |
| |
| 摘 要： | 为了研究Adhoc移动网络路由协议安全性的分析方法,采用串空间理论对Adhoc移动网络路由协议的安全目标进行了形式化描述,提出了Adhoc移动网络路由协议的形式化分析方法,并采用该方法对安全路由协议SRP的安全性进行验证,结果发现了安全路由协议SRP的一个安全漏洞,说明采用串空间理论对Adhoc移动网络路由协议安全性进行分析是有效的。
|
| 关 键 词： | 无线自组网络 路由协议 安全 串空间 |
| 文章编号： | 1002-8331-（2005）31-0109-03 |
| 收稿时间： | 2005-08-01 |
| 修稿时间： | 2005-08-01 |
Security Analysis of Routing Protocol for MANET Based on Strand Spaces |
| |
| Wang Yinglong,Wang Jizhi,Wang Meiqin,Gao Zhenming. Security Analysis of Routing Protocol for MANET Based on Strand Spaces[J]. Computer Engineering and Applications, 2005, 41(31): 109-111,134 |
| |
| Authors: | Wang Yinglong Wang Jizhi Wang Meiqin Gao Zhenming |
| |
| Affiliation: | School of Information Science and Engineering,Shandong University,Jinan 250014;Shandong Computer Science Center,Jinan 250014;School of Mathematics and System Science,Shandong University,Jinan 250014 |
| |
| Abstract: | In order to investigate the security analysis method of routing protocol,the strand spaces are used to des-cribe the security objective of routing protocol in MANET,and the formal analysis method of MANET routing protocol is advanced.An example of Security Routing Protocol(SRP) is given,the security of routing protocol is analyzed by this method and a security vulnerability of SRP is found.The method is proved to be valid. |
| |
| Keywords: | MANET routing protocol security strand spaces |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
