| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装 |
| 是否套装：否 |
| 国际标准书号ISBN：9787030830487007014 |
| 所属分类：图书>计算机/网络>信息安全 |
【本店支持开发票 如需帮助请联系客服】商品详情
分组密码自动化分析技术及应用
定
出版社 科学出版
版次
出版时间 年月
开本
作者 张凯
装帧 平装
页数
字数
书号
本书介绍分组密码的自动化分析技术及应用，围绕团队提出的本源性概念——可追溯模式，介绍多种分组密码攻击方法的自动化技术，括差分分析、中间相遇攻击、不可能差分分析、旋转异或差分分析、零相关线性分析、积分攻击等。在应用方面，本书以这些攻击方法的自动化技术作为基础，对大量分组密码算法的性进行分析，如韩国国际标准和、美国局提出的和、加拿大算法等。分组密码自动化分析技术的研究思路能够更好地帮助研究人员理解密码分析技术的基本思想，大量算法的分析结果能够支撑自动化分析技术的应用及落地。在介绍这些分组密码算法的典型分析方法及攻击结果的同时，希望为密码设计者与分析者提供参考和借鉴。
目录
“博士后文库”序言
前言
第章 绪论
概述
分组密码各类分析方法
分组密码自动化分析技术的发展
本书涉及分密码算法简介
本书结构
第章 可追溯模式的定义及定位
可追溯模式
可追溯模式与方法
可追溯模式与方法
可追溯模式与传统积分区分器的构造方法
可追溯模式与元组区分器的构造方法
可追溯模式的应用
本章小结
第章 差分自动化分析技术
差分分析一般模型及关键步骤
差分分析一般模型
差分分析的关键步骤
截断差分的刻画
差分可追溯模式
矩阵门限异或乘运算
差分扩散矩阵
迭代差分的自动化搜索
高概率差分路径的自动化搜索
差分路径的聚合及自动化实现
密钥恢复攻击环节的自动化实现
确定密钥恢复攻击的路径
确定密钥恢复攻击中涉及的密钥比
差分自动化分析架构时间复杂度的估算
差分自动化分析架构的应用
迭代差分路径的自动化搜索
高概率差分路径的自动化搜索
本章小结
第章 中间相遇攻击自动化分析技术
中间相遇攻击模型
中间相遇攻击基础模型
基于拼切技术的中间相遇攻击模型
基于拼切技术中间相遇攻击的复杂度
中间相遇攻击与可追溯模式
矩阵或乘运算
三类可追溯模式
类型Ⅰ矩阵：差分扩散矩阵
类型Ⅱ矩阵：相关转移矩阵
类型Ⅲ矩阵：衍生矩阵
基于拼切技术中间相遇攻击的自动化分析架构
攻击方案的搜索
切片位置的选择
相遇点位置的选择
搜索攻击方案
中间相遇攻击自动化分析架构的应用
架构在算法的应用
架构在算法的应用
架构在算法的应用
本章小结
第章 不可能差分自动化分析技术
模型不可能差分区分器的自动化搜索算法
不可能差分区分器的构造
可追溯模式在差分情形下的应用
模型不可能差分区分器的构造思路
不可能差分区分器的自动搜索算法
不可能差分区分器的扩展
模型不可能差分区分器自动搜索技术的应用
算法新的不可能差分区分器
算法新的不可能差分区分器
算法新的不可能差分区分器
模型不可能差分界证明及区分器的自动化搜索算法
可追溯模式与不可能差分区分器的构造
不可能差分区分器轮数可证明界的计算
模型不可能差分区分器的自动化搜索方法
模型不可能差分区分器可证明界的应用
模型不可能差分区分器自动化搜索算法的应用
模型不可能差分区分器可证明界的实验验证
算法长不可能差分区分器的代表
算法不可能差分区分器实际界的研究
算法其他版本的验证
弱旋转性及改进的算法多重不可能差分分析
弱旋转性和弱旋转等类
算法的弱旋转性质
算法若干性质的改进
算法不可能差分分析结果的改进
不可能差分区分器自动搜索算法在算法上的应用
算法的不可能差分性质
搜索算法所有长不可能差分区分器的策略
本章小结
第章 旋转异或差分自动化分析技术
可追溯模式与旋转异或差分路径的构造
截断旋转异或差分
可追溯模式
路径的整体结构
路径的自动化搜索策略
路径的自动化搜索算法
路径自动化搜索算法的应用
旋转异或差分路径的实验验证
本章小结
第章 零相关线性自动化分析技术
模型零相关线性区分器的自动化搜索算法
零相关线性区分器的构造
模式运算在线性情形下的应用
模型零相关线性区分器的构造思路
零相关线性区分器的自动化搜索算法
零相关线性区分器的扩展
模型零相关线性区分器自动搜索算法的应用
算法新的零相关线性区分器
算法新的零相关线性区分器
算法新的零相关线性区分器
模型可追溯模式与非零相关线性逼近的刻画
截断线性逼近
线性可追溯模式
线性扩散矩阵
模型零相关线性路径的自动化搜索方法
缩减轮算法线性扩散矩阵的计算
零相关线性区分器的自动化搜索
模型零相关线性区分器自动化搜索算法的应用
模型零相关线性区分器的实验验证
本章小结
第章 积分攻击自动化分析技术
改进的元组区分器的构造及传统积分区分器的自动化搜索
元组区分器的构造方法及思路
类算法元组区分器的搜索
元组区分器的改进
模型积分区分器的构造
模型零相关线性区分器与积分区分器之间的关系
模型积分区分器的构造
模型积分区分器自动化搜索方法的应用
算法的积分区分器
算法的积分区分器
算法的积分区分器
算法的积分分析
算法的积分区分器
算法基于积分的密钥恢复攻击
算法的积分分析
算法新的积分区分器
算法基于积分的密钥恢复攻击
和算法的高积分分析
积分区分器的扩展思路
算法高积分区分器的构造及改进的积分分析
算法高积分区分器的构造及改进的积分分析
本章小结
第章 分组密码自动化分析技术的应用
分组密码算法的性分析
算法的不可能差分分析
算法的零相关线性分析
分组密码算法的性分析
算法的滑动性质
算法的密钥恢复攻击
分组密码算法的性分析
算法的性分析
算法的性分析
分组密码算法μ的性分析
若干μ算法的密码学性质
μ算法的不可能差分区分器
μ算法的密钥恢复攻击
分组密码算法的性分析
算法的性质
算法的零相关线性分析
本章小结
总结与展望
参考文献
编后记
分组密码自动化分析技术及应用
定
出版社 科学出版
版次
出版时间 年月
开本
作者 张凯
装帧 平装
页数
字数
书号
本书介绍分组密码的自动化分析技术及应用，围绕团队提出的本源性概念——可追溯模式，介绍多种分组密码攻击方法的自动化技术，括差分分析、中间相遇攻击、不可能差分分析、旋转异或差分分析、零相关线性分析、积分攻击等。在应用方面，本书以这些攻击方法的自动化技术作为基础，对大量分组密码算法的性进行分析，如韩国国际标准和、美国局提出的和、加拿大算法等。分组密码自动化分析技术的研究思路能够更好地帮助研究人员理解密码分析技术的基本思想，大量算法的分析结果能够支撑自动化分析技术的应用及落地。在介绍这些分组密码算法的典型分析方法及攻击结果的同时，希望为密码设计者与分析者提供参考和借鉴。
目录
“博士后文库”序言
前言
第章 绪论
概述
分组密码各类分析方法
分组密码自动化分析技术的发展
本书涉及分密码算法简介
本书结构
第章 可追溯模式的定义及定位
可追溯模式
可追溯模式与方法
可追溯模式与方法
可追溯模式与传统积分区分器的构造方法
可追溯模式与元组区分器的构造方法
可追溯模式的应用
本章小结
第章 差分自动化分析技术
差分分析一般模型及关键步骤
差分分析一般模型
差分分析的关键步骤
截断差分的刻画
差分可追溯模式
矩阵门限异或乘运算
差分扩散矩阵
迭代差分的自动化搜索
高概率差分路径的自动化搜索
差分路径的聚合及自动化实现
密钥恢复攻击环节的自动化实现
确定密钥恢复攻击的路径
确定密钥恢复攻击中涉及的密钥比
差分自动化分析架构时间复杂度的估算
差分自动化分析架构的应用
迭代差分路径的自动化搜索
高概率差分路径的自动化搜索
本章小结
第章 中间相遇攻击自动化分析技术
中间相遇攻击模型
中间相遇攻击基础模型
基于拼切技术的中间相遇攻击模型
基于拼切技术中间相遇攻击的复杂度
中间相遇攻击与可追溯模式
矩阵或乘运算
三类可追溯模式
类型Ⅰ矩阵：差分扩散矩阵
类型Ⅱ矩阵：相关转移矩阵
类型Ⅲ矩阵：衍生矩阵
基于拼切技术中间相遇攻击的自动化分析架构
攻击方案的搜索
切片位置的选择
相遇点位置的选择
搜索攻击方案
中间相遇攻击自动化分析架构的应用
架构在算法的应用
架构在算法的应用
架构在算法的应用
本章小结
第章 不可能差分自动化分析技术
模型不可能差分区分器的自动化搜索算法
不可能差分区分器的构造
可追溯模式在差分情形下的应用
模型不可能差分区分器的构造思路
不可能差分区分器的自动搜索算法
不可能差分区分器的扩展
模型不可能差分区分器自动搜索技术的应用
算法新的不可能差分区分器
算法新的不可能差分区分器
算法新的不可能差分区分器
模型不可能差分界证明及区分器的自动化搜索算法
可追溯模式与不可能差分区分器的构造
不可能差分区分器轮数可证明界的计算
模型不可能差分区分器的自动化搜索方法
模型不可能差分区分器可证明界的应用
模型不可能差分区分器自动化搜索算法的应用
模型不可能差分区分器可证明界的实验验证
算法长不可能差分区分器的代表
算法不可能差分区分器实际界的研究
算法其他版本的验证
弱旋转性及改进的算法多重不可能差分分析
弱旋转性和弱旋转等类
算法的弱旋转性质
算法若干性质的改进
算法不可能差分分析结果的改进
不可能差分区分器自动搜索算法在算法上的应用
算法的不可能差分性质
搜索算法所有长不可能差分区分器的策略
本章小结
第章 旋转异或差分自动化分析技术
可追溯模式与旋转异或差分路径的构造
截断旋转异或差分
可追溯模式
路径的整体结构
路径的自动化搜索策略
路径的自动化搜索算法
路径自动化搜索算法的应用
旋转异或差分路径的实验验证
本章小结
第章 零相关线性自动化分析技术
模型零相关线性区分器的自动化搜索算法
零相关线性区分器的构造
模式运算在线性情形下的应用
模型零相关线性区分器的构造思路
零相关线性区分器的自动化搜索算法
零相关线性区分器的扩展
模型零相关线性区分器自动搜索算法的应用
算法新的零相关线性区分器
算法新的零相关线性区分器
算法新的零相关线性区分器
模型可追溯模式与非零相关线性逼近的刻画
截断线性逼近
线性可追溯模式
线性扩散矩阵
模型零相关线性路径的自动化搜索方法
缩减轮算法线性扩散矩阵的计算
零相关线性区分器的自动化搜索
模型零相关线性区分器自动化搜索算法的应用
模型零相关线性区分器的实验验证
本章小结
第章 积分攻击自动化分析技术
改进的元组区分器的构造及传统积分区分器的自动化搜索
元组区分器的构造方法及思路
类算法元组区分器的搜索
元组区分器的改进
模型积分区分器的构造
模型零相关线性区分器与积分区分器之间的关系
模型积分区分器的构造
模型积分区分器自动化搜索方法的应用
算法的积分区分器
算法的积分区分器
算法的积分区分器
算法的积分分析
算法的积分区分器
算法基于积分的密钥恢复攻击
算法的积分分析
算法新的积分区分器
算法基于积分的密钥恢复攻击
和算法的高积分分析
积分区分器的扩展思路
算法高积分区分器的构造及改进的积分分析
算法高积分区分器的构造及改进的积分分析
本章小结
第章 分组密码自动化分析技术的应用
分组密码算法的性分析
算法的不可能差分分析
算法的零相关线性分析
分组密码算法的性分析
算法的滑动性质
算法的密钥恢复攻击
分组密码算法的性分析
算法的性分析
算法的性分析
分组密码算法μ的性分析
若干μ算法的密码学性质
μ算法的不可能差分区分器
μ算法的密钥恢复攻击
分组密码算法的性分析
算法的性质
算法的零相关线性分析
本章小结
总结与展望
参考文献
编后记