1) Completeness Proof
完全性证明
1.
Discussing about the Completeness Proof of Normal Modal Propositional Logic System
关于正规模态命题逻辑系统的完全性证明
2) perfect zero knowledge proof
完全零知识证明
4) platform Integrity attestation
平台完整性证明
5) provable security
可证明的安全性
6) provable security
可证明安全性
1.
Based on the XTR4 cryptosystem,the key exchange protocol,communication protocol of provable security,and one-time-pad protocol were proposed,which could be employed in variant environments to assure the security,as well .
提出XTR4体制上的密钥交换协议,可证明安全性保密通信协议,一次一密协议,可以应用于多种环境,既能保证安全性,又能显著地提高运算效率。
2.
Some problems existin provablesecurity ofblockcipheralgorithm and theprovable security ofblock cipher cannot be described exactly.
对分组密码算法进行可证明安全性的工作存在一些争论。
3.
This paper presents a survey on the theory of provable security and its applications to the design and analysis of security protocols.
论述了可证明安全性理论在安全方案与安全协议的设计与分析中的应用,内容主要包括:什么是可证明安全性,可证明安全性理论涉及到的一些基本概念,RO(randomoracle)模型方法论的基本思想及其在公钥加密和数字签名等方案中的应用研究进展,标准模型下可证明安全性理论在公钥加密和数字签名等方案中的应用研究进展,以及可证明安全性理论在会话密钥分配协议的设计与分析中的应用研究进展。
补充资料：零息票债券；零券息债券
零息票债券；零券息债券一种以低于票面价值的价格发行的债务工具。债券不支付任何票息；它在到期日是以面值赎回的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条