[
-
内容大纲
本书介绍分组密码的自动化分析技术及应用，围绕团队提出的本源性概念——可追溯模式，介绍多种分组密码攻击方法的自动化技术，包括差分分析、中间相遇攻击、不可能差分分析、旋转异或差分分析、零相关线性分析、积分攻击等。在应用方面，本书以这些攻击方法的自动化技术作为基础，对大量分组密码算法的安全性进行分析，如韩国ISO国际标准HIGHT和LEA、美国国家安全局提出的SIMON和SPECK、加拿大Simeck算法等。分组密码自动化分析技术的研究思路能够更好地帮助研究人员理解密码分析技术的基本思想，大量算法的分析结果能够支撑自动化分析技术的应用及落地。在介绍这些分组密码算法的典型分析方法及攻击结果的同时，希望为密码设计者与分析者提供参考和借鉴。
本书可作为密码学、网络空间安全和信息安全专业高年级本科生与研究生的教材，也可作为从事相关专业的教学、科研和工程技术人员的参考书。 -
作者介绍
-
目录
“博士后文库”序言
前言
第1章 绪论
1.1 概述
1.2 分组密码各类分析方法
1.3 分组密码自动化分析技术的发展
1.4 本书涉及部分密码算法简介
1.5 本书结构
第2章 可追溯模式的定义及定位
2.1 可追溯模式
2.2 可追溯模式与u方法
2.3 可追溯模式与UID方法
2.4 可追溯模式与传统积分区分器的构造方法
2.5 可追溯模式与元组区分器的构造方法
2.6 可追溯模式的应用
2.7 本章小结
第3章 差分自动化分析技术
3.1 差分分析一般模型及关键步骤
3.1.1 差分分析一般模型
3.1.2 差分分析的关键步骤
3.2 截断差分的刻画
3.2.1 差分可追溯模式
3.2.2 矩阵门限异或乘运算
3.2.3 差分扩散矩阵
3.3 迭代差分的自动化搜索
3.4 高概率差分路径的自动化搜索
3.5 差分路径的聚合及自动化实现
3.6 密钥恢复攻击环节的自动化实现
3.6.1 确定密钥恢复攻击的路径
3.6.2 确定密钥恢复攻击中涉及的密钥比特
3.7 差分自动化分析架构时间复杂度的估算
3.8 差分自动化分析架构的应用
3.8.1 迭代差分路径的自动化搜索
3.8.2 高概率差分路径的自动化搜索
3.9 本章小结
第4章 中间相遇攻击自动化分析技术
4.1 中间相遇攻击模型
4.1.1 中间相遇攻击基础模型
4.1.2 基于拼切技术的中间相遇攻击模型
4.1.3 基于拼切技术中间相遇攻击的复杂度
4.2 中间相遇攻击与可追溯模式
4.2.1 矩阵或乘运算
4.2.2 三类可追溯模式
4.2.3 类型-Ⅰ矩阵：差分扩散矩阵
4.2.4 类型-Ⅱ矩阵：相关转移矩阵
4.2.5 类型-Ⅲ矩阵：衍生矩阵
4.3 基于拼切技术中间相遇攻击的自动化分析架构
4.4 最优攻击方案的搜索
4.4.1 切片位置的选择
4.4.2 相遇点位置的选择
4.4.3 搜索最优MITM-SCT攻击方案
4.5 中间相遇攻击自动化分析架构的应用
4.5.1 架构在HIGHT算法的应用
4.5.2 架构在CHAM算法的应用
4.5.3 架构在WARP算法的应用
4.6 本章小结
第5章 不可能差分自动化分析技术
5.1 ARX模型不可能差分区分器的自动化搜索算法
5.1.1 不可能差分区分器的构造
5.1.2 可追溯模式在差分情形下的应用
5.1.3 ARX模型不可能差分区分器的构造思路
5.1.4 不可能差分区分器的自动搜索算法
5.1.5 不可能差分区分器的扩展
5.2 ARX模型不可能差分区分器自动搜索技术的应用
5.2.1 HIGHT算法新的不可能差分区分器
5.2.2 LEA算法新的不可能差分区分器
5.2.3 SPECK算法新的不可能差分区分器
5.3 AND-RX模型不可能差分安全界证明及区分器的自动化搜索算法
5.3.1 可追溯模式与不可能差分区分器的构造
5.3.2 不可能差分区分器轮数可证明安全界的计算
5.3.3 AND-RX模型不可能差分区分器的自动化搜索方法
5.4 AND-RX模型不可能差分区分器可证明安全界的应用
5.5 AND-RX模型不可能差分区分器自动化搜索算法的应用
5.6 AND-RX模型不可能差分区分器可证明安全界的实验验证
5.6.1 SIMON32算法最长不可能差分区分器的代表
5.6.2 SIMON32算法不可能差分区分器实际安全界的研究
5.6.3 SIMON算法其他版本的验证
5.7 弱旋转性及改进的SIMON算法多重不可能差分分析
5.7.1 弱旋转性和弱旋转等价类
5.7.2 SIMON算法的弱旋转性质
5.7.3 SIMON算法若干性质的改进
5.7.4 SIMON算法不可能差分分析结果的改进
5.8 不可能差分区分器自动搜索算法在SIMON算法上的应用
5.8.1 SIMON算法的不可能差分性质
5.8.2 搜索SIMON32算法所有最长不可能差分区分器的策略
5.9 本章小结
第6章 旋转异或差分自动化分析技术
6.1 可追溯模式与旋转异或差分路径的构造
6.1.1 截断旋转异或差分
6.1.2 RXD可追溯模式
6.1.3 RXD路径的整体结构
6.2 RXD路径的自动化搜索策略
6.3 RXD路径的自动化搜索算法
6.4 RXD路径自动化搜索算法的应用
6.5 旋转异或差分路径的实验验证
6.6 本章小结
第7章 零相关线性自动化分析技术
7.1 ARX模型零相关线性区分器的自动化搜索算法
7.1.1 零相关线性区分器的构造
7.1.2 模式运算在线性情形下的应用
7.1.3 ARX模型零相关线性区分器的构造思路
7.1.4 零相关线性区分器的自动化搜索算法
7.1.5 零相关线性区分器的扩展
7.2 ARX模型零相关线性区分器自动搜索算法的应用
7.2.1 HIGHT算法新的零相关线性区分器
7.2.2 LEA算法新的零相关线性区分器
7.2.3 SPECK算法新的零相关线性区分器
7.3 AND-RX模型可追溯模式与非零相关线性逼近的刻画
7.3.1 截断线性逼近
7.3.2 线性可追溯模式
7.3.3 线性扩散矩阵
7.4 AND-RX模型零相关线性路径的自动化搜索方法
7.4.1 缩减至R轮算法线性扩散矩阵的计算
7.4.2 零相关线性区分器的自动化搜索
7.5 AND-RX模型零相关线性区分器自动化搜索算法的应用
7.6 AND-RX模型零相关线性区分器的实验验证
7.7 本章小结
第8章 积分攻击自动化分析技术
8.1 改进的元组区分器的构造及传统积分区分器的自动化搜索
8.1.1 元组区分器的构造方法及思路
8.1.2 ARX类算法最优元组区分器的搜索
8.1.3 元组区分器的改进
8.2 ARX模型积分区分器的构造
8.2.1 ARX模型零相关线性区分器与积分区分器之间的关系
8.2.2 ARX模型积分区分器的构造
8.3 ARX模型积分区分器自动化搜索方法的应用
8.3.1 HIGHT算法的积分区分器
8.3.2 LEA算法的积分区分器
8.3.3 SPECK32算法的积分区分器
8.4 SIMON算法的积分分析
8.4.1 SIMON算法的积分区分器
8.4.2 SIMON算法基于积分的密钥恢复攻击
8.5 Simeck算法的积分分析
8.5.1 Simeck算法新的积分区分器
8.5.2 Simeck算法基于积分的密钥恢复攻击
8.6 SIMON和Simeck算法的高阶积分分析
8.6.1 积分区分器的扩展思路
8.6.2 SIMON算法高阶积分区分器的构造及改进的积分分析
8.6.3 Simeck算法高阶积分区分器的构造及改进的积分分析
8.7 本章小结
第9章 分组密码自动化分析技术的应用
9.1 分组密码算法Simeck的安全性分析
9.1.1 Simeck算法的不可能差分分析
9.1.2 Simeck算法的零相关线性分析
9.2 分组密码算法ULC的安全性分析
9.2.1 ULC算法的滑动性质
9.2.2 ULC算法的密钥恢复攻击
9.3 分组密码算法LiCi的安全性分析
9.3.1 LiCi算法的安全性分析
9.3.2 LiCi-2算法的安全性分析
9.4 分组密码算法μ2的安全性分析
9.4.1 若干μ2算法的密码学性质
9.4.2 μ2算法的不可能差分区分器
9.4.3 μ2算法的密钥恢复攻击
9.5 分组密码算法LEA的安全性分析
9.5.1 LEA算法的性质
9.5.2 LEA算法的零相关线性分析
9.6 本章小结
总结与展望
参考文献
编后记
同类热销排行榜
- C语言与程序设计教程(高等学校计算机类十二五规划教材)16
- 电机与拖动基础(教育部高等学校自动化专业教学指导分委员会规划工程应用型自动化专业系列教材)13.48
- 传感器与检测技术(第2版高职高专电子信息类系列教材)13.6
- ASP.NET项目开发实战(高职高专计算机项目任务驱动模式教材)15.2
- Access数据库实用教程(第2版十二五职业教育国家规划教材)14.72
- 信号与系统(第3版下普通高等教育九五国家级重点教材)15.08
- 电气控制与PLC(普通高等教育十二五电气信息类规划教材)17.2
- 数字电子技术基础(第2版)17.36
- VB程序设计及应用(第3版十二五职业教育国家规划教材)14.32
- Java Web从入门到精通(附光盘)/软件开发视频大讲堂27.92
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔，龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年，恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...