摘要
分别采用strand space和BAN逻辑,分析MANET安全路由协议的plausible route属性.分析结果表明MANET路由协议的安全性本质上是建立在网络中可信节点之间实体认证和消息完整性认证机制的基础上;传统的安全协议形式化分析工具适用于MANET安全路由协议的分析.
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.
出处
《应用科学学报》
CAS
CSCD
北大核心
2007年第1期30-34,共5页
Journal of Applied Sciences
