| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 符号对照表 | 第10-11页 |
| 缩略语对照表 | 第11-14页 |
| 第一章 绪论 | 第14-20页 |
| 1.1 研究背景与意义 | 第14-15页 |
| 1.2 分组密码的安全性分析方法 | 第15-17页 |
| 1.3 论文的组织和安排 | 第17-20页 |
| 第二章 积分分析方法 | 第20-34页 |
| 2.1 积分分析的两种模型 | 第20-24页 |
| 2.1.1 基于字节的积分分析 | 第21-23页 |
| 2.1.2 基于比特的积分分析 | 第23-24页 |
| 2.2 构建积分区分器 | 第24-27页 |
| 2.2.1 低阶积分区分器 | 第25-26页 |
| 2.2.2 高阶积分区分器 | 第26-27页 |
| 2.3 密钥恢复 | 第27页 |
| 2.4 Division Property | 第27-33页 |
| 2.4.1 Division Property介绍 | 第28-29页 |
| 2.4.2 Division Property的传播规则 | 第29-33页 |
| 2.5 本章小结 | 第33-34页 |
| 第三章 MILP+Bit-Division Property对轻量级分组密码Midori64积分攻击的分析 | 第34-56页 |
| 3.1 算法介绍 | 第34-36页 |
| 3.2 构建Midori64的积分区分器 | 第36-38页 |
| 3.3 Midori64的积分攻击 | 第38-44页 |
| 3.3.1 Midori64的6轮积分攻击 | 第38-39页 |
| 3.3.2 Midori64的7轮积分攻击 | 第39-40页 |
| 3.3.3 Midori64的8轮积分攻击 | 第40-42页 |
| 3.3.4 Midori64的9轮积分攻击 | 第42-44页 |
| 3.4 MILP+Bit-Divsion Property对Midori64积分区分器的搜索验证 | 第44-55页 |
| 3.4.1 MILP简介 | 第44-49页 |
| 3.4.2 Midori64算法MILP模型 | 第49-54页 |
| 3.4.3 区分器搜索 | 第54-55页 |
| 3.5 本章小结 | 第55-56页 |
| 第四章 轻量级分组密码HEIGHT的积分攻击 | 第56-66页 |
| 4.1 算法介绍 | 第56-58页 |
| 4.2 构建HEIGHT算法积分区分器 | 第58-60页 |
| 4.3 积分攻击 | 第60-65页 |
| 4.4 本章小结 | 第65-66页 |
| 第五章 总结与展望 | 第66-68页 |
| 5.1 全文总结 | 第66-67页 |
| 5.2 研究展望 | 第67-68页 |
| 参考文献 | 第68-72页 |
| 致谢 | 第72-74页 |
| 作者简介 | 第74-75页 |
