认证测试的一个扩展

doi:10.7523/j.issn.2095-6134.2007.4.013

中国科学院大学学报 ›› 2007, Vol. 24 ›› Issue (4): 488-493.DOI: 10.7523/j.issn.2095-6134.2007.4.013

认证测试的一个扩展

卢凤清，林东岱

中国科学院软件研究所,北京 100080;信息安全国家重点实验室(中国科学院研究生院),北京 100049

收稿日期:1900-01-01 修回日期:1900-01-01 发布日期:2007-07-15

An extension of authentication

LU Feng-Qing, LIN Dong-Dai

Institute of Software, Chinese Academy of Sciences, Beijing 10080,China;
State Key laboratory of Information Security, Graduate School of the Chinese Academy of Science, Beijing 100049,China

Received:1900-01-01 Revised:1900-01-01 Published:2007-07-15

摘要/Abstract

摘要： 对Guttman等人提出的三种测试中的输入测试(incoming test)进行扩展，使其能够用来分析使用签名和验证的协议，如CCITT X.509协议等。使用扩展后的输入测试来分析CCITT X.509协议的正确性，发现它的不足之处。

关键词: 串空间, 认证测试, 变换实施边, 变换路径

Abstract: In this paper ,we present an extension of incoming test which introduced by Guttman et al.Then ,we use it to analyze the protocols containing signing and verifying .After we apply our extension to CCITT X.509,we find an flaw in it.

Key words: strand space, authentication test, transforming edge, transformation path

中图分类号:

TP393.08

卢凤清，林东岱. 认证测试的一个扩展[J]. 中国科学院大学学报, 2007, 24(4): 488-493.

LU Feng-Qing, LIN Dong-Dai. An extension of authentication[J]. , 2007, 24(4): 488-493.

[1]	任侠, 吕述望. 基于Strand空间分析具有类型缺陷的认证协议[J]. 中国科学院大学学报, 2004, 21(4): 543-548.
[2]	孙海波, 林东岱. 基于单向陷门函数的TMN协议的改进[J]. 中国科学院大学学报, 2002, 19(3): 254-262.

认证测试的一个扩展

An extension of authentication

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics

本文评价

访问统计

联系我们