您的位置： 专家智库 > >

王松

作品数：1 被引量：0H指数：0
供职机构：装备指挥技术学院更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇逻辑分析
  • 1篇TLS协议

机构

  • 1篇中国人民解放...
  • 1篇装备指挥技术...

作者

  • 1篇刘丽明
  • 1篇潘进
  • 1篇王松

传媒

  • 1篇现代电子技术

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
802．16e中双重EAP认证的Rubin逻辑分析
2009年
802.16是IEEE制定的无线城域网技术标准。作为当今最具发展前景的无线宽带接入技术之一,由于传输信号的开放性,其安全问题备受关注。802.16e标准的安全体制在802.16d安全体制的基础上作了进一步的改进,不但实现了RSA的双向认证,而且引入了应用层认证协议EAP;实现了基于EAP的双重认证。根据协议分析需求,首先对所选形式化分析方法Rubin逻辑进行了扩展,并用扩展后的Rubin逻辑对双重认证模式进行分析,验证了802.16e中的双重认证模式的安全性。
刘丽明潘进王松
关键词：TLS协议形式化分析
全选 清除 导出
共1页<1>
聚类工具0