| 扩展Meadows模型分析Ad Hoc网络路由协议安全性 |
| |
| 引用本文： | 刘晶,伏飞,肖军模.扩展Meadows模型分析Ad Hoc网络路由协议安全性[J].应用科学学报,2008,26(3):250-256. |
| |
| 作者姓名： | 刘晶 伏飞 肖军模 |
| |
| 作者单位： | 1. 解放军理工大学,通信工程学院,江苏,南京,210007
2. 解放军理工大学,指挥自动化学院,江苏,南京,210007 |
| |
| 基金项目： | 国家自然科学基金
,
解放军总装备部预研项目 |
| |
| 摘 要： | 目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.
|
| 关 键 词： | Ad Hoc网络 安全路由协议 形式化分析 扩展 模型 形式化分析方法 网络路由 协议安全性 Model Improved Based Ad Hoc Networks Routing Protocols Secure Analysis 存在 显示 结果 使用 能力 描述 图论 添加 |
| 文章编号： | 0255-8297(2008)03-0250-07 |
| 修稿时间： | 2007年12月17 |
Security Analysis of Secure Routing Protocols for Ad Hoc Networks Based on Improved Meadows Model |
| |
| LIU Jing,FU Fei,XIAO Jun-mo.Security Analysis of Secure Routing Protocols for Ad Hoc Networks Based on Improved Meadows Model[J].Journal of Applied Sciences,2008,26(3):250-256. |
| |
| Authors: | LIU Jing FU Fei XIAO Jun-mo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
