密码系统可证明安全性的研究

来源 :信息产业部电信科学技术研究院 电信科学技术研究院 | 被引量 : 0次 | 上传用户:lynneselina
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该论文研究了密码系统的可证明安全性,首先从块加密器安全的基本概念入手,详细的讨论了伪随机意义下可证明安全性的基础性质,刻画了研究伪随机性的Oracle质询模型,提出质询生成器和Transcript验证器的分别,并就实际中所经常使用的限制条件,推导了一般意义的区别优势的表达式,研究了随机函数和随机置换,推导了随机函数和随机置换的精确边界.该文尝试直接用条件概率分布描述函数族,分析了luby-Rackoff构造,对于三轮构造的一种特例,描述了其输入输出分布,刻画了三轮Luby-Rackoff构造伪随机性恶化的特例,求出其区别优势;对于四轮构造,利用引理去掉区别优势边界中的一个微小冗余项.该文也用去相关理论研究密码系统的可证明安全,实现了一种基于去相关技术的PEANUT算法--DFC,讨论了DFC优缺点,并且基于快速平台哈希函数提出DFC的一种改进--SHDFC.该文是后也讨论了密码技术工程上的可证明研究方法,它要求工程密码方案的安全性最终应该能够缩化到密码组件的安全性上.该文分析了一般网络协议栈存在的安全层次问题,就其中重复加密的可证明安全性和效率进行了分析,结果表明,重复加密即使牺牲效率,也不一定会获得更好的安全性,就安全层次性问题该文提出了分区加密的建议.
其他文献
本文通过对荣华二采区10
期刊
绩效考核最早是企业绩效管理中的一个环节,后于2006年大规模应用于医疗管理方面并成为了医疗管理环节中至关重要的一环.随着时代的发展,单纯的医疗已向兼具医疗救助和公共卫
随着时代的进步,现代医院的整体水平也在不断地提高,这不仅体现在治疗和护理方面,也体现在医院的管理方面.如今,为了提高医院的管理效率,一些医院采用了人力资源管理中的绩效
近年来,随着中国经济的起飞,交通运输业蓬勃发展,作为新兴的战略性的运输方式,高速铁路已经成为我国发展热点,相关高铁产业也纳入国家长期发展战略计划中。高速铁路通信作为
该论文在介绍多媒体通信与MPEG-4标准的基础上,利用MPEG-4基于对象编码从而可以支持输出带宽自适应的特性,给出了一种端对端反馈与中间网络结点反馈相结合的MPEG-4视频流传输
本量利分析法是推动医院绩效管理改革创新的重要手段,本文分析了本量利分析法在医院核算工作中的应用,围绕调整医疗收入结构、推行工作量考核机制、提高成本控制水平三个层面
该文的重点所在--WEB-CAM系统的设计.首先对整个系统的框架进行了描述.然后分为三个方面对该系统作进一步的说明.☆系统的前端部分设计.讲述了该部分的设计思路,并展示原理图
本文对应用于水声信号处理中的DSP系统——多波束阵列处理器系统的设计和研制进行了初步的探讨和研究。本文所作的主要工作有: (1)对本系统所运用的波束形成算法——正交波
学位
作者深入研究了网络协议分析仪的基本工作原理和广域网协议,全面分析并讨论了广域网协议分析仪的总体设计方案,对分析仪系统之中的核心部分--硬件平台成功的进行了设计和电路