【摘 要】
：
积分分析是针对分组密码十分有效的分析方法之一,其通常利用密文某些位置的零和性质构造积分区分器,并据此进行密钥恢复攻击。为了更加充分地利用算法中的非线性组件信息,在EUROCRYPT 2015上,日本学者Todo提出可分性理论,并给出了搜索积分区分器的一般化算法。之后,在FSE 2016上,Todo等人将可分性概念应用到基于比特的分组密码。但由于基于比特的可分性质搜索复杂度比较大,在ASIACRYP
论文部分内容阅读
积分分析是针对分组密码十分有效的分析方法之一,其通常利用密文某些位置的零和性质构造积分区分器,并据此进行密钥恢复攻击。为了更加充分地利用算法中的非线性组件信息,在EUROCRYPT 2015上,日本学者Todo提出可分性理论,并给出了搜索积分区分器的一般化算法。之后,在FSE 2016上,Todo等人将可分性概念应用到基于比特的分组密码。但由于基于比特的可分性质搜索复杂度比较大,在ASIACRYPT 2016上,向泽军等人首次运用混合整数线性规划（Mixed-Integer Linear Programming,MILP）模型对可分性质进行刻画,并将其应用到六种轻量级分组密码积分区分器的搜索。本文主要成果如下:（1）运用基于比特可分性质结合MILP搜索工具,得到PUFFIN算法9轮积分区分器。但由于该9轮区分器区分优势不够明显且攻击数据复杂度较高,攻击效果不佳。本文选择8轮积分区分器对PUFFIN算法进行10轮密钥恢复攻击。该攻击能够恢复100比特轮密钥,攻击的数据复杂度为254.81个选择明文,时间复杂度为267.49次10轮算法加密,存储复杂度为220个存储单元。进一步,运用传统比特可分性的扩展——三元集比特可分性结合MILP搜索工具,得到PUFFIN算法平衡比特数更多的9轮积分区分器。这是PUFFIN算法目前已知最长的积分区分器。（2）为得到更好的实际攻击效果,本文从传统的积分分析出发,考虑以高概率成立的零和性质,首次提出了概率布尔多项式的概念及其运算法则,并由此给出概率积分区分器构造方法及其分析模型。将该方法运用到PUFFIN算法中,得到了7轮概率积分区分器。进一步,利用构造的概率积分区分器,对9轮PUFFIN算法进行密钥恢复攻击,并进行了实验验证。该攻击可恢复92比特轮密钥,数据复杂度为224.8个选择明文,时间复杂度为235.48次9轮加密,存储复杂度为220个存储单元。这是目前已知PUFFIN算法最好的实际积分攻击结果。
其他文献
太赫兹（Terahertz,THz）雷达散射截面（Radar Cross Section,RCS）缩比关系的研究是太赫兹RCS缩比测量与反演技术的重要理论支撑。相比于微波频段,太赫兹波波长更短,对目标表面粗糙度敏感,对介质材料特性影响明显,因此,电磁相似律更加复杂。本文对太赫兹频段目标雷达散射截面的缩比关系开展研究,主要工作包括:针对RCS测量技术,分析了太赫兹RCS测量系统的特点及存在的不足,提
太赫兹波处于红外与微波之间,在探测、成像以及与物质相互作用机理上均具有独特特性,从而在生物医学工程及反恐安检等领域有着广泛的应用前景,是当前国内外研究的热门课题之一。目标散射特性是太赫兹雷达技术发展的重要基础。当前,由于受到太赫兹源发射功率低、信号稳定度差等条件的限制,太赫兹RCS测量实验主要在室内进行,测量精度相对较低,远场测量条件难以满足,因而测量数据不能直接用于目标RCS的计算。针对以上问题
海洋需求的日益增加,促使人类不断的加大对海洋的探索和开发,但由于海水运动的不均匀性和水中悬浮粒子运动的无规律性,造成光在水中传播时被海水中的悬浮粒子吸收,以及发生多路反射和强散射的情况。光的吸收和散射现象都会引起光能的衰减。光的吸收导致图像对比度低,水下强散射环境会导致光线偏离正常的路径,增加了背景噪声,使图像变得模糊,增加了我们研究的难度。为了提高水下图像的清晰度,本文将深入研究偏振成像系统,以
网络雷达对抗系统是一种分布式网络化布站的新体制雷达与雷达对抗一体化系统。它通过指定的网络协议与设备,将异地部署的多个发射站、多个接收站及中心站连接成一个有机的整体,完成对目标侦察探测、情报收集、识别跟踪、干扰压制、火力引导等功能。本文主要研究了网络雷达对抗系统的目标有源检测技术,主要工作和创新包括以下几个方面:（1）构建了网络雷达对抗系统的信号模型。分析了网络雷达对抗系统的信号处理流程,给出了从分
本文以无人机集群为研究对象,针对集群任务过程中空地通信以及空中机间通信受到地形地貌遮挡、以及电磁干扰和通信距离影响的问题,引入中继通信无人机建链补网,重点解决中继通信建模、集群空地中继通信以及空中机间中继通信的规划等问题,实现集群在任务过程中通信质量的保持。首先建立符合通信中继无人机的基本通信模型,对通信质量进行定义。接着,针对空地通信中继规划,分别对大规模集群的时序性多任务点中继通信问题和复杂场
环路热管（Loop Heat Pipe,LHP）作为一种新型两相热控技术,以其换热能力强、位置布置灵活、可实现热量的远距离传输等独特优点在地面以及太空电子设备冷却中获得了广泛应用。在整个系统中,毛细芯微槽蒸发器作为相变换热核心部件,对系统的性能起着至关重要的作用。本文采用数值模拟的方法研究了毛细芯微槽蒸发器两相换热及极限工况运行特性。首先,本文针对商业软件Fluent采用体积平均法理论求解多孔介质
随着电子信息技术的不断发展,电子对抗越来越多地出现在军事行动与民间生活中。导航对抗是电子对抗的一种形式,旨在保证卫星导航设备不受其他电磁设备干扰——包括恶意的干扰来源——的影响,以及某些场合下干扰目标卫星导航设备的正常使用。提升导航对抗能力是保证卫星导航设备在不同场合下都能够正常使用的必然要求。快扫频干扰是一种高效率的GNSS（全球导航卫星系统,Global Navigation Satellit
时间频率是国家重要的战略资源,是国防、工业、金融和科学研究等领域的基础。广域高精度的光纤时间传递对国家授时体系完整和时间安全战略有着重要意义。目前高精度的光纤时间同步主要采用基于点对点的传输体制,难以实现广域范围内多节点的时间同步。提升光纤时频传递系统的覆盖范围同时保证高精度时间同步仍然是需要解决的问题。为进一步提高光纤同步网络的时间同步精度和扩展时间同步覆盖范围,本文基于White Rabbit
极化散射解译是极化SAR信息处理的重要环节,对以舰船检测为代表的极化SAR应用具有重要影响。本文围绕成像雷达舰船目标极化解译和检测展开研究,深入挖掘极化信息、提取极化特征,发展结合极化显著性特征和极化旋转域特征的成像雷达舰船检测方法。结合Radarsat-2稀疏区域和密集区域、高分三号数据I和数据II验证所提方法的有效性。本文主要工作及创新点如下:（1）提取了新的极化显著性特征,并提出了一种新的极
高功率光纤激光器发展迅猛,由于具有转换效率高、光束质量好、结构紧凑、性能稳定等优势,在工业加工和军事国防等领域都有重要应用。随着应用领域的不断拓展,在一些无法保证良好运行环境及工作温度控制的场景下,迫切需要可以适应更多平台、更多场合、在更宽工作温度范围内稳定运行的激光器。目前的高功率光纤激光器考虑最多的是通过各种热控制技术降低热效应,通常工作在常温条件下,对低温下高功率输出的研究较少,无法满足宽温