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

Proof idea based on safe keys in strand spaces

作　　者：任侠[1] 吕述望[1] 

机构地区：[1]中国科学院研究生院信息安全国家重点实验室,北京100039

出　　处：《通信学报》2005年第2期29-34,共6页Journal on Communications

基　　金：国家"863"基金资助项目(2002AA141040);国家"973"基金资助项目(G1999035800)

摘　　要：提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。A new proof idea of security protocols in the strand spaces model was presented. Its derived from the concept of safe keys and refers to the proof method based on the ideal notion. Then the preliminary conclusion can be obtained and used to prove the secrecy and authentication properties of protocols. In addition, an example of the proof of Yahalom-BAN protocol was gave. It illustrates that the idea offered here is very suitable to prove the three party authentication protocol based on symmetric cryptosystems and with the function of distribution of keys. Also it demonstrates that this idea makes the proof procedure simple and intuitive.

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]