| ANODR匿名路由协议的安全性验证 |
| |
| 引用本文： | 李沁,曾庆凯. ANODR匿名路由协议的安全性验证[J]. 计算机工程, 2010, 36(10): 165-167 |
| |
| 作者姓名： | 李沁 曾庆凯 |
| |
| 作者单位： | 南京大学软件新技术国家重点实验室,南京,210093;南京大学计算机科学与技术系,南京,210093 |
| |
| 基金项目： | 国家自然科学基金资助项目(60773170,60721002,90818022);;国家“863”计划基金资助项目(2006AA01Z432);;高等学校博士学科点专项科研基金资助项目(200802840002) |
| |
| 摘 要： | 匿名路由协议的目的是保证移动自主网中节点在通信时不会泄露参与通信的节点身份以及通信路径不被发现，其目标可分为发送匿名、接收匿名和路由匿名。将该协议分解为3个组件，分别实现3个目标。利用扩展后的Cord逻辑对实现路由匿名的组件进行验证，结果证明其不能满足路由匿名规范，破坏了协议作为一个整体提供的匿名服务。
|
| 关 键 词： | 匿名路由 逻辑证明 安全协议 |
Security Verification for ANODR Anonymity Routing Protocol |
| |
| LI Qin,ZENG Qing-kai. Security Verification for ANODR Anonymity Routing Protocol[J]. Computer Engineering, 2010, 36(10): 165-167 |
| |
| Authors: | LI Qin ZENG Qing-kai |
| |
| Affiliation: | (1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093;2. Department of Computer Science and Technology, Nanjing University, Nanjing 210093) |
| |
| 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. |
| |
| Keywords: | anonymity routing logic proof security protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
