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

• 作者: 任侠 吕述望
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 计算机科学技术基础学科 安全协议证明 Strand空间模型 安全密钥 理想概念
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 29-34
• 页数: 6页
• 分类号: TP309
• 字数: 5852字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2005.02.006

摘要

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