1) public verifiability
可公开验证性
1.
In this paper,by conducting an investigation in signcryption schemes with forward security and public verifiability and based on Liber and Quisquaters signcryption schemes,a new signcryption scheme is proposed,and its security and efficiency are analyzed at the same time.
结果表明:文章给出的签密方案实现了同时提供前向安全性和可公开验证性;而基于身份公钥密码和双线性对技术,使该方案又具有密钥长度短和密钥管理简单的特点,使其具有与LQ签密方案相当的效率。
2) public verifiability
公开可验证性
3) publicly verifiable
可公开验证
1.
Publicly Verifiable Secret Sharing Scheme with Perfect Secrecy Feature;
一个完善的可公开验证秘密分享方案
2.
This paper combines the signcryption and certificateless public key cryptosystem on the basis of the existing literature and realizes an improved certificateless publicly verifiable signcryption scheme.
签密是将签名和加密相结合的一种方案,无证书密码体制实现无公钥证书且没有密钥托管的性质,该文在已有研究的基础上将签密和无证书公钥密码体制结合,实现一种改进的无证书可公开验证签密方案。
4) Public verifiability
可公开验证
1.
An identity-based signcryption scheme with public verifiability;
一种可公开验证的基于身份的签密方案
2.
proposed a identity-based proxy signcryption scheme with forward security and public verifiability.
最近Wang等人提出了一个具有前向安全和可公开验证特性的基于身份的代理签密方案,分析后发现其方案存在明显错误,这种错误直接导致其方案是行不通的。
5) Publicly verifiable
公开可验证
1.
The security requirements of a publicly verifiable zero-.
提出了公开可验证的零知识水印检测的安全需求,给出一个公开可验证的承诺方案和一个证明知道被承诺值的离散对数的零知识知识证明协议。
2.
A publicly verifiable multi-secret sharing scheme is proposed, using non-interactive zero-knowledge proof protocol and Shamir’s sharing system.
基于大整数分解以及离散对数问题的难解性,使用非交互的零知识证明协议,以Shamir共享体制为基础提出一种公开可验证的门限多秘密共享方案。
6) public verifiability
公开验证性
1.
The new scheme enjoys desirable properties as follows: signature unforgeability,public verifiability and forward secrecy.
该方案具备不可伪造性、公开验证性和前向安全性,且计算量小,签密与解签密仅需2次对运算,通信成本低,签密数据率可达28%,适于传输带宽受限的环境。
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条