浏览全部资源
扫码关注微信
Published:2005
移动端阅览
[J]. 2005, (2): 29-34.
DOI:
[J]. 2005, (2): 29-34. DOI:
提出了Strand空间模型中证明安全协议的一个新思路
它从安全密钥的概念出发
参照基于理想概念的证明方法
得出证明所需的预备结论
从而对协议的秘密属性与认证属性进行证明。此外
还给出了一个针对Yahalom-BAN协议安全性的证明实例
从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明
并且它还使得证明过程简洁而直观。
0
Views
616
下载量
1
CSCD
Publicity Resources
Related Articles
Related Author
Related Institution