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

您当前的位置：

首页 >

文章列表页 >

更新时间：2024-10-14

- Strand空间中基于安全密钥概念的证明思路
- Issue 2, Pages: 29-34(2005)
- 作者机构：
  
  1. 中国科学院研究生院信息安全国家重点实验室
  2. 中国科学院研究生院信息安全国家重点实验室北京100039
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN918.1
- Published：2005
- 稿件说明：
移动端阅览
[1]任侠,吕述望.Strand空间中基于安全密钥概念的证明思路[J].通信学报,2005(02):29-34.

[J]. 2005, (2): 29-34.
[1]任侠,吕述望.Strand空间中基于安全密钥概念的证明思路[J].通信学报,2005(02):29-34. DOI：

[J]. 2005, (2): 29-34. DOI：

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

它从安全密钥的概念出发

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

得出证明所需的预备结论

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

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

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

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

Views

623

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

Influence of pH Value in Precursor Solution on the Component, Morphology and Photoluminescence of Ca₂Zn₄Ti₁₆O₃₈ ∶ Pr³⁺, Na⁺ Phosphor

Preparation of Eu²⁺-activated Aluminate Doped by N Phosphors for White LED

Enhanced Photoluminescence of Na⁺-doped Gd₂O₃ ∶ Sm³⁺ Nanocrystals

Hydrogenic Donor Impurity States in a Cylindrical Wurtzite GaN Quantum Dot

Related Author

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

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

3.北京100039

Related Institution

No data

AI问答

⁰