1) Expanded Authentication Tests
扩展的认证测试方法
1.
In this paper, we do deep research on the application of Authentication Tests in security protocol analysis, and propose the Expanded Authentication Tests, based on which we design the automatic security protocol analysis system.
本文对认证测试方法在安全协议分析中的应用进行了深入研究,提出了扩展的认证测试方法并设计了基于该方法的协议分析算法和自动化协议分析系统。
2) 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个攻击方法。
3) 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网络间的共享密钥的安全更新。
4) Authentication tests method
认证性测试方法
5) improved authentication test
改进认证测试方法
6) Improved authentication tests
改进的认证测试
补充资料：自愿性认证(见产品合格认证)
自愿性认证(见产品合格认证)
voluntary certification: see product conformity certification
Z叨anxing renzheng自愿性认证(volun娜cert讥cation)合格认证。见产品
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条