认证测试的一个扩展

• 作者: 卢凤清 林东岱
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 串空间 认证测试 变换实施边 变换路径
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 论文
• 页码范围: 488-493
• 页数: 6页
• 分类号: TP393.08
• 字数: 5407字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-1175.2007.04.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢凤清	中国科学院软件研究所	1	3	1.0	1.0