【摘 要】
：
本文针对基本认证方案和加密方案的各种情况,详细讨论了MAC-then-encryt方案的安全性.在文[3]的基础上,本文讨论了将加密方案的安全性加强到NM-CPA以至IND-CCA时,MAC-then-en
【机 构】
：
信息安全国家重点实验室,中国科学院软件研究所,北京,100080
论文部分内容阅读
本文针对基本认证方案和加密方案的各种情况,详细讨论了MAC-then-encryt方案的安全性.在文[3]的基础上,本文讨论了将加密方案的安全性加强到NM-CPA以至IND-CCA时,MAC-then-encrypt的安全性,证明了若加密方案是IND-CPA(IND-CCA,NM-CPA)安全的,则MAC-then-encrypt也是IND-CPA(IND-CCA,NM-CPA)安全的.并且,当加密方案是NM-CPA安全时,MAC-then-encrypt方案可以透明地保持认证方案的不可伪造性.加密方案的NM-CPA安全是保证MAC-then-encrypt方案对其中的MAC的不可伪造性进行透明传递的最低要求.本文也讨论了认证密钥的安全对整个MAC-then-encrypt方案的安全性的影响.若认证密钥泄漏,则不仅不能保证密文不可伪造,甚至连明文不可伪造也不能保证.本文的结果对通过MAC-then-encrypt方式来构造安全信道提供了理论依据。
其他文献
气动调节阀在自动调节系统中是一个非常重要的环节.人们常把调节阀比喻为生产过程自动化的“手足”.由于生产过程的调节对象要求调节阀具有各种各样的特性,以满足生产工艺的
生存性分析技术是生存性研究的重要内容,针对通信网络的生存性分析技术已经比较成熟,而针对分布式应用的生存性研究还处于初步发展阶段.本文首先给出了生存性评价指标及生存
在采用GPS进行大型桥梁控制网测量时,需采用精密水准测量得到控制点的高程,同时还需要利用跨河水准测量联测两岸的高程点。本文结合黄河某大型桥梁的高程控制网的实际算例,对
本文对高精度视距测量在矿山测量中的研究与应用进行了研究。高精度视距测量是对低精度视距测量进行技术创新,它是利用普通经纬仪与标尺,测定测站点与觇标双三角夹角及边长而
由于相当一部分异常流量由于采用了特殊的生成机制而在结构上有别于遵循基本网络协议的正常流量,本文提出了一种基于IP报文Identification标识字段分布识别网络中异常流量的
介绍了在Linux平台上实现VPN安全网关的总体设计结构,其中通过IKE协议动态协商安全关联SA.文章重点讨论了所采用的椭圆曲线密钥交换方案,并给出了有效的点乘运算快速实现算法
本文就自动化仪表和电测系统中常用的模数转换前置放大器提出了一种精度高、成本低、线路简单的方案,并对其基本电路作了分析,提供了这种电路的参数。
In this paper, a sch
由于网络环境的机群系统中单个结点的性能越来越高,机群互联网的通讯带宽和可靠性成为提高系统性能的主要因素.本文首先提出了基于计算机DDR存储器接口的高性能光互连机群网
资源发现是网格系统中一个很重要的部分,网格的动态性、异质性给资源发现带来了许多困难.本文完善了一种C/S和P2P结合的网格资源发现系统VIRD.它采用属性-值对的请求描述方法
本文对分布式环境下基本网络操作进行了研究,分析了自相似通信流的合成、传播与分离过程.利用数学知识严格证明了自相似通信流的合成流具有自相似性,通信流的自相似特性不会