您的位置： 专家智库 > >

金鑫

作品数：1 被引量：0H指数：0
供职机构：总参谋部更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇形式化验证
  • 1篇虚假
  • 1篇路由
  • 1篇MANET
  • 1篇串空间

机构

  • 1篇解放军理工大...
  • 1篇总参谋部

作者

  • 1篇杨莉
  • 1篇张毓森
  • 1篇王金双
  • 1篇金鑫
  • 1篇桂荆京
  • 1篇锁琰

传媒

  • 1篇计算机科学

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
MANET虚假路由形式化验证
2012年
提出了Ad-hoc网络虚假路由攻击的形式化验证和分析方法,主要是在参数化Ad-hoc路由协议串空间模型的基础上采用改进的Athena状态表示法来描述问题域,并采用相应的证明搜索过程来完成目标验证。最后设计实现了虚假路由自动验证系统FRpoofor,用它验证和分析了Ariadne安全路由协议运行环境下某些虚假路由的建立过程,以此说明方法的有效性。
张毓森桂荆京王金双锁琰杨莉金鑫
关键词：形式化分析串空间
全选 清除 导出
共1页<1>
聚类工具0