English

应用科学学报 ›› 2007, Vol. 25 ›› Issue (1): 30-34.

• 论文 • 上一篇    下一篇

MANET路由协议安全分析

季晓君1, 田畅2, 张毓森1   

  1. 1. 解放军理工大学指挥自动化学院, 江苏南京 210007;
    2. 解放军理工大学通信工程学院, 江苏南京 210007
  • 收稿日期:2005-10-29 修回日期:2006-04-12 出版日期:2007-01-31 发布日期:2007-01-31
  • 作者简介:季晓君,博士生,研究方向:adhoc网络安全、安全协议形式化分析,E-mail:j_x_j@sina.com

Security Analysis of MANET Routing Protocol

JI Xiao-jun1, TIAN Chang2, ZHANG Yu-sen1   

  1. 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
  • Received:2005-10-29 Revised:2006-04-12 Online:2007-01-31 Published:2007-01-31

PDF

96

被引次数

5

摘要：

分别采用strand space和BAN逻辑,分析MANET安全路由协议的plausible route属性.分析结果表明MANET路由协议的安全性本质上是建立在网络中可信节点之间实体认证和消息完整性认证机制的基础上;传统的安全协议形式化分析工具适用于MANET安全路由协议的分析.

关键词: 形式化分析, 移动ad hoc网络, 安全路由协议, 串空间

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.

Key words: MANET, secure routing protocol, formal analysis, strand space

中图分类号: