| 认证测试的一个扩展 |
| |
| 作者姓名： | 卢凤清 林东岱 |
| |
| 作者单位： | 中国科学院软件研究所,北京 100080;信息安全国家重点实验室(中国科学院研究生院),北京 100049 |
| |
| 摘 要： | 对Guttman等人提出的三种测试中的输入测试(incoming test)进行扩展，使其能够用来分析使用签名和验证的协议，如CCITT X.509协议等。使用扩展后的输入测试来分析CCITT X.509协议的正确性，发现它的不足之处。
|
| 关 键 词： | 串空间 认证测试 变换实施边 变换路径 |
An extension of authentication |
| |
| Authors: | LU Feng-Qing LIN Dong-Dai |
| |
| Institution: | 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 ; |
| |
| 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. |
| |
| Keywords: | strand space authentication test transforming edge transformation path |
|
| 点击此处可从《》浏览原始摘要信息 |
| 点击此处可从《》下载免费的PDF全文 |
