1) 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个攻击方法。
2) 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网络间的共享密钥的安全更新。
3) Authentication tests method
认证性测试方法
4) 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.
本文对认证测试方法在安全协议分析中的应用进行了深入研究,提出了扩展的认证测试方法并设计了基于该方法的协议分析算法和自动化协议分析系统。
5) improved authentication test
改进认证测试方法
6) 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)公钥协议进行了重新设计。
补充资料：测试方法精密度
测试方法精密度
precision of test methods
ceshi fongfa iingmidu测试方法精密度(precision of test methCx如)精密度是一个通称。它表示在重复试验下所得测试结果间的一致性或变异性。测试结果则指按某一规定测试方法得到的某个特性的值。在不同的条件下衡t精密度的量度有所不同。比如，在重复性条件下，衡t测试方法精密度的量度是重复性限在再现性条件下，精密度t度是再现性限(见重复性和再现性)。为确定标准侧试方法的重复性和再现性而进行的试验称为精密度试验。国家标准《测试方法的精密度通过实验室间试验确定标准测试方法的重现性和再现性》(CBIT637争ee1986)规定了在实验室间精密度试验和统计分析的基本原则及方法，用以确定标准测试方法的重复性限r和再现性限R的数值。 侧试方法的精密度是指按某一给定的测试方法，在规定条件下，所得相互独立测试结果间的一致程度。所谓规定条件一般指重复性条件、再现性条件和其他的一些中间条件。相互独立的测试结果是指关于同一个或相似的测试目的，按照不受以往测试结果影响的某一测试方法所得到的结果。 重复性限r和再现性限R是判断两个单项测试结果间的差异是否起因于随机变化的依据。如果两个单项测试结果的绝对差超过;(或R)的数值，测试结果是可疑的，可认为测试结果存在系统误差。在许多实际应用中，利用重复性限r和再现性限R描述测试方法的变异性是必要的和充分的;但在一些特殊应用中，用标准差表示精密度更合适。 在国际标准《准确度(正确度和精密度)的测试方法和测试结果第3部分:标准测试方法精密度的中间量度)( 1505725一3:l望抖)中，规定了3种起因于实验室内观测条件(操作员，设备和时间间隔)变化的中间精密度的量度及起因于校准(再校准)的中间精密度t度。(马毅林)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条