您的位置： 专家智库 > >

国家科技支撑计划(009BA177B10)

作品数：1 被引量：1H指数：1
相关作者：薛海峰荆立夏更多>>
相关机构：中央广播电视大学郑州航空工业管理学院更多>>
发文基金：国家科技支撑计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇定项

机构

  • 1篇郑州航空工业...
  • 1篇中央广播电视...

作者

  • 1篇荆立夏
  • 1篇薛海峰

传媒

  • 1篇计算机工程

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
认证协议的必要条件证明被引量：1
2011年
提出绑定项理论并用该理论构建认证协议的必要条件定理,使用串空间理论证明该定理和3个典型认证协议。该理论能够迅速、有效地判定有缺陷的认证协议的认证属性,除了能够对认证协议的新鲜性、主体进行判定外,还能够对具有类型攻击缺陷的认证协议进行判定,为认证协议的安全判定提供一种简单、有效的理论方法。
薛海峰荆立夏
全选 清除 导出
共1页<1>
聚类工具0