1) Compact multi-signature
紧致多重数字签名
2) multiple digital signatures
多重数字签名
1.
Furthermore the multiple digital signatures were designed by combining several digital signatures in conic curve over Z_n,which can be used to realize that several people sign on a same file.
在此基础上,通过将多个圆锥曲线数字签名联合起来生成对消息的签名,设计实现了多人对同一文件的多重数字签名,最后给出了多重数字签名方案的数值模拟。
3) digital multisignature
多重数字签名
1.
Research of digital multisignature algorithm based on self-certified public key system;
基于自证明公钥系统的多重数字签名算法研究
2.
This paper analyzes the ElGamal type digital multisignature schemes put forward by Jianzhu Lu et al.
通过分析文献中卢建朱等人提出的ElGamal型多重数字签名方案,指出他们所设计的有序多重数字签名方案中验证方程的一些错误,并对其进行了改正。
3.
We propose a new digital multisignature scheme based on difficulty of RSA and hash function.
基于RSA和哈希函数求逆的困难性提出了一种新的按序多重数字签名方案。
4) multi-signature
多重数字签名
1.
Sequential digital multi-signature scheme without using Hash and Redundancy functions;
不使用Hash和Redundancy函数的有序多重数字签名方案
2.
Another forward secure multi-signature scheme;
一个前向安全的多重数字签名方案
3.
Multi-signature Scheme for Network Environment Based on Elliptic Curves Cryptosystem;
通信网中基于椭圆曲线密码的多重数字签名
5) multisignature
多重数字签名
1.
Research on multisignature with proxy signers based on DLP;
基于DLP的有代理的多重数字签名方案研究
2.
A Robust Elliptic Curve Digital Multisignature Scheme;
一种安全的椭圆曲线多重数字签名方案
3.
A forward-secure multisignature scheme is proposed based on ElGamal digital signature.
文章基于ElGamal数字签名体制提出了一个具有前向安全的多重数字签名方案。
补充资料：紧致性定理
模型论中的一条基础性的定理。在一阶模型论中，该定理的含义是：如果一阶语言中一个命题集（形式理论）T的任何有限子集都有模型，则T自身有模型。在非一阶模型论中，紧致性定理不一定成立，但有时有较弱的结论或能起类似作用的定理。
根据紧致性定理证明T有模型，只需证明T的每一有限子集都有模型,而证明后者往往比直接证明T有模型要容易得多，这就是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如，非标准分析是数学中一个新分支，它是建立在这样的有序域垬之上的，即垬和实数域R具有十分类似的普通性质,但垬中含有很多互不相等的无限小元及无限大元，这样的垬用普通数学方法是难以构作的，但其存在性则可以用紧致性定理证明。因为，利用垬中的无限小元，可以避开通常的"ε-δ"方式，而用比较自然但又严格的方式定义R中数列的极限概念及函数的连续性概念等，进而也可以比较简便地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致性定理对于数学的一个既有数学意义又有方法论意义的重要应用。在代数中，利用紧致性定理可以得到一些逻辑性的"转移原理"。例如:设ψ是一个关于群的一阶命题,若ψ对于每个无限群都真,则ψ也对每个元数相当大的有限群为真。对其他代数结构，如环、域等，也有类似的"转移原理"。又如：设ψ是一个关于域的一阶命题。若ψ对于每个特征数零的域都真,则ψ也对每个特征数P相当大的域为真,等等。这些原理，都是难以用普通数学方法证明的。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
根据紧致性定理证明T有模型，只需证明T的每一有限子集都有模型,而证明后者往往比直接证明T有模型要容易得多，这就是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如，非标准分析是数学中一个新分支，它是建立在这样的有序域垬之上的，即垬和实数域R具有十分类似的普通性质,但垬中含有很多互不相等的无限小元及无限大元，这样的垬用普通数学方法是难以构作的，但其存在性则可以用紧致性定理证明。因为，利用垬中的无限小元，可以避开通常的"ε-δ"方式，而用比较自然但又严格的方式定义R中数列的极限概念及函数的连续性概念等，进而也可以比较简便地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致性定理对于数学的一个既有数学意义又有方法论意义的重要应用。在代数中，利用紧致性定理可以得到一些逻辑性的"转移原理"。例如:设ψ是一个关于群的一阶命题,若ψ对于每个无限群都真,则ψ也对每个元数相当大的有限群为真。对其他代数结构，如环、域等，也有类似的"转移原理"。又如：设ψ是一个关于域的一阶命题。若ψ对于每个特征数零的域都真,则ψ也对每个特征数P相当大的域为真,等等。这些原理，都是难以用普通数学方法证明的。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条