1) 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;
串空间模型及其认证测试方法的一种扩展与应用
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) IHE connectation test
IHE认证测试
4) 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个攻击方法。
5) authentication test
认证测试方法
1.
After the protocols which satisfy all the given constraints are modeled by strand space,authentication test is used to analyze these models under symmetrical and unsymmetrical cryptography respectively.
挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因。
2.
It implements mutual authentication between 3G networks and WLAN access networks by adding shared keys,which can be proved through strand space model and authentication test,the protection to IMSI by transmitting the encrypted NAI and the secure updating of shared keys between users and 3G networks by introducing key updating strategy.
通过在3G和WLAN接入网络间增设共享密钥实现了两者间的相互认证,并用串空间模型和认证测试方法进行了形式化分析,通过加密传输NAI实现了对IMSI的加密保护,通过引入密钥更新机制实现了对用户和3G网络间的共享密钥的安全更新。
6) Multiple authentication test
多重认证测试
补充资料：自愿性认证(见产品合格认证)
自愿性认证(见产品合格认证)
voluntary certification: see product conformity certification
Z叨anxing renzheng自愿性认证(volun娜cert讥cation)合格认证。见产品
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条