声明
摘要
插图目录
插表目录
算法目录
1．1密码学简介
1．2分组密码简介
1．2．1分组密码算法简介
1．2．2分组密码分析方法简介
1．3研究进展和安排
1．3．1研究背景
1．3．2研究进展
1．3．3论文安排
第二章差分闭包的自动化分析
2．1差分分析
2．1．1平面差分闭包和平面映射
2．2差分闭包的自动化搜索
2．2．1差分在线性层中的传递
2．2．2差分在非线性层中的传递
2．2．3 目标函数的刻画
2．2．4从差分特征到差分闭包
2．2．5对一般的4比特S盒和8比特S盒的潜在用法
2．3差分闭包的弱密钥空间
2．4 LED64算法的差分分析
2．4．1 LED64的已有攻击
2．4．2 自动化搜索步函数的正确对
2．4．3高概率差分闭包
2．5 Midori64算法在密钥生成算法影响下的差分分析
2．5．1 Midori64算法简介
2．5．2差分闭包弱密钥比例的上界
2．5．3差分闭包中可兼容差分路线的最大数量
2．6小结
第三章卡方多重／多维零相关线性模型
3．1零相关线性分析模型
3．1．1两个正态分布的区分
3．1．2基本的零相关线性分析
3．1．3 多重和多维零相关线性分析
3．2 卡方多重／多维零相关线性分析模型
3．2．1卡方多重／多维模型的数据量
3．2．2卡方多重／多维模型与原模型的联系
3．3新模型的有效性验证实验
3．3．1 已知明文情境下的卡方多重零相关测试
3．3．2不同的已知明文情境下的卡方多维零相关测试
3．4 卡方多维零相关线性分析模型的应用
3．4．1 CLEFIA算法改进的多维零相关线性分析
3．4．2优化多个算法多维零相关攻击的复杂度
3．5卡方多重零相关线性分析模型的应用
3．5．1 TEA和XTEA算法
3．5．2 TEA和XTEA的零相关线性逼近
3．5．3 23轮TEA算法的密钥恢复攻击
3．5．4 27轮TEA算法的密钥恢复攻击
3．5．5新攻击和已有攻击的讨论
3．6小结
第四章基于表的比特级分离特性
4．1分离特性
4．1．1 分离特性
4．1．2分离特性的传递规则
4．1．3基于零和特性的区分攻击
4．2基于表的比特级分离特性
4．2．1基于表的比特级分离特性
4．2．2改进基于表的比特级分离特性
4．3 基于表的比特级分离特性的应用
4．3．1应用于RECTANGLE算法
4．3．2应用于TWINE
4．3．3应用于LBlock算法
4．4小结
第五章基于MILP问题的比特级分离特性的自动化搜索
5．1用MILP方法搜索基于比特级分离特性的积分区分器
5．1．1构建复制运算、与运算、异或运算和S盒的MILP模型
5．1．2初始分离特-陛和终止规则
5．2非比特置换线性层算法比特级分离特性的自动化搜索
5．2．1推广的复制和异或模型
5．2．2刻画线性层的本源表示
5．2．3将刻画线性层的方法应用于LED算法的列混合运算
5．2．4对复杂线性层的算法使用MILP方法的一般步骤
5．3 ARX类算法比特级分离特性的自动化搜索
5．3．1 x(+)y的MILP模型
5．3．2 x(+)k的MILP模型
5．3．3(x||0)(+)k和(0||x)(+)k的MILP模型
5．4 自动化搜索非比特置换线性层算法的积分区分器
5．4．1应用于面向字的分组密码算法
5．4．2应用于面向比特的分组密码算法
5．4．3应用于其他算法
5．5 自动化搜索ARX类算法的积分区分器
5．5．1应用于HIGHT算法
5．5．2应用于其他的ARX算法
5．6小结
第六章基于SAT问题的分离特性的自动化搜索
6．1 ARX类算法比特级分离特性的自动化搜索
6．1．1基本运算的SAT模型
6．1．2初始分离特性和终止条件
6．1．3搜索最优区分器的算法
6．2字级分离特性的自动化搜索
6．2．1基本运算在字水平的模型
6．2．2 S盒在字水平的刻画
6．2．3初始分离特性和终止条件
6．3应用
6．3．1 ARx类算法的比特级分离特性
6．3．2一些算法的字级分离特性
6．4小结
第七章改进的SIMON算法的零相关分析
7．1 SIMON算法
7．2 SIMON算法的零相关线性区分器
7．2．1 SIMON32的零相关线性区分器
7．2．2 SIMoN48的零相关线一性区分器
7．2．3 SIMON64、SIMON96和SIMONl28的零相关线性区分器
7．3 SIMON算法的零相关线性分析
7．3．1 SIMON32算法的零相关线性分析
7．3．2 SIMON48算法的零相关线性分析
7．3．3 SIMON64、SIMON96和SIMON128算法的零相关线性分析
7．4小结
8．1总结
8．2展望
参考文献
致谢
个人简历
