普适复合水银承诺方案

来源 :计算机学报 | 被引量 : 0次 | 上传用户:hongshu16
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
水银承诺方案是一般承诺方案的一种有趣变形。水银承诺方案中增加了模糊公开阶段,模糊公开阶段不要求绑定性但是不能与真实的公开阶段冲突。普适复合安全性基本框架最早由Canetti等人提出。普适复合能够保证更高等级的安全性,比如满足普适复合性质即能实现并发安全、自适应安全以及非延展安全等等。文中提出一种普适复合水银承诺方案的构造并且在公共参数模型中证明其安全性。文中的结论一方面深化了水银承诺方案的研究,另一方面回答了Gennaro和Micali提出的一个公开问题。
其他文献
近年来,DNA自组装成为DNA计算及纳米材料科学等领域研究的热点,它关系着DNA计算机的发展.DNA分子如何组装已成为许多学者关注的焦点.为此,文中主要围绕着DNA分子组装成的初级元件
用于逻辑调控基因表达分子自动机的研究是DNA计算的重要研究领域.文中将脱氧核酶技术应用于DNA计算研究当中,利用脱氧核酶的特性,特别是可以作为反义药物的特点,作为构建分子自动
分析了目前主流采样模拟技术中定长样本的不足,提出了一种基于编译器元数据的采样模拟技术(BigLoopSP).首先利用编译器收集各种可能的周期行为的边界信息作为元数据.然后为了处