您的位置： 专家智库 > >

广西省自然科学基金(0542052)

作品数：1 被引量：15H指数：1
相关作者：董荣胜古天龙郭云川陈大伟更多>>
相关机构：桂林电子工业学院更多>>
发文基金：广西省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇PROMEL...
  • 1篇SPIN
  • 1篇IKEV2协...
  • 1篇IKE协议

机构

  • 1篇桂林电子工业...

作者

  • 1篇陈大伟
  • 1篇郭云川
  • 1篇古天龙
  • 1篇董荣胜

传媒

  • 1篇计算机工程

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
IKEv2协议的SPIN模型检测被引量：15
2006年
基于模型检测技术,使用SPIN对IKEv2协议进行了建模和分析。应用Promela语言描述了协议模型,并用LTL规约了该协议需要满足的认证性和秘密性,最后对检测结果进行了分析。
陈大伟董荣胜郭云川古天龙
关键词：IKE协议SPINPROMELA
全选 清除 导出
共1页<1>
聚类工具0