密码学03-分组密码
分组密码
分组密码的基本概念
概述
分组密码是许多系统安全的一个重要组成部分。可用于构造
- 伪随机数生成器
- 流密码
- 消息认证码(MAC)和杂凑函数
- 消息认证技术、数据完整性机制、实体认证协议以及单钥数字签字体制的核心组成部分。
应用中对于分组码的要求
安全性
- 运行速度
- 存储量(程序的长度、数据分组长度、高速缓存大小)
- 实现平台(硬、软件、芯片)
- 运行模式
分组密码的组成
明文序列
加密函数
密文分组长度为
这种密码实质上是字长为
![[分组密码概述.png]]
通常取
• 若
• 若
分组密码的设计原则
分组密码设计问题
分组密码的设计问题在于找到一种算法, 能在密钥控制下从一个足够大且足够好的置换子集中, 简单而迅速地选出一个置换, 用来对当前输入的明文的数字组进行加密变换。
安全性设计原则
- 混淆原则(Confusion)
- 混淆原则就是将密文、 明文、 密钥三者之间的统计关系和代数关系变得尽可能复杂,使得敌手即使获得了密文和明文,也无法求出密钥的任何信息;即使获得了密文和明文的统计规律,也无法求出明文的新的信息。
- 可进一步理解为:
- 明文不能由已知的明文,密文及少许密钥比特代数地或统计地表示出来。
- 密钥不能由已知的明文,密文及少许密钥比特代数地或统计地表示出来。
- 扩散原则(Diffusion)
- 扩散原则就是应将明文的统计规律和结构规律散射到相当长的一段统计中去(Shannon的原话)。
- 也就是说让明文中的每一位影响密文中的尽可能多的位,或者说让密文中的每一位都受到明文中的尽可能多位的影响。
- 如果当明文变化一个比特时,密文有某些比特不可能发生变化,则这个明文就与那些密文无关,因而在攻击这个明文比比特时就可不利用那些密文比特.
算法要求
- 分组长度
要足够大:
防止明文穷举攻击法奏效。 - 密钥量要足够大:
尽可能消除弱密钥并使所有密钥同等地好, 以防止密钥穷举攻击奏效。 - 由密钥确定置换的算法要足够复杂:
充分实现明文与密钥的扩散和混淆, 没有简单的关系可循, 要能抗击各种已知的攻击。 - 加密和解密运算简单:
易于软件和硬件高速实现。 - 数据扩展:
一般无数据扩展, 在采用同态置换和随机化加密技术时可引入数据扩展。 - 差错传播尽可能地小。
一个密文分组的错误尽可能少的影响其他密文分
实现原则
- 软件实现的原则:
使用子块和简单的运算。 如将分组n化分为子段, 每段长为8、 16或32。在以软件实现时, 应选用简单的运算, 使作用于子段上的密码运算易于以标准处理器的基本运算, 如加、 乘、 移位等实现, 避免用以软件难于实现的逐比特置换。 - 硬件实现的原则:
加密解密可用同样的器件来实现。
SP网络
代换概述
- 代换:如果明文和密文的分组长都为
比特,则明文的每一个分组都有 个可能的取值。为使加密运算可逆(使解密运算可行),明文的每一个分组都应产生惟一的一个密文分组,这样的变换是可逆的,称明文分组到密文分组的可逆变换为代换。
不同可逆变换的个数有
个
代换结构
![[代换结构.png]]
代换表
明文 密文 | 明文 密文 |
---|---|
0000 1101 0001 0101 0010 0001 0011 0110 0100 1001 0101 1111 0110 0010 0111 0011 |
1000 1010 1001 1000 1010 1011 1011 1110 1100 0111 1101 0100 1110 1100 1111 0000 |
正向代换 |
密文 明文 | 密文 明文 |
---|---|
0000 1101 0001 0101 0010 0001 0011 0110 0100 1001 0101 1111 0110 0010 0111 0011 |
1000 1010 1001 1000 1010 1011 1011 1110 1100 0111 1101 0100 1110 1100 1111 0000 |
反向代换 |
代换的弱点
-
如果分组长度太小,如n=4,系统则等价于古典的代换密码,容易通过对明文的统计分析而被攻破。这个弱点不是代换结构固有的,只是因为分组长度太小。如果分组长度n足够大,而且从明文到密文可有任意可逆的代换,那么明文的统计特性将被隐藏而使以上的攻击不能奏效。
-
从实现的角度来看,分组长度很大的可逆代换结构是不实际的
- 仍以4比特的代换表为例,该表定义了
时从明文到密文的一个可逆映射,其中第2列是每个明文分组对应的密文分组的值,可用来定义这个可逆映射。 - 从本质上来说,第2列是从所有可能映射中决定某一特定映射的密钥
- 密钥需要64比特
- 仍以4比特的代换表为例,该表定义了
-
一般地,对n比特的代换结构,密钥的大小是
比特。如对64比特的分组,密钥大小应是 比特,因此难以处理。
SP网络
在Shannon 1949 的文章中,介绍了替代-置换网络的思想即SP网络。这种思想形成了现代密码的基础,SP网络是替代-置换乘积密码的现代形式
SP网络是基于下列两种最基本的密码运算:替代( Substitution )、置换( Permutation )
代换网络
代换是输入集
式中,
实现代换
双射条件保证在给定
代换
如果网络可以实现所有可能的
全代换网络密钥个数必须满足条件:
密码设计中需要先定义代换集
要实现全代换网络并不容易。 因此实用中常常利用一些简单的基本代换, 通过组合实现较复杂的、 元素个数较多的代换集。
实用密码体制的集合S中的元素个数都远小于
在密码设计中, 可选
![[DES的S盒.png]]
S盒的设计准则
迄今为止, 有关方面未曾完全公开有关DES的S盒的设计准则。
Branstead等曾披露过下述准则:
- P1 S盒的输出都不是其输入的线性或仿射函数。
- P2 改变S盒的一个输入比特, 其输出至少有两比特产生变化, 即近一半产生变化。
- P3 当S盒的任一输入位保持不变, 其它5位输入变化时(共有
=32种情况),输出数字中的0和1的总数近于相等。
这三点使DES的S盒能够实现较好的混淆。
Feistel 密码结构
设计思想
乘积密码指顺序地执行两个或多个基本密码系统, 使得最后结果的密码强度高于每个基本密码系统产生的结果.
Feistel密码实现的参数
- 分组大小: 分组越大则安全性越高,但加密速度就越慢。
- 密钥大小:密钥越长则安全性越高,但加密速度就越慢。
- 轮数:单轮结构远不足以保证安全性,但多轮结构可提供足够的安全性。典型地,轮数取为16。
- 子密钥产生算法:该算法的复杂性越大,则密码分析的困难性就越大。
- 轮函数:轮函数的复杂性越大,密码分析的困难性也越大。
设计Feistel密码的两个要求
在设计
- 快速的软件实现:在很多情况中, 算法是被镶嵌在应用程序中, 因而无法用硬件实现。 此时算法的执行速度是考虑的关键。
- 算法容易分析:如果算法能被无疑义地解释清楚, 就可容易地分析算法抵抗攻击的能力, 有助于设计高强度的算法。
加解密结构
- 加密
输入是分组长为
其中
- 解密
Feistel 解密过程本质上和加密过程是一样的,算法使用密文作为输入
但使用子密钥Ki的次序与加密过程相反,即第1轮使用
![[Feistel加解密过程.png]]
Feistel密码解密的正确性
在加密过程中:
在解密过程中
以解密过程第1轮的输出为
容易证明这种对应关系在16轮中每轮都成立。 一般地, 加密过程的第
因此:
DES(Data Encryption Standard) 算法简介
DES的框架和主要参数
分组长度为64 bits (8 bytes),密文分组长度也是64 bits。密钥长度为64 bits, 有8 bits奇偶校验, 有效密钥长度为56 bits。一种用56位密钥来加密64位数据的方法。
算法主要包括:初始置换IP、 16轮迭代的乘积变换、 逆初始置换
![[DES算法框图.png]]
DES算法流程
运用
![[DES算法流程.png]]
初始置换IP与逆初始置换
初始置换是将64 bit明文的位置进行置换,得到一个乱序的64 bit明文组。
逆初始置换
DES的轮函数及密钥编排
轮函数
设输入为
则DES的轮函数输出为:
![[DES的轮函数的结构.png]]
它等价于两个对合变换[1]的复合:
注意:无论f函数如何选取, DES的轮函数是一个对合变换。
![[DES算法轮结构.png]]
函数f(R,K)的计算过程
![[函数f(R,K)的计算过程.png]]
选择压缩运算S
![[选择压缩运算S.png]]
P盒置换
将S-盒变换后的32比特数据再进行P盒置换,置换后得到的32比特即为 f 函数的输出。
基本特点:
- P盒的各输出块的4个比特都来自不同的输入块;
- P盒的各输入块的4个比特都分配到不同的输出块之中;
- P盒的第
输出块的4个比特都不来自第 输入块。
含义:P盒输出的第1个元是输入的第16个元。
密钥编排
![[DES密钥编排.png]]
DES中的子密钥的生成
![[DES中的子密钥的生成.png]]
DES的安全性
DES的弱密钥
互补性
- DES算法具有下述性质: 若明文组
逐位取补,密钥 逐位取补,即 , 则有 - 这种互补性会使DES在选择明文破译下所需的工作量减半。[[密码学01-基本概念#选择明文攻击]]
弱密钥和半弱密钥
- 弱密钥:
, DES存在4个弱密钥 - 半弱密钥:
,至少有12个半弱密钥
DES算法在每次迭代时都有一个子密钥供加密用。 如果给定初始密钥
原始密钥 | 置换选择1后的密钥 |
---|---|
- | |
(0, 0) |
(0, 0) |
(0,15) |
(0,15) |
(0,15) |
(0,15) |
(0,15) |
(0,15) |
3DES
多重DES
如果一个分组密码易受到穷举密钥搜索攻击,那么对同一消息加密多次就有可能增强安全性。多重加密类似于一个有着多个相同密码的级联,但各级密码无需独立,且每级密码既可以是一个分组密码加密函数,也可是相应的解密函数
双重DES算法
简单的对消息
事实上并不能达到
的安全性
![[双重DES.png]]
中间相遇攻击
1977年,由Diffie和Hellman最早提出中间相遇攻击,可以降低搜索量,基本想法如下。若有明文/密文对 (
则可得:
![[中间相遇攻击.png]]
中间相遇攻击的步骤
给定一已知明密文对
- 以密钥k1的所有256个可能的取值对此明文x1加密, 并将密文z存储在一个表中;
- 从所有可能的
个密钥 中依任意次序选出一个对给定的密文 解密, 并将每次解密结果 在上述表中查找相匹配的值。 一旦找到, 则可确定出两个密钥 和 ; - 以此对密钥
和 对另一已知明文密文对 中的明文 进行加密, 如果能得出相应的密文 就可确定 和 是所要找的密钥。
复杂度
对于给定明文
用另一对64比特明文/密文对进行检验, 就使虚报率降为
三重DES算法
三重DES中三个密码组件既可以是一个加密函数, 也可以是一个解密函数。
当
时, 则称为双密钥三重DES
![[三重DES算法.png]]
加密:
解密:
称其为加密-解密-加密方案, 简记为EDE(encrypt-decrypt-encrypt)。
此方案已在ANSI X9.17和ISO 8732标准中采用, 并在保密增强邮件(PEM)系统中得到利用。
![[双密钥三重DES算法.png]]
安全性
破译它的穷举密钥搜索量为
分组密码的工作模式
为什么需要工作模式?
分组密码的工作模式是:根据不同的数据格式和安全性要求, 以一个具体的分组密码算法为基础构造一个分组密码系统的方法
- 分组密码的工作模式应当力求简单, 有效和易于实现
- 需要采用适当的工作模式来隐蔽明文的统计特性、数据的格式等
- 降低删除、重放、插入和伪造成功的机会
分组密码的主要工作模式
- 电码本(ECB)模式
- 密码分组链接(CBC)模式
- 密码反馈(CFB)模式
- 输出反馈(OFB)模式
- 计数器模式
电码本(ECB)模式
![[电码本ECB(Electronic Code Book)模式.png]]
电码本模式(Electronic Codebook Mode, ECB)是一种分组密码的工作模式。在ECB模式下,明文被分成固定大小的分组(通常是64位或128位),然后每个分组独立地通过相同的密钥加密,生成对应的密文分组。它是分组密码的最简单模式,但在安全性上存在一些缺陷。
-
优点:
- 实现简单;
- 不同明文分组的加密可并行实施,尤其是硬件实现时速度很快
-
缺点:
- 相同明文分组对应相同密文分组
- 不能隐蔽明文分组的统计规律和结构规律,不能抵抗替换攻击
-
应用:
- 用于随机数的加密保护
- 用于单分组明文的加密
电码本模式缺陷的例子
例: 假设银行A和银行B之间的资金转帐系统所使用报文模式如下:
![[电码本模式缺陷的例子.png]]
敌手C通过截收从A到B的加密消息,只要将第5至第12分组替换为自己的姓名和帐号相对应的密文,即可将别人的存款存入自己的帐号。
密码分组链接(CBC)模式
密码分组链接模式(Cipher Block Chaining, CBC)是一种分组密码的工作模式,解决了ECB模式容易泄露相同明文分组映射为相同密文分组的问题。CBC通过引入前一个密文分组对当前分组进行混淆,使得相同的明文分组在不同的上下文中会生成不同的密文分组,因此提升了安全性。
这种模式先将明文分组与上一次的密文块进行按比特异或,然后再进行加密处理。 这种模式必须选择一个初始向量
加密过程为:
解密过程为:
![[密码分组链接CBC模式.png]]
CBC模式的特点
- 明文块的统计特性得到了隐蔽
- 由于在CBC模式中,各密文块不仅与当前明文块有关,而且还与以前的明文块及初始化向量有关,从而使明文的统计规律在密文中得到了较好的隐藏
- 具有有限的(两步)错误传播特性
- 一个密文块的错误将导致两个密文块不能正确解密
- 具有自同步功能
- 密文出现丢块和错块不影响后续密文块的解密.若从第
块起密文块正确,则第 个明文块就能正确求出
- 密文出现丢块和错块不影响后续密文块的解密.若从第
用CBC模式实现报文的完整性认证
目的:检查文件在(直接或加密)传输和存储中是否遭到有意或无意的篡改.
- 关键技术:
- 文件的制造者和检验者共享一个密钥
- 文件的明文必须具有检验者预先知道的冗余度(例如哈希值)
- 文件的制造者用共享密钥对具有约定冗余度的明文用CBC模式加密
- 文件的检验者用共享密钥对密文解密,并检验约定冗余度是否正确
- 报文完整性认证的具体实现技术
- 文件的制造者和检验者共享一个密钥;
- 利用文件的明文m产生一个奇偶校验码r的分组;
- 采用分组密码的CBC模式,对附带校验码的已扩充的明文(m, r)进行加密,得到的最后一个密文分组就是认证码
认证码生成
校验码为
![[认证码生成.png]]
- 仅需对明文认证,而不需加密时,传送明文
和认证码 , 此时也可仅保留 的 个比特作为认证码; - 既需对明文认证,又需要加密时,传送密文
和认证码
认证码检验
- 仅需对明文认证而不需加密时,此时验证者仅收到明文m和认证码Cn+1,需要:
- 产生明文
的校验码 - 利用共享密钥使用CBC模式对
加密,将得到的最后一个密文分组与接收到的认证码 比较,二者一致时判定接收的明文无错;二者不一致时判定明文出错。
- 产生明文
密码反馈(CFB)模式
密码反馈 CFB 密码反馈模式(CFB,Cipher Feedback Block)是一种分组密码工作模式,用于对数据进行加解密。该模式在CFB模式中,前一个密文分组会被送回到密码算法的输入端,然后与明文数据进行异或运算,从而得到新的密文分组。这个过程会不断重复,直到处理完所有明文数据。
若待加密消息需按字符、字节或比特处理时,采用CFB模式,并称待加密消息按
- 适用范围: 适用于每次处理
比特明文块的特定需求的加密情形,能灵活适应数据各格式的需要。- 例如,数据库加密要求加密时不能改变明文的字节长度,这时就要以明文字节为单位进行加密。
若记
![[CFB的加密解密.png]]
CFB模式的特点
- 相同明文:和按CBC模式加密一样, 改变
同样会导致相同的明文输入得到不同的加密输出。 IV 无需保密(虽在某些应用中 IV 须是不可预测的) - 链接依赖性:类似CBC加密, 链接机制致使密文组依赖于当前明文组和其前面的明文组;因此, 重排密文组会影响解密。
- 错误的传播:一个或多个比特错误出现在任一个 r 比特的密文组中会影响这个组和后继
个密文组的解密。 - 错误恢复: CFB和CBC相似, 也是自同步的, 但它需有
个密文组才能还原
输出反馈(OFB)模式
输出反馈模式(OFB,Output Feedback)是分组密码学中的一种模式,在OFB模式中,密码算法的输出并不直接与明文数据结合,而是通过与明文数据进行异或运算生成密文。具体来说,OFB模式将明文分组与密码算法的输出分组进行逐次异或,从而得到密文分组。
OFB模式在结构上类似于CFB模式,但反馈的内容是DES的输出而不是密文!
![[输出反馈OFB(Output Feedback)模式.png]]
OFB工作模式的特点
- 相同明文:和CBC及CFB一样, 改变 IV 同样会导致相同的明文输入得到不同的加密输出。
- 链接依赖性:密钥流是独立于明文的。
- 错误传播:有一个或多个比特错误的任一密文字符仅会影响该字符的解密, 密文字符的某比特位置出错将致使还原明文的相应位置也出错。
- 错误恢复: OFB模式能从密文比特错误中得以恢复, 但在丢失密文比特后就无法实现自同步了, 这是因为丢失密文比特会破坏密钥流的编排。
四类工作模式比较和选用
- ECB模式简单、高速,但最弱,易受重放和替换攻击,一般用于加密长度小于等于分组长度的消息。
- CBC, CFB, OFB模式的选用取决于实际的特殊需求。
- 明文不易丢信号,对明文的格式没有特殊要求的环境可选用CBC模式。需要完整性认证功能时也可选用该模式。
- 容易丢信号的环境,或对明文格式有特殊要求的环境,可选用CFB模式。
- 不易丢信号,但信号特别容易错,且明文冗余特别多,可选用OFB模式。
计数器模式
计数器模式(也称为Counter Mode Reset,CTR)是一种DES加密算法的工作模式。在这种模式下,计数器从某个初始值开始,按某种算法递增,并将计数器值经过加密算法得到的结果再与明文进行异或,从而得到当前明文组的密文。
- 利用固定密钥
对自然数序列 加密, 将得到的密文分组序列看作密钥流序列, 按加法密码的方式与明文分组逐位异或的一种方式 - 利用这种方式可以产生伪随机数序列,其伪随机特性远比计算机产生的随机数的性质好
计数器模式的结构
![[计数器模式的结构.png|600]]
CTR的优点
- 效率
- 可并行加密
- 预处理
- 吞吐量仅受可使用并行数量的限制
- 加密数据块的随机访问
- 可证明安全
- 简单性(只要求实现加密算法)
有限域基础
有限域的基本概念
是一个非空集合,定义了加法、乘法两个二元运算,对这两个运算封闭- 加法满足:对于任意
;交换律 ;结合律- 存在
,使得 ;有零元 - 存在
,使得 ;有负元
- 加法满足:对于任意
- 乘法满足:对于任意a,b,c∈ F
;交换律 ;结合律- 存在
,使得 ;有单位元 - 存在
,使得 ;有逆元
- 乘法对加法满足分配率
此时,我们称
有限域的定义及性质
一个有限域
- 性质
- 定理1 设
是一个特征为素数 的有限域,则 中的元素个数为 , 是一个正整数。 - 定理2 (存在性)对于任何素数
和任意正整数 ,总存在一个有限域恰好含有 个元素。 - 定理3 (唯一性)任意两个
元域都同构,即 元域在同构意义下是惟一的。 - 定理 4 设
是 元域,则其乘法群 是一个循环群
- 定理1 设
指的是 中所有非零元构成的集合。
域的例子
,加法和乘法都是 模 的运算,运算封闭- 加法满足结合律和交换律,有零元0,有负元
- 乘法满足结合律和交换律,有单位元1,不一定有逆元
中的数什么时候才有乘法逆元呢? - [“] 引理:整数
在模 乘法下有逆元,当且仅当 与 互素。 - 所有与n互素的元素在模n乘法下构成乘法交换群
都与 互素,则 为素,对于任一素数 , 为域,其元素个数为 个
,加法和乘法都是模 的运算,运算封闭- 加法满足结合律和交换律,有零元0,有负元
- 乘法满足结合律和交换律,有单位元1,不一定有逆元
中的多项式什么时候才有乘法逆元呢? - ["] 引理:
在模 乘法下有逆元, 当且仅当 与 互素。 - 所有与
互素的元素在模 乘法下构成乘法交换群 - 次数比
的次数低的多项式都与 互素, 则 为不可约多项式 - 对于任一首项系数为1的不可约多项式,
为域 - 若
,则 中元素个数为 个 域的构造方法是首先选取 中的一个 次不可约多项式,然后构造集合 集合中的加法和乘法运算为模多项式f(x)的运算
GF( )域
AES中的处理单元
AES (Advanced Encryption Standard,高级加密标准) 是美国国家标准与技术研究院(NIST)在2001年发布的一种对称加密算法。它旨在取代早期的数据加密标准(DES),提供更高的安全性。AES算法广泛应用于保护电子数据的机密性,并且由于其对称性,加密和解密使用相同的密钥。 ^513ff1
AES加密标准算法中是以字节为处理单元,可以将每一字节看作是有限域GF(28)上的一个元素,分别对应于一个次数不超过7的多项式。如
还可以将每个字节表示为一个十六进制数,即每4比特表示为一个十六进制数,代表较高位的4比特的符号仍在左边。例如, 01101011可表示为6B。它们之间的运算为
中的运算
- 定义: 在
上的加法定义为二进制多项式的加法,且其系数模2。例如: , 用多项式表示为:
用二进制表示为:
- 定义: 在
上的乘法(用符号 表示)定义为二进制多项式的乘积模一个次数为8的不可约二进制多项式:
它的十六进制表示为
例如:
- 定义: 对任何次数小于8的多项式b(x), 可用推广的欧几里得算法得
即
- 定义: 函数
定义为 上的 。其运算如下:若 ,则 的结果就是把字节b左移一位,且在最右边补上上0;若 ,则先对 在字节内左移一位(最后一位补0),则再与 做逐比特异或。
xtime(x)的例子
例如,
上的模多项式运算
4个字节构成的向量可以表示为系数在GF(28)上的次数小于4的多项式,多项式的加法就是对应系数相加;换句话说,多项式的加法就是4字节向量的逐比特异或。
规定多项式的乘法运算必须要取模
由于
多项式乘法的矩阵表示:
其中元素的加法和乘法为
模 逆元
定理: 系数在
在
证明见PPT[[现代密码学:第26讲 有限域基础.pdf]]
模
逆元在多项式环(如有限域)中的计算和应用中起到了关键作用,尤其是在误差校正码、数字信号处理、快速傅里叶变换 (FFT) 等领域。
- 多项式
的因式分解具有特殊的对称结构,可以分解为两个二次因式(在某些有限域中成立),即 。 - 这种结构使得模
下的逆元求解比一般的多项式更加高效,便于快速实现应用中的各种运算。 - 快速傅里叶变换 (FFT) 的实现在快速傅里叶变换中,计算复数乘法的代价较高。而通过定义模
的有限域,可以将复数乘法映射到多项式乘法,将原本的复数运算转化为具有更高效结构的有限域中的运算,简化计算、提高效率。 - 在编码理论中,比如循环码或BCH码中,模多项式的运算常用于生成和检测校验位,用以检测和纠正传输中的错误。在这种情况下,逆元的求解有助于在编码和解码过程中解决线性方程,恢复被干扰或篡改的信息。
- 在数字信号处理(DSP)应用中,模多项式的运算常用于滤波器的设计或系统建模。逆元的求解能简化滤波器的实现过程,使设计更加灵活且效率更高。
AES算法简介
DES算法由于其密钥较短, 难以抵抗现有的攻击, 因此不再作为加密标准。
AES概述
-
AES算法征集的要求
- AES是公开的;
- AES为对称密钥分组密码体制;
- AES的密钥长度可变, 可按需要增大;
- AES适于用软件和硬件实现;
- AES可以自由地使用, 或按符合美国国家标准( ANST) 策略的条件使用。
-
算法衡量条件
-
满足以上要求的AES算法,需按下述条件判断优劣
- 安全性
- 计算效率
- 内存要求
- 使用简便性
- 灵活性
-
AES的评审
-
1998年4月15日全面征集AES算法的工作结束。 1998年8月20日举行了首届AES讨论会, 对涉及14个国家的密码学家所提出的候选AES算法进行了评估和测试, 初选并公布了15个被选方案, 供大家公开讨论。
- CAST-256, RC-6, CRYPTON-128, DEAL-128,
- FROG, DFC, LOKI-97, MAGENTA,
- MARS, HPC, RIJNDAEL, SAFER+,
- SERPENT, E-2, TWOFISH。
-
这些算法设计思想新颖, 技术水平先进, 算法的强度都超过3-DES, 实现速度快于3-DES。
-
1999年8月9日NIST宣布第二轮筛选出的5个候选算法为:
- MARS(C.Burwick等,IBM) , RC6TM(R. Rivest等,RSA Lab.), RIJNDEAL(J. Daemen,比利时),
- SERPENT(R. Anderson等, 英国、以利时、挪威), TWOFISH(B. Schneier,美国)。
-
2000年10月2日, NIST宣布
作为新的AES
AES算法框架和参数说明
-
设计简单
- 在多个平台上速度快,编码紧凑
- 抵抗所有已知的攻击
- Rijndael没有采用 Feistel 结构,轮函数由3个不同的可逆均匀变换构成的,称为3个层
- ["] 均匀变换是指状态的每个bit都用类似的方法处理
-
轮函数的3层
- 线性混合层
- 确保多轮之上的高度扩散;
- 非线性层
- 将具有最优的“最坏情况非线性特性” 的S盒并行使用;确保混淆特性
- 密钥加层
- 单轮子密钥简单的异或到中间状态上,实现一次性掩盖。
- 线性混合层
算法说明
- 明文分组可变
- 128、 192、 256比特,密钥长度可变,各自可独立指定为128、 192、 256比特。
- 状态
- 算法中间的结果也需要分组,称之为状态,状态可以用以字节为元素的矩阵阵列表示,该阵列有4行,列数
为
- 算法中间的结果也需要分组,称之为状态,状态可以用以字节为元素的矩阵阵列表示,该阵列有4行,列数
- 种子密钥
- 以字节为元素的矩阵阵列描述,阵列为4行,列数
为
- 以字节为元素的矩阵阵列描述,阵列为4行,列数
- 算法的输入、输出和种子密钥可看成字节组成的一维数组。
- 下标范围
- 输入输出:
- 种子密钥:
- 输入输出:
和 的状态密钥阵列
![[N_b=6和N_k=4的状态密钥阵列.png]]
分组和阵列中元素对应关系
分组长度的不同其对应的轮函数迭代的轮数也不同
- 分组下标
- 阵列位置
- 轮数
与 和 对应关系
![[AES加解密流程.png]]
注:第10轮不进行列混合,这样是为了保证解密流程相同。
AES的轮函数
字节代换
- 字节代换为非线性代换,独立地对状态的每个字节进行,并且代换表(S盒)可逆,记为
,分两步:- 将字节作为
上的元素映射到自己的逆元 - 将字节做
上的仿射变换
- 将字节作为
其中
AES的S盒及其替换见PPT[[现代密码学:第28讲 AES的轮函数.pdf]]
逆字节代换InvSubBytes()
逆字节替代变换是字节替代变换的逆变换,在状态的每个字节上应用逆S盒。
这是通过应用字节替代变换中的仿射变换的逆变换,再对所得结果应用有限域的乘法逆运算得到的
即
AES的S盒及其逆替换见PPT[[现代密码学:第28讲 AES的轮函数.pdf]]
字节代换示意图
![[字节代换示意图.png]]
行移位
将状态阵列的各行进行循环移位,不同行的移位量不同
- 0行:不动
- 1行:循环左移C1字节
- 2行:循环左移C2字节
- 3行:循环左移C3字节
- 记为:
- 行移位示意图
![[行移位示意图.png]]
- 逆行移位InvShiftRows()
逆行移位变换是行移位变换的逆变换
- 它对状态的每一行进行循环右移,
- 第0行保持不变
- 第1行循环右移C1个字节
- 第2行循环右移C2个字节
- 第3行循环右移C3个字节
列混淆
将每列视为
模
表示为
'xx'表示16进制数
列混淆运算也可写为矩阵乘法。设
- 列混淆运算示意图
![[列混淆运算示意图.png]]
- 逆列混淆
逆列混淆变换是列混淆变换的逆
它将状态矩阵中的每一列视为系数在
由此可得
- 逆列混淆的矩阵形式
同样,逆列混淆可以写成矩阵乘法形式
轮密钥加
- 轮密钥与状态进行逐比特异或。
- 轮密钥由种子密钥通过密钥编排算法得到
- 轮密钥长度与分组长度相同
- 表示为
AES的密钥编排及伪代码
AES的密钥编排
- 密钥编排指从种子密钥得到轮密钥的过程,它由密钥扩展和轮密钥选取两部分组成。其基本原则如下:
- 轮密钥的比特数等于分组长度乘以轮数加1; 例如要将128比特的明文经过10轮的加密,则总共需要
比特的密钥。 - 种子密钥被扩展成为扩展密钥;
- 轮密钥从扩展密钥中取,其中第1轮轮密钥取扩展密钥的前
个字,第2轮轮密钥取接下来的 个字,如此下去。 - 扩展密钥是以4字节字为元素的一维阵列,表示为
,其中前Nk个字取为种子密钥,以后每个字按递归方式定义。扩展算法根据 和 有所不同。
- 轮密钥的比特数等于分组长度乘以轮数加1; 例如要将128比特的明文经过10轮的加密,则总共需要
扩展算法( )
KeyExpansion (byteKey[4*Nk] , W[Nb*(Nr+1)]) {
for (i =0; i < Nk; i ++)
W[i]=(Key[4* i],Key[4* i +1],Key[4* i +2],Key[4* i +3] ); for (i =Nk; i <Nb*(Nr+1); i ++)
{
temp=W[i-1]; if (i % Nk= =0)
temp=SubByte (RotByte (temp))^Rcon[i /Nk];
W[i]=W[i-Nk]^ temp; }
}
![[AES扩展算法(Nk≤6).png|]]
- [i] Rcon(Round Constant,轮常量)是AES密钥扩展过程中用于生成子密钥的一个常数数组。它在每一轮的密钥生成中都会被用到,并起到了增加密钥多样性和增强加密安全性的作用。每轮的Rcon值通过特定的算法递增,确保密钥扩展的每个部分都不同。
- [i] Rcon数组(以AES-128为例)对于AES-128(即密钥长度为128位,
)来说,Rcon的值如下:
扩展算法( )
KeyExpansion (byte Key[4*Nk] , W[Nb*(Nr+1)]) {
for (i=0; i < Nk; i ++)
W[i]=(Key[4* i], Key[4* i +1], Key[4* i +2], Key[4* i +3] );
for (i =Nk; i <Nb*(Nr+1); i ++)
{
temp=W[i -1];
if (i % Nk= =0)
temp=SubByte (RotByte (temp))^Rcon[i /Nk];
else if (i % Nk==4) temp=SubByte (temp);
W[i]=W[i - Nk]^ temp; }
}
- [!]
的密钥扩展算法的区别在于:当i-4为 的整数倍时,须 先将前一个字 经 过SubByte变换
轮常数
- 以上两个算法中,
为轮常数,其值与 无关,定义为(字节用十六进制表示,同时理解为 上的元素):- 其中
是 中值为 的元素,因此 (即‘01’) (即‘02’)
轮密钥选取
轮密钥
![[轮密钥选取.png]]
AES的伪代码
AES加密过程的伪代码
Cipher(byte in[4*Nb], byte out[4*Nb], word w[Nb*Nr+1])
begin
byte state[4,Nb]
state = in
AddRoundKey(state, w[0, Nb-1])
for round = 1 step 1 to Nr-1
SubBytes(state)
ShiftRows(state)
MixColumns(state)
AddRoundKey(state, w[round*Nb, (round+1)*Nb-1])
end for
SubBytes(state)
ShiftRows(state)
AddRoundKey(state, w[Nr*Nb, (Nr+1)*Nb-1]) Out = state
end
AES解密过程的伪代码
InvCipher(byte in[4*Nb], byte out[4*Nb], word w[Nb*Nr+1]) begin
byte state[4,Nb]
state = in
AddRoundKey(state, w[Nr*Nb, (Nr+1)*Nb-1])
for round = Nr-1 step -1 downto 1
InvShiftRows(state) InvSubBytes(state)
AddRoundKey(state, w[round*Nb, (round+1)*Nb-1])
InvMixColumns(state)
end for
SubBytes(state)
ShiftRows(state) AddRoundKey(state, w[0, Nb-1])
Out = state
end
KeyExpansion (byte key[4*Nk] , word w[Nb*(Nr+1)], Nk)
begin
word temp
i=0
while (i<Nk)
w[i]=word(Key[4* i], Key[4* i +1], Key[4* i +2], Key[4* i +3] )
i=i+1
end while
i=Nk
while(i<Nb*(Nr+1))
temp=W[i-1]
if (I mod Nk= =0)
temp=SubByte (RotByte (temp)) xor Rcon[i /Nk]
else if (Nk>6 and i mod Nk = 4)
temp=SubWord(temp)
end if
w[i]=w[i-Nk ] xor temp
end while
end
SM4 算法
SM4概况
- SM4分组密码算法是国家密码管理局于2006年1月6日公布的无线局域网产使用的密码算法,是国内官方公布的第一个商用密码算法。
- SM4是一个分组密码算法,分组长度和密钥长度均为128比特。加密算法与密钥扩展算法都采用32轮非线性迭代结构。
- 它的解密算法与加密算法的结构相同,只是轮密钥的使用顺序相反,解密轮密钥是加密轮密钥的逆序。
SM4算法的术语说明
表示e-比特的向量集, 中的元素称为字节, 中的元素称为字。- S盒是一个固定的8比特输入 8比特输出的置换,记为
. - SM4中的采用了两个基本运算:
, 32比特异或; , 32比特循环左移 位。 - SM4算法的加密密钥长度为128比特,表示为,
-
[i] 其中
为字。 -
轮密钥为
, 为字。轮密钥由加密密钥通过密钥扩展算法生成。 -
为系统参数 -
为固定参数,用于密钥扩展算法。
SM4轮函数
![[SM4加密算法整体结构.png]]
设输入为
其中
![[合成置换结构图.png]]
- [i] 函数
是4个 上的 S 盒变换,L为4个移位函数
S盒见PPT[[现代密码学:第30讲 SM4算法.pdf]]
SM4的S盒说明
- 非线性变换τ 中所使用的S盒是一个具有很好密码学特性的、由8比特输入产生8比特输出的置换
- 在设计原理上, SMS4比AES的S盒设计多了一个仿射变换
SMS4有很高的灵活性,所采用的S盒可以灵活地被替换,以应对突发性的安全威胁。算法的32轮迭代采用串行处理,这与AES中每轮使用代换和混淆并行地处理整个分组有很大不同。
SM4的加密算法和解密算法
设明文输入为
- SM4算法的解密变换和加密变换结构相同,不同的仅是轮密钥的使用顺序。
- 加密时轮密钥的使用顺序为
- 解密时轮密钥的使用顺序为
- 加密时轮密钥的使用顺序为
SM4解密的合理性
SM4密钥扩展
- 设加密密钥
,其中 为字 - 轮密钥为
轮密钥的生成方法具体为:
![[SM4的密钥扩展算法1.png]]
![[SM4的密钥扩展算法2.png]]
对合变换:对合变换(Involution)是指一种特殊的数学变换,其特征是变换应用两次后能够返回到初始状态。也就是说,如果一个变换
满足以下条件: ,对于所有 都成立,那么这个变换 就被称为对合变换。 ↩︎
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 单线程的Redis速度为什么快?
· 展开说说关于C#中ORM框架的用法!
· Pantheons:用 TypeScript 打造主流大模型对话的一站式集成库
· SQL Server 2025 AI相关能力初探
· 为什么 退出登录 或 修改密码 无法使 token 失效