串空间理论的扩展和应用  

Extension and Application of Strand Space Theory

作　　者：陈建熊[1] 孙乐昌[1] 潘祖烈[1] 蔡铭 

机构地区：[1]合肥电子工程学院网络工程系 [2]解放军73677部队

出　　处：《计算机工程》2009年第22期137-140,共4页Computer Engineering

摘　　要：根据安全协议分析的需要,阐述经扩展后的串空间理论,在该理论中加入Diffie-Hellman密钥交换等操作,在此基础上扩展理想和诚实的概念,使用扩展的串空间理论分析SIGMA-R协议的核心安全特性——保密性和认证特性,并通过数学方法加以验证。Due to the requirement of the security protocol analysis, the paper presents the extended strand space theory. A new cryptographic primitive is added into strand space including Diffie-Hellman（DH） operations. On this basis, the honest and ideals concepts are extended. The core security property of the SIGMA-R protocol, confidentiality and authentication, is analyzed by using the extended strand space theory. Through the mathematic method, the two security properties are identified.

关 键 词：串空间 DIFFIE-HELLMAN密钥交换 数字签名 

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