您的位置： 专家智库 > >

谭志华

作品数：1 被引量：4H指数：1
供职机构：湖南大学信息科学与工程学院更多>>
发文基金：中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇密钥管理
  • 1篇SPIN

机构

  • 1篇湖南大学

作者

  • 1篇张大方
  • 1篇缪力
  • 1篇谭志华

传媒

  • 1篇计算机工程与...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于SPIN的网络认证协议高效模型检测被引量：4
2012年
为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。
缪力谭志华张大方
全选 清除 导出
共1页<1>
聚类工具0