Strand空间中基于安全密钥概念的证明思路附视频

您当前的位置：

首页 >

文章列表页 >

Strand空间中基于安全密钥概念的证明思路附视频

更新时间：2024-10-14

|

- Strand空间中基于安全密钥概念的证明思路附视频
- 暂无标题
- 通信学报 2005年第2期页码：29-34
- 作者机构：
- 作者简介：
- 基金信息：
  
  国家“863”基金资助项目(2002AA141040);国家“973”基金资助项目(G1999035800)
- DOI：
  中图分类号： TN918.1
- 纸质出版日期：2005
- 稿件说明：
移动端阅览
任侠, 吕述望, 1.中国科学院研究生院信息安全国家重点实验室, 等. Strand空间中基于安全密钥概念的证明思路附视频[J]. 通信学报, 2005,(2):29-34.
任侠, 吕述望, 1.中国科学院研究生院信息安全国家重点实验室, 等. Strand空间中基于安全密钥概念的证明思路附视频[J]. 通信学报, 2005,(2):29-34. DOI：

DOI：

摘要

提出了Strand空间模型中证明安全协议的一个新思路

它从安全密钥的概念出发

参照基于理想概念的证明方法

得出证明所需的预备结论

从而对协议的秘密属性与认证属性进行证明。此外

还给出了一个针对Yahalom-BAN协议安全性的证明实例

从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明

并且它还使得证明过程简洁而直观。

Abstract

关键词

Keywords

references

0

浏览量

85

下载量

1

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

相关文章

Strand空间中基于安全密钥概念的证明思路

相关作者

暂无数据

相关机构

中国科学院研究生院信息安全国家重点实验室

中国科学院研究生院信息安全国家重点实验室北京100039

⁰