您的位置: 专家智库 > >

余涛

作品数:1 被引量:1H指数:1
供职机构:解放军信息工程大学理学院更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇安全协议
  • 1篇串空间

机构

  • 1篇解放军信息工...
  • 1篇西安电子科技...

作者

  • 1篇邓淼磊
  • 1篇周利华
  • 1篇周跃华
  • 1篇余涛

传媒

  • 1篇计算机科学

年份

  • 1篇2008
1 条 记 录,以下是 1-1
排序方式:
802.11i的认证安全性分析被引量:1
2008年
IEEE设计802.11i协议解决无线局域网的安全问题。802.11i协议的形式化分析,对于确保该协议的正确性至关重要。利用串空间理论对802.11i协议进行建模,在串空间模型中验证协议的认证属性。结果表明,802.11i协议能够安全实现它的认证功能。
邓淼磊周跃华余涛周利华
关键词:安全协议串空间
共1页<1>
聚类工具0