摘要： 通过在串空间中加入新的密码原语，重新定义认证测试的前提条件、扩展认证测试理论，使其能够分析有签名运算的密码协议。通过对基于Diffie-Hellman密钥交换的安全协议进行合理的假设，使其参数项具有现时值的性质，从而可以直接使用扩展的认证测试理论进行分析。使用扩展后的认证测试分析一个包含签名和Diffie-Hellman密钥交换的密码协议，得出该协议满足认证特性。

关键词: 串空间, 认证测试, Diffie-Hellman密钥交换协议, 数字签名

Abstract: By adding some new cryptographic primitives’ abstracts into strand space, this paper defines new premise of authentication tests and extends the theory, so that the extended theory can analyze security protocols including signature. By giving some assumption about secure protocols based on Diffie-Hellman key exchange, it makes the parameter items have the characteristic of the nonce. So it can be analyzed using the authentication test. It analyzes a protocol including digital signature and Diffie-Hellman key exchange using the extended authentication test and proves it satisfies the authentication property.

Key words: strand space, authentication test, Diffie-Hellman key exchange protocol, digital signature

中图分类号: 

• TP309.2