您的位置： 专家智库 > >

刘炜

作品数：1 被引量：0H指数：0
供职机构：中国人民解放军73691部队更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化分析
  • 1篇IEEE_8...
  • 1篇KERBER...
  • 1篇KERBER...
  • 1篇串空间
  • 1篇串空间模型

机构

  • 1篇中国人民解放...

作者

  • 1篇周世健
  • 1篇刘炜
  • 1篇张旭辉

传媒

  • 1篇中国电子科学...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
IEEE 802.11i基于Kerberos架构认证的形式化分析
2010年
形式化方法对安全协议的分析有着无可替代的优势,串空间模型又是众多形式化方法中有良好扩展性的方法之一。利用串空间模型对IEEE 802.11i的认证方式中基于Kerberos架构认证进行了机密性和认证性证明,并得出其安全性可靠的结论。最后也提出了形式化方法的不足之处和未来研究方向。
周世健张旭辉刘炜
关键词：KERBEROS协议形式化方法串空间模型
全选 清除 导出
共1页<1>
聚类工具0