您的位置： 专家智库 > >

李跃廷

作品数：1 被引量：0H指数：0
供职机构：装甲兵工程学院更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇握手
  • 1篇CANETT...
  • 1篇IEEE
  • 1篇IEEE_8...
  • 1篇I

机构

  • 1篇装甲兵工程学...

作者

  • 1篇王东杨
  • 1篇张哲
  • 1篇李跃廷

传媒

  • 1篇电脑编程技巧...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于Canetti-Krawczyk模型的IEEE 802.11i四步握手协议分析
2009年
对Canetti-Krawczyk模型进行深入研究,抽象并形式化IEEE802.11i协议的四步握手协议。依据Canetti-Krawczyk模型中在AM下的安全性定义,利用其理论进行形式化分析,得出四步握手协议在AM下的SK安全的结论。提出对于UC下的安全性和协议可用性将是下一步研究目标。
张哲王东杨李跃廷
关键词：IEEE形式化分析
全选 清除 导出
共1页<1>
聚类工具0