认证测试的一个扩展


Autoria(s): 卢凤清; 林东岱
Data(s)

2007

Resumo

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

Identificador

http://ir.iscas.ac.cn/handle/311060/3436

http://www.irgrid.ac.cn/handle/1471x/67091

Idioma(s)

中文

Fonte

卢凤清; 林东岱.认证测试的一个扩展,中国科学院研究生院学报,2007,24(4):488-493

Palavras-Chave #串空间 #认证测试 #变换实施边 #变换路径 #strand space #authentication test #transforming edge #transformation path
Tipo

期刊论文