2) authentication tests
认证测试
1.
Formal analysis of robust email protocol based on authentication tests
基于认证测试的鲁棒电子邮件协议形式化分析(英文)
2.
This paper introduced the notion of message type and the checking mechanism into authentication tests,and proposed a new analysis method of authentication tests based on message type checking.
将消息类型的概念和检测方法引入认证测试的分析过程,提出基于消息类型检测的认证测试分析方法,从而完善了认证测试在对称密钥协议验证中的应用,使其具有发现消息重放攻击和类型攻击的能力。
3.
This paper introduced an authentication tests-based method for guiding security protocol design,and uses it to redesign the Needham-Schroeder publickey protocol.
以认证测试方法为基础,提出了一种通用的安全协议形式化设计方法,使用该方法对Needham-Schroeder(NS)公钥协议进行了重新设计。
3) authentication test
认证测试
1.
Improvement and application of authentication test;
认证测试方法的改进及应用
2.
Analysis of X.509 Authentication Protocol via Authentication Test;
认证测试方法对X.509认证协议的分析
3.
Improvement of authentication test based on strand spaces model;
串空间模型及其认证测试方法的一种扩展与应用
5) IHE connectation test
IHE认证测试
6) authentication tests
认证测试方法
1.
Formal analysis of EAP-AKA protocol based on authentication tests;
基于认证测试方法的EAP-AKA协议分析
2.
Research on the Application of Authentication Tests in Formal Analysis of Security Protocol;
认证测试方法在安全协议形式化分析中的应用研究
3.
The 3GPP(Third Generation Partnership Project) authentication and key agreement(AKA) was formally analyzed with the strand space model and authentication tests.
基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划(3GPP)认证密钥交换协议,指出了该协议应用于不安全的信道时存在保密性和认证正确性的缺陷,同时给出了对该协议的2个攻击方法。
补充资料：自愿性认证(见产品合格认证)
自愿性认证(见产品合格认证)
voluntary certification: see product conformity certification
Z叨anxing renzheng自愿性认证(volun娜cert讥cation)合格认证。见产品
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条