| 中文摘要 | 第8-10页 |
| 英文摘要 | 第10-11页 |
| 符号说明 | 第12-13页 |
| 第一章 引言 | 第13-19页 |
| 1.1 研究背景 | 第13-15页 |
| 1.2 研究内容及成果 | 第15-16页 |
| 1.3 论文结构 | 第16-19页 |
| 第二章 差分-线性分析方法与自动化搜索技术 | 第19-31页 |
| 2.1 差分-线性分析方法 | 第19-24页 |
| 2.1.1 密码分析的常用假设及原则 | 第19-20页 |
| 2.1.2 差分分析与线性分析 | 第20-21页 |
| 2.1.3 差分-线性分析 | 第21-24页 |
| 2.2 自动化搜索技术 | 第24-31页 |
| 2.2.1 密码分析中的自动化搜索技术 | 第24-25页 |
| 2.2.2 STP求解器介绍 | 第25-27页 |
| 2.2.3 ARX型密码各组件的差分性质及CVC刻画 | 第27-29页 |
| 2.2.4 ARX型密码各组件的线性性质及CVC刻画 | 第29-31页 |
| 第三章 自动化搜索ARX型密码的差分-线性特征的模型 | 第31-37页 |
| 3.1 自动化搜索模型的建立 | 第31-34页 |
| 3.2 模型的实现方法 | 第34-37页 |
| 第四章 SipHash算法的差分-线性分析 | 第37-45页 |
| 4.1 SipHash算法简介 | 第37-38页 |
| 4.2 SipHash的研究现状 | 第38-39页 |
| 4.3 对SipHash的差分-线性分析 | 第39-45页 |
| 第五章 SPECK算法的差分-线性分析 | 第45-55页 |
| 5.1 SPECK算法简介 | 第45-47页 |
| 5.2 SPECK算法安全性分析 | 第47-48页 |
| 5.3 对SPECK32的差分-线性分析 | 第48-52页 |
| 5.3.1 寻找差分-线性特征 | 第48-50页 |
| 5.3.2 进行差分-线性分析 | 第50-52页 |
| 5.4 对SPECK128的差分-线性分析 | 第52-55页 |
| 第六章 总结与展望 | 第55-57页 |
| 参考文献 | 第57-63页 |
| 致谢 | 第63-64页 |
| 学位论评阅及答辩情况表 | 第64页 |
