摘要： 根据安全协议分析的需要，阐述经扩展后的串空间理论，在该理论中加入Diffie-Hellman密钥交换等操作，在此基础上扩展理想和诚实的概念，使用扩展的串空间理论分析SIGMA-R协议的核心安全特性——保密性和认证特性，并通过数学方法加以验证。

关键词: 串空间, Diffie-Hellman密钥交换, 数字签名

Abstract: 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.

Key words: strand space, Diffie-Hellman(DH) key exchange, digital signature

中图分类号: 

• TP309.2