摘要
Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对协议的运行过程进行了形式化,给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性。
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.
出处
《通信学报》
EI
CSCD
北大核心
2005年第4期125-129,共5页
Journal on Communications
基金
山东省自然科学基金资助项目(Z2003G01)