[1]周清雷,毋晓英..认证测试方法的扩展及其应用[J].郑州大学学报(工学版),2010,31(03):50-53.[doi:10.3969/j.issn.1671-6833.2010.03.013]
　ZHOU Qinglei,Wu Xiaoying.Extension of certification test methods and their application[J].Journal of Zhengzhou University (Engineering Science),2010,31(03):50-53.[doi:10.3969/j.issn.1671-6833.2010.03.013]

点击复制

认证测试方法的扩展及其应用()

分享到：

《郑州大学学报(工学版)》[ISSN:1671-6833/CN:41-1339/T]

卷:

31

期数:

2010年03期

页码:

50-53

栏目:

出版日期:

2010-03-01

文章信息/Info

Title:

Extension of certification test methods and their application

作者:

周清雷; 毋晓英.

郑州大学,信息工程学院,河南,郑州,450001, 郑州大学,信息工程学院,河南,郑州,450001

Author(s):

ZHOU Qinglei; Wu Xiaoying

关键词:

串空间模型;  认证测试;  TLS协议;  哈希函数;  测试分量

Keywords:

string space model;  certification testing;  TLS protocol;  hash function;  Test component

DOI:

10.3969/j.issn.1671-6833.2010.03.013

文献标志码:

A

摘要:

基于串空间模型的认证测试方法分析协议的安全性有一定的局限性,只能分析有限的协议.因此,对基于串空间模型的认证测试方法进行了扩展,通过修改测试分量和认证测试规则,对该方法进行了改进,运用扩展后的认证测试方法对使用签名和哈希函数的TLS协议进行了分析,扩大了认证测试方法的使用范围;并提出了对测试分量新鲜性的检验,进一步完善了认证测试方法.

Abstract:

The authentication test method based on the string space model has certain limitations in analyzing the security of the protocol, and can only analyze a limited number of protocols. Therefore, the authentication test method based on the string space model is extended, the method is improved by modifying the test components and authentication test rules, and the TLS protocol using signature and hash functions is analyzed by the extended authentication test method, and the scope of use of the authentication test method is expanded. And the test of the freshness of the test component is proposed, and the certification test method is further improved.

常用功能