摘要： 匿名路由协议的目的是保证移动自主网中节点在通信时不会泄露参与通信的节点身份以及通信路径不被发现，其目标可分为发送匿名、接收匿名和路由匿名。将该协议分解为3个组件，分别实现3个目标。利用扩展后的Cord逻辑对实现路由匿名的组件进行验证，结果证明其不能满足路由匿名规范，破坏了协议作为一个整体提供的匿名服务。
关键词:
匿名路由,
逻辑证明,
安全协议
Abstract: Anonymous on Demand Routing(ANODR) protocol is designed for avoiding node identity from being leaked by other nodes during communication in MANET and insuring the communication route not be discovered. The objectives of the protocol include sender anonymity, reception anonymity and route anonymity. The protocol is decomposed into three components, each of which implements one of three objectives respectively. Cord logic with extension is used to verify the failure of the component for route anonymity that destroys the anonymity service providing by the protocol as an entirety.
Key words:
anonymity routing,
logic proof,
security protocol
中图分类号:
李 沁;曾庆凯;. ANODR匿名路由协议的安全性验证[J]. 计算机工程, 2010, 36(10): 165-167.
LI Qin; ZENG Qing-kai;.
Security Verification for ANODR Anonymity Routing Protocol
[J]. Computer Engineering, 2010, 36(10): 165-167.