2) verification
[英][,verifi'keiʃən] [美][,vɛrɪfɪ'keʃən]
可验证性
1.
: The group oriented (t,n) threshold digital signature schemes have some problems in that the group secret parameter will be revealed if any t or more shadowholders conspire together with each other and the efficience of verification is poor.
该门限签名方案除了具有一般门限签名的群签名特性和门限特性外,还具有可验证性、强壮性、稳定性和验证高效性等优点。
2.
The scheme has the property of verification and can prevent inside member conspiracy attack.
该方案具有可验证性和防止内部成员合谋攻击;而且验证者在验证群签名的有效性计算的复杂性与一般个人签名方案一样。
3.
YCH scheme is an efficient multi-secret sharing scheme based on two-variable one-way function and Shamir(t,n) threshold secret sharing scheme,but the scheme does not have the property of verification.
YCH方案是一个基于二元单向函数和Shamir(t,n)门限方案的有效多秘密共享方案,但其不具有可验证性。
3) verifiability
[英]['veri,faiə'biliti] [美][,vɛrə,faɪə'bɪlətɪ]
可验证性
1.
This paper gives the formal description of the two-party protocol,and discusses the security,authenticability and verifiability for two-praty protocols.
论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鉴别性和可验证性。
2.
Analysis showed that this scheme achieved not only basic demands such as completeness,soundness,privacy,unreusability,but also extended demands such as receipt-freeness,universal verifiability and .
论证了该方案满足电子选举所需的完全性、合理性、匿名性、不可重复性等基本要求,并且证明该方案严格满足无收据性、广义可验证性和高效性,解决了广义可验证性和无收据性不能同时高效实施的现有难题。
4) Testable
[英]['testəbl] [美]['tɛstəbḷ]
可验证性
1.
To definite the boundary, we should follow the testable principle, the cost-income principle, safe operation principle and applicability principle.
确定我国财务会计的“界”,应贯彻可验证性原则、成本收益原则、安全运营原则和有用性原则。
5) creditability validation
可信性验证
1.
The design of integrated test platform,realtime simulation algorithms and the creditability validation of real-time simulation system were emphasized.
并对综合测试平台组建、实时仿真算法和实时仿真系统可信性验证技术进行了重点分析。
6) reliability verification
可靠性验证
1.
For reducing the amount of necessary test sample size during the reliability verification with specified risk level,this paper presents a method to make the full use of the reliability test data acquired in the product development phase which will be able to reduce the amount of necessary test sample size and then reduce the risk level.
常用抽样检验的方法进行产品可靠性验证,根据这一方法所确定的验证试验方案,在一定的风险下所需样本量较大,有时在工程上是不可接受的。
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条