您的位置： 专家智库 > >

国家部委预研基金(41101040402)

作品数：1 被引量：1H指数：1
相关作者：刘晶肖军模伏飞更多>>
相关机构：解放军理工大学更多>>
发文基金：国家部委预研基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇网络
  • 1篇路由
  • 1篇路由协议
  • 1篇安全路由
  • 1篇安全路由协议
  • 1篇AD
  • 1篇AD_HOC
  • 1篇AD_HOC...
  • 1篇HOC网
  • 1篇HOC网络

机构

  • 1篇解放军理工大...

作者

  • 1篇伏飞
  • 1篇肖军模
  • 1篇刘晶

传媒

  • 1篇解放军理工大...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Ad Hoc网络安全路由协议形式化分析模型被引量：1
2008年
为了能够对Ad Hoc网络安全路由协议进行有效的安全性证明,需要形式化的分析方法。针对目前缺乏有效方法的现状,结合Ad Hoc网络安全路由协议特点,利用图论理论,对传统安全协议分析方法Mead-ows模型进行扩展,扩展后的Meadows模型具有了路由描述和分析能力。使用扩展后的Meadows模型对AdHoc网络安全路由协议Ariadne进行了分析。分析结果显示,Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad Hoc网络安全路由协议的安全性分析。
刘晶伏飞肖军模
关键词：ADHOC网络安全路由协议形式化分析
全选 清除 导出
共1页<1>
聚类工具0