学位论文 > 优秀研究生学位论文题录展示
分组密码的分析与设计
作 者: 李瑞林
导 师: 李超
学 校: 国防科学技术大学
专 业: 数学
关键词: 分组密码 分组密码结构 分析方法 设计理论 可证明安全
分类号: TN918.1
类 型: 博士论文
年 份: 2011年
下 载: 90次
引 用: 0次
阅 读: 论文下载
内容摘要
随着计算机网络和通信技术的飞速发展,现代社会已经步入信息时代。人们对信息的安全存储、处理和传输的需求越来越迫切,信息的安全保护问题已经显得十分突出。密码学作为信息安全领域的基石,是各类信息安全技术的基础,它由各种各样的加密算法来具体实施,并以较小的代价提供较大的安全保护。分组密码属于对称密码的一个重要分支,由于其安全、高效和易于标准化等特点,近些年已经在密码学中得到了广泛的应用,并受到了人们的极大关注。在此背景下,本文研究分组密码的分析和设计理论,主要包括如下两个部分:第一部分主要研究分组密码的分析理论,取得的相关成果包含如下三个方面:第一,研究了SPN密码算法抵抗不可能差分分析和高阶积分分析的能力。以有限域上的矩阵理论为工具,提出了刻画SPN密码算法不可能差分的一系列准则,该方法可以推广至轮函数为SPN型的其它密码结构的不可能差分分析,从而为特殊类型密码算法不可能差分的自动搜索提供了新的途径。以线性空间的直和分解理论为工具,提出了SPN密码算法的高阶积分区分扩展理论,统一了分组密码AES和ARIA算法的4轮高阶积分的寻找流程,该方法亦可推广至对各种分组密码结构的高阶积分分析,从而克服了以往该领域研究主要依赖于密码分析者经验判断的缺陷。第二,评估了一类广义非平衡Feistel结构GF-NLFSR的安全性,通过代数方法对该结构加密流程的刻画,指出该结构扩散性较弱,由此大大改进了对它的区分攻击。针对GF-NLFSR变种结构提出了一种在组件均是双射的某些密码算法中实施非满射攻击的方法,并在个人机器上对基于AES的S盒设计的Toy密码进行了实验验证。该分析方法的最大优点是数据复杂度仅为分组长度的线性函数。第三,采用面向字节的随机故障模型对SMS4算法抵抗差分故障分析的能力进行了评估,通过对轮函数为SPN型的SMS4-型广义Feistel结构的5轮差分传播性质研究,发现只需在第28轮输入的第2、第3或者第4个寄存器中导入1个单字节的随机故障,即可将穷尽搜索所需的128-bit的密钥量降为平均22.11-bit的密钥量。这表明SMS4算法针对故障攻击的免疫性较弱,因此算法在密码设备中实现时需要做出相应的防护措施。第二部分主要研究分组密码的设计理论,取得的相关成果包含如下三个方面:第一,研究了基于循环移位和异或运算设计的对合线性变换,完全给出了这类线性变换的具体表达式和计数公式,指出它们的分支数上界为4,并讨论了循环移位的参数与分支数之间的关系,从而为基于这类运算设计的线性变换提供了理论依据。第二,研究了轮函数为SPN型的MISTY结构掩码传播特性,基于“分而治之”的策略,重新给出了这类密码结构连续4r轮线性特征中活跃S盒数目的下界,统一了这类密码结构针对差分和线性密码分析的实际可证明安全界。第三,提出了MISTY结构的两种推广结构:第I类和第II类广义MISTY结构,分别给出了这两类结构抵抗差分和线性密码分析的实际可证明安全,从而为基于这两类结构设计的算法提供了理论依据。基于第II类广义MISTY结构,给出了两个高效的分组密码算法的设计框架。
|
全文目录
目录 4-6 表目录 6-7 图目录 7-8 摘要 8-10 Abstract 10-12 符号与缩略语 12-13 第一章 绪论 13-29 1.1 选题背景和意义 13-14 1.2 国内外研究现状 14-25 1.3 本文的主要工作 25-29 第二章 SPN结构算法的分析 29-55 2.1 SPN 密码算法介绍 29-30 2.2 SPN 密码算法的不可能差分分析 30-43 2.3 SPN 密码的高阶积分分析 43-54 2.4 小结 54-55 第三章 GF-NLFSR结构的分析 55-67 3.1 GF-NLFSR 结构及其加密性质 55-57 3.2 GF-NLFSR 结构的区分攻击 57-61 3.3 VGF-NLFSR 结构的非满射攻击 61-66 3.4 小结 66-67 第四章 SMS4算法的故障分析 67-82 4.1 SMS4 算法介绍 67-69 4.2 SMS4 算法组件的密码学性质 69-73 4.3 SMS4 算法的故障分析 73-80 4.4 模拟实验结果 80-81 4.5 小结 81-82 第五章 基于RX运算的线性变换设计 82-91 5.1 预备知识 82-83 5.2 对合线性变换的计数 83-85 5.3 对合线性变换的分支数研究 85-89 5.4 几个例子 89-90 5.5 小结 90-91 第六章 MISTY结构的可证明安全 91-101 6.1 预备知识 91-93 6.2 活跃 S 盒数目的下界 93-100 6.3 小结 100-101 第七章 广义MISTY结构及可证明安全 101-134 7.1 预备知识 101-103 7.2 第I 类广义 MISTY 结构 103-116 7.3 第II 类广义 MISTY 结构 116-129 7.4 应用 129-133 7.5 小结 133-134 第八章 结论与展望 134-137 8.1 本文总结 134-135 8.2 工作展望 135-137 附录A 几类SPN密码算法 137-140 A.1 AES 算法简述 137-138 A.2 ARIA 算法简述 138-139 A.3 一类 SPN 密码算法简述 139-140 附录B 两个引理的证明 140-143 B.1 引理 3.7 的证明 140 B.2 引理 3.8 的证明 140-143 致谢 143-145 参考文献 145-159 作者攻读博士期间取得的学术成果 159-160
|
相似论文
- 大叶蒟抗抑郁物质基础及分析方法研究,R284.1
- 基于生存分析方法的房地产上市公司财务风险评价研究,F224
- 基于petri网的分组密码算法的硬件实现,TN918.2
- 波斯纳法律经济分析方法评析,D90-05
- 中国上市银行的X效率与股权结构研究,F224
- 煤矿生产系统能耗分析方法研究,F426.21
- 滨海地区总体城市设计研究,TU984
- 基于AD和TRIZ的自行车概念创新设计方法研究,U484
- 公共支出与全要素生产率,F124;F224
- 逆向教学设计理论下的生物探究式教学设计案例研究,G633.91
- 高中数学作业设计的理论和实践研究,G633.6
- 面向AKE协议的可证明安全性模型的研究,TP309
- 机制设计理论视角下农村公共卫生服务私立卫生机构供给研究,R197.1
- 基于义素分析与义差分析的德语同义词辨析研究,H33
- 海信网上订货系统的设计与实现,TP311.52
- 金沙县乡镇农业技术推广组织改革研究,F323.3
- 宽幅连续箱梁桥车耦合振动分析,U441.3
- 沥青路面温度场的测试与分析,U416.217
- 基于环保主义的服装设计理论发展及其应用研究,TS941.2
- 非布司他的合成工艺及质量标准研究,TQ463
- 含有FACTS元件的交直流混合输电系统的小干扰稳定分析,TM712
中图分类: > 工业技术 > 无线电电子学、电信技术 > 通信 > 通信保密与通信安全 > 理论
© 2012 www.xueweilunwen.com
|