Yahalom协议的串空间模型及分析  

Strand Space Model of Yahalom Protocol and its Analysis

作　　者：刘璟[1] 祝世雄 周明天[2] 

机构地区：[1]国防科技重点实验室,四川成都610041 [2]电子科技大学计算机科学与工程学院,四川成都610054

出　　处：《小型微型计算机系统》2006年第5期788-792,共5页Journal of Chinese Computer Systems

基　　金：国家"九七三"重点基础研究发展规划项目:信息与网络安全体系研究--密钥管理系统项目(G1999035803)资助

摘　　要：作为一种用来分析密码协议的最具代表性的定理证明技术,串行空间理论已被成功地用来分析许多典型的密码协议.其理论中的理想和诚实两个概念的提出更是大大简化了一类密码协议的证明步骤.首次利用串空间理论从机密性和鉴别两个方面对GavinLowe提出的Yahalom协议的改进版进行了分析.分析结果证明该协议是安全的.As one of the most representative theorem-proving techniques used to analyze eryptographic protocols,the strand space theory has been successfully applied to verify a plenty of typical cryptographic protocols. Furthermore the proposition of the two concepts of honest and ideal simplifies the process of verification of some kind of cryptographic protocols. For the first time, based on the theory of strand space, the Lowe＇s modified version of Yahalom protocol was analysed from the aspects of both confidentiality and authentication. The analysis proved the correctness of the protocol.

关 键 词：密码协议 Yahalom协议 串空间 

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