您的位置： 专家智库 > >

任侠

作品数：1 被引量：1H指数：1
供职机构：中国科学院研究生院信息安全国家重点实验室更多>>
发文基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇计算机
  • 1篇计算机科学
  • 1篇计算机科学技...
  • 1篇计算机科学技...
  • 1篇安全密钥
  • 1篇STRAND...

机构

  • 1篇中国科学院研...

作者

  • 1篇吕述望
  • 1篇任侠

传媒

  • 1篇通信学报

年份

  • 1篇2005
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Strand空间中基于安全密钥概念的证明思路被引量：1
2005年
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。
任侠吕述望
关键词：计算机科学技术基础学科安全密钥
全选 清除 导出
共1页<1>
聚类工具0