2) Certificate for Trial Voyage
试航证书
4) test certificate
试验证明书
5) 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)公钥协议进行了重新设计。
6) verification testing
验证测试
1.
0,then use SVA to perform the verification testing of the module.
作为SystemVerilog的重要组成部分,SystemVerilogAssertion(SVA)提供了丰富的断言指令,能有效的提高验证测试工作的质量和效率。
补充资料：自愿性认证(见产品合格认证)
自愿性认证(见产品合格认证)
voluntary certification: see product conformity certification
Z叨anxing renzheng自愿性认证(volun娜cert讥cation)合格认证。见产品
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条