您的位置： 专家智库 > >

徐成

作品数：2 被引量：2H指数：1
供职机构：重庆大学计算机学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇串空间
  • 1篇形式化
  • 1篇形式化分析
  • 1篇保密
  • 1篇保密性
  • 1篇IEEE
  • 1篇IEEE_8...
  • 1篇串空间模型
  • 1篇I

机构

  • 2篇重庆大学

作者

  • 2篇徐成
  • 2篇吴开贵
  • 1篇廖振岚
  • 1篇陈明

传媒

  • 1篇计算机应用
  • 1篇第十三届全国...

年份

  • 1篇2009
  • 1篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
IEEE 802.11i协议的形式化分析被引量：2
2008年
在Furqan提出运用串空间理论对IEEE802.11i协议进行形式化验证的基础上,对IEEE802.11i协议的串空间模型进行了改进,并证明了Furqan没有证明的保密性以及服务器的认证性。分析结果证明,在目前的攻击者模型中,IEEE802.11i协议是安全的。
吴开贵徐成廖振岚
关键词：IEEE串空间形式化分析
Kao Chow重复认证协议的串空间模型与分析
Kao Chow 是一种有效安全密码协议，Kao Chow协议已经被BAN逻辑、串空间等方法进行了分析。但仅仅分析Kao Chow重复认证协议简单版的初始认证阶段。本文首先提出了一种新的因果关系(≠)，重新定义了串空间、...
徐成吴开贵陈明
关键词：串空间模型
文献传递
全选 清除 导出
共1页<1>
聚类工具0