2) Measured in square Proof
以方测证法
3) syndrome named by formulas
以方名证
5) Take place or happen in the specified way; prove to be
以某方式发生;证明为
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个攻击方法。
补充资料:名方
1.著名的药方。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条