| Ad Hoc网络安全路由协议形式化分析模型 |
| |
| 引用本文： | 刘晶,伏飞,肖军模.Ad Hoc网络安全路由协议形式化分析模型[J].解放军理工大学学报,2008,9(3):215-221. |
| |
| 作者姓名： | 刘晶 伏飞 肖军模 |
| |
| 作者单位： | [1]解放军理工大学通信工程学院,江苏南京210007 [2]解放军理工大学指挥自动化学院,江苏南京210007 |
| |
| 基金项目： | 国家自然科学基金
,
国家部委预研项目 |
| |
| 摘 要： | 为了能够对Ad Hoc网络安全路由协议进行有效的安全性证明,需要形式化的分析方法.针对目前缺乏有效方法的现状,结合Ad Hoc网络安全路由协议特点,利用图论理论,对传统安全协议分析方法Meadows模型进行扩展,扩展后的Meadows模型具有了路由描述和分析能力.使用扩展后的Meadows模型对Ad Hoc网络安全路由协议Ariadne进行了分析.分析结果显示,Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad Hoc网络安全路由协议的安全性分析.
|
| 关 键 词： | Ad Hoc网络 安全路由协议 形式化分析 |
Formal analysis model of secure routing protocols for
Ad Hoc networks |
| |
| LIU Jing,FU Fei and XIAO Jun-mo.Formal analysis model of secure routing protocols for
Ad Hoc networks[J].Journal of PLA University of Science and Technology(Natural Science Edition),2008,9(3):215-221. |
| |
| Authors: | LIU Jing FU Fei and XIAO Jun-mo |
| |
| Institution: | Institute of Communications Engineering,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Institute of Command Automation,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Institute of Communications Engineering,PLA Univ.of Sci.& Tech.,Nanjing 210007,China |
| |
| Abstract: | |
| |
| Keywords: | Ad Hoc netw o rks secure routing protoco ls formal analy sis |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《解放军理工大学学报》浏览原始摘要信息 |
| 点击此处可从《解放军理工大学学报》下载免费的PDF全文 |
|
