浏览全部资源
扫码关注微信
1. 中国科学院研究生院信息安全国家重点实验室
2. 中国科学院研究生院信息安全国家重点实验室 北京100039
纸质出版日期:2005
移动端阅览
[1]任侠,吕述望.Strand空间中基于安全密钥概念的证明思路[J].通信学报,2005(02):29-34.
[1]任侠,吕述望.Strand空间中基于安全密钥概念的证明思路[J].通信学报,2005(02):29-34. DOI:
DOI:
提出了Strand空间模型中证明安全协议的一个新思路
它从安全密钥的概念出发
参照基于理想概念的证明方法
得出证明所需的预备结论
从而对协议的秘密属性与认证属性进行证明。此外
还给出了一个针对Yahalom-BAN协议安全性的证明实例
从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明
并且它还使得证明过程简洁而直观。
0
浏览量
81
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构