作者：任侠; 吕述望计算机科学技术基础学科安全协议证明strand空间模型安全密钥理想概念
摘要：提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明.此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
