论文部分内容阅读
介绍了可证明安全理论中的重要工具一一随机谕言模型，包括随机谕言模型的起源、基本性质和方法、随机谕言模型中的代表方案、明文知晓性质、随机谕言的实例化、随机谕言不可实例化的性质和相关负面结论以及对弱化的随机谕言模型的研究．此外，比较了随机谕言模型和其他理想模型，简介了标准模型中的方案设计状况
随机谕言模型
【摘 要】
：
介绍了可证明安全理论中的重要工具一一随机谕言模型，包括随机谕言模型的起源、基本性质和方法、随机谕言模型中的代表方案、明文知晓性质、随机谕言的实例化、随机谕言不可实
【机 构】
：
中国科学院研究生院信息安全国家重点实验室
【出 处】
：
软件学报
【发表日期】
：
2012年1期
【基金项目】
：
国家自然科学基金（61070171）,国家重点基础研究发展计划（973）（2007CB311201）
其他文献
利用2005年全国1％人口抽样调查的子样本数据以及2012年流动人口动态监测调查数据，研究了各可观测因素对自营者和受雇者收入分布的解释能力存在何种差异，及其在2005-2012年间所发
从社会资本的认知维度和结构维度出发,系统分析了社会资本对流通产业发展的直接作用和间接作用机理,并构建了中介效应模型,以我国2005—2014年的省际面板数据进行了实证检验
介绍了近年来国内外条干均匀度测试仪的发展情况，对其发展趋势以及国内存在的一些问题进行了分析，并针对国内条干均匀度测试仪的发展提出了几点看法。
Key／Value存储系统在大规模、高性能云应用支撑方面扮演了重要的角色，对云端Key／Value存储系统而言，数据迁移是实现节点动态扩展与弹性负载均衡的关键技术．如何降低迁移开销，是云服
西部大开发初始之年,云南人就提出了"绿色经济强省"和"民族文化省"的发展目标,要将云南建成中国连接东南亚、南亚地区的国际大通道.为此,云南省提出着力培育和发展高新技术、
目的了解实施避孕方法知情选择干预措施后对甘肃省农村已婚育龄妇女避孕知识知晓状况的影响,为避孕节育优质服务知情选择的推广提供科学依据。方法对甘肃省永靖县和临泽县进