| MANET路由协议安全分析 |
| |
| 引用本文： | 季晓君,田畅,张毓森.MANET路由协议安全分析[J].应用科学学报,2007,25(1):30-34. |
| |
| 作者姓名： | 季晓君 田畅 张毓森 |
| |
| 作者单位： | 1. 解放军理工大学指挥自动化学院, 江苏南京 210007;
2. 解放军理工大学通信工程学院, 江苏南京 210007 |
| |
| 摘 要： | 分别采用strand space和BAN逻辑,分析MANET安全路由协议的plausible route属性.分析结果表明MANET路由协议的安全性本质上是建立在网络中可信节点之间实体认证和消息完整性认证机制的基础上;传统的安全协议形式化分析工具适用于MANET安全路由协议的分析.
|
| 关 键 词： | 形式化分析 移动ad hoc网络 安全路由协议 串空间 |
| 文章编号： | 0255-8297（2007）01-0030-05 |
| 收稿时间： | 2005-10-29 |
| 修稿时间： | 2005-10-292006-04-12 |
Security Analysis of MANET Routing Protocol |
| |
| JI Xiao-jun,TIAN Chang,ZHANG Yu-sen.Security Analysis of MANET Routing Protocol[J].Journal of Applied Sciences,2007,25(1):30-34. |
| |
| Authors: | JI Xiao-jun TIAN Chang ZHANG Yu-sen |
| |
| Institution: | 1. Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China;
2. Institute of Communication Engineering, PLA University of Science and Technology, Nanjing 210007, China |
| |
| Abstract: | Secure routing protocol design and analysis is the core of the security problems in mobile ad hoc network.This paper uses strand space and BAN logic to prove plausible route property of secure mobile ad hoc network routing protocol.Our analysis indicates that security of mobile ad hoc network routing protocol is essentially based on agent authentication and message integrity between trusted nodes in the network,therefore traditional formal methods can also be used to analyze secure mobile ad hoc network routing protocols. |
| |
| Keywords: | MANET secure routing protocol formal analysis strand space |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《应用科学学报》浏览原始摘要信息 |
| 点击此处可从《应用科学学报》下载免费的PDF全文 |
