认证测试的一个扩展

卢凤清; 林东岱

doi:10.7523/j.issn.2095-6134.2007.4.013

中国科学院大学学报 >

2007 , Vol. 24 >Issue 4: 488 - 493

DOI: https://doi.org/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

Expand

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 date: 1900-01-01

Revised date: 1900-01-01

Online published: 2007-07-15

Fold

摘要

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

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

本文引用格式

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

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

Options

文章导航

摘要

本文引用格式

Abstract

访问统计

联系我们

模态框（Modal）标题

摘要

本文引用格式

Abstract

访问统计

联系我们