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

摘要：

提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明.此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观.

关键词：计算机科学技术基础学科、安全协议证明、Strand空间模型、安全密钥、理想概念

所属期刊栏目：26

分类号：TP309(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA141040;国家重点基础研究发展计划973计划G1999035800

在线出版日期：2005-04-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：29-34