节点文献

认证测试的一个扩展

An extension of authentication

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 LU Feng-Qing LIN Dong-Dai(Institute of Software, Chinese Academy of Sciences, Beijing 100080,China; State Key Laboratory of Information Security, Graduate School of the Chinese Academy of Sciences, Beijing 100049,China)

【机构】中国科学院软件研究所；信息安全国家重点实验室(中国科学院研究生院) 北京100049；信息安全国家重点实验室(中国科学院研究生院)；北京100049；北京100080；

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

【Abstract】 We present an extension of the incoming test which was 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 a flaw in it.更多还原

【关键词】串空间；认证测试；变换实施边；变换路径；
【Key words】 strand space； authentication test； transforming edge； transformation path；

【基金】国家973计划(2004CB318004);国家自然科学基金(60673069)资助

【文献出处】中国科学院研究生院学报 ,Journal of the Graduate School of the Chinese Academy of Sciences , 编辑部邮箱 ,2007年04期

【分类号】TP393.08
【被引频次】2
【下载频次】33

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献