基本定义 分组密码是将明文消息编码后的数字序列划分为长度为 n n n的组( n n n维矢量),在密钥控制下变换为等长的输出数字序列( m m m维矢量),加密函数为 E : V n × K → V m E: V_n \times K \to V_m E:Vn×K→Vm,其中 V n V_n Vn、 V m V_m Vm为 n n n维、 m m m维矢量空间, K K K为密钥空间。
核心概念
代换:明文分组到密文分组的可逆变换。对于 n n n比特分组,有 2 n 2^n 2n个可能取值,可逆变换的总数为 ( 2 n ) ! (2^n)! (2n)!(所有可能置换)。例如 n = 4 n=4 n=4时,4 比特输入(16 种状态)通过代换表映射为 4 比特输出,加密与解密可通过代换表定义。
采用 “乘积密码” 思想,将分组分为左右两半( L 0 , R 0 L_0, R_0 L0,R0),经多轮迭代变换:
第 i i i轮: L i = R i − 1 L_i = R_{i-1} Li=Ri−1, R i = L i − 1 ⊕ F ( R i − 1 , K i ) R_i = L_{i-1} \oplus F(R_{i-1}, K_i) Ri=Li−1⊕F(Ri−1,Ki),其中 F F F为轮函数, K i K_i Ki为子密钥。
解密:与加密算法相同,但子密钥使用顺序相反(第 1 轮用 K n K_n Kn,最后一轮用 K 1 K_1 K1)。
关键参数
分组大小:越大安全性越高,但速度越慢;
密钥大小:越长安全性越高,但速度越慢;
轮数:多轮可提升安全性(单轮不足以抗攻击);
子密钥产生算法:复杂度越高,密码分析越难;
轮函数:复杂度越高,安全性越强。
数据加密标准(DES)
基本参数
分组长度:64 比特;密钥长度:56 比特(含 8 位奇偶校验位);轮数:16 轮。
结构:Feistel 网络,包含初始置换、16 轮迭代、逆初始置换。
加密流程
初始置换(IP):重排 64 比特明文,输出 32 比特左半( L 0 L_0 L0)和 32 比特右半( R 0 R_0 R0)。
轮变换:
扩展置换(E):将 32 比特 R i − 1 R_{i-1} Ri−1扩展为 48 比特(重复 16 个比特);
与 48 位子密钥 K i K_i Ki异或;
S 盒代换:8 个 S 盒(每个 6 输入 4 输出),将 48 比特压缩为 32 比特;
置换(P):重排 32 比特输出,作为轮函数 F F F的结果;
迭代: L i = R i − 1 L_i = R_{i-1} Li=Ri−1, R i = L i − 1 ⊕ F ( R i − 1 , K i ) R_i = L_{i-1} \oplus F(R_{i-1}, K_i) Ri=Li−1⊕F(Ri−1,Ki)。
逆初始置换(IP⁻¹):16 轮后交换左右两半,经 IP⁻¹ 输出 64 比特密文。
密钥产生
56 比特密钥经置换选择 1(PC1)分为 28 比特 C 0 C_0 C0和 28 比特 D 0 D_0 D0;
每轮左移(1 或 2 位,依轮数而定),经置换选择 2(PC2)产生 48 位子密钥 K i K_i Ki。
两个密钥(EDE 模式): C = E K 1 ( D K 2 ( E K 1 ( P ) ) ) C = E_{K1}(D_{K2}(E_{K1}(P))) C=EK1(DK2(EK1(P))),密钥长 112 比特;
三个密钥: C = E K 3 ( D K 2 ( E K 1 ( P ) ) ) C = E_{K3}(D_{K2}(E_{K1}(P))) C=EK3(DK2(EK1(P))),密钥长 168 比特,安全性更高。
差分密码分析与线性密码分析
差分密码分析
原理:通过分析明文对的差值( Δ X = X 1 ⊕ X 2 \Delta X = X_1 \oplus X_2 ΔX=X1⊕X2)对密文对差值( Δ Y = Y 1 ⊕ Y 2 \Delta Y = Y_1 \oplus Y_2 ΔY=Y1⊕Y2)的影响,恢复密钥。
核心概念:
r r r轮特征:差分序列 ( α 0 , α 1 , . . . , α r ) (\alpha_0, \alpha_1, ..., \alpha_r) (α0,α1,...,αr),其中 α 0 \alpha_0 α0为明文差分, α i \alpha_i αi为第 i i i轮输出差分;
概率: r r r轮特征的概率为各轮函数差分概率的乘积。
线性密码分析
原理:利用 “不平衡线性逼近”,寻找明文( P P P)、密文( C C C)、密钥( K K K)的线性方程 P [ i 1 , . . . , i a ] ⊕ C [ j 1 , . . . , j b ] = K [ k 1 , . . . , k c ] P[i_1,...,i_a] \oplus C[j_1,...,j_b] = K[k_1,...,k_c] P[i1,...,ia]⊕C[j1,...,jb]=K[k1,...,kc],通过已知明文对的统计偏差(概率≠1/2)确定密钥。
改进方法
包括高阶差分分析、不可能差分分析、多重线性分析、能量分析(针对硬件)等。
分组密码的运行模式
电码本模式(ECB)
特点:每个 64 比特明文分组独立用同一密钥加密,密文与明文一一对应(类似 “电码本”)。
优缺点:简单快速,但重复明文产生重复密文,易暴露统计特性,适合短数据(如密钥传输)。
密码分组链接模式(CBC)
特点:当前明文分组与前一密文分组异或后加密,即 C i = E K ( P i ⊕ C i − 1 ) C_i = E_K(P_i \oplus C_{i-1}) Ci=EK(Pi⊕Ci−1),首组需初始向量(IV): C 0 = E K ( P 0 ⊕ I V ) C_0 = E_K(P_0 \oplus IV) C0=EK(P0⊕IV)。
基于有限域 G F ( 2 8 ) GF(2^8) GF(28),元素表示为 8 次多项式(系数为 0/1),加法为异或,乘法模不可约多项式 m ( x ) = x 8 + x 4 + x 3 + x + 1 m(x) = x^8 + x^4 + x^3 + x + 1 m(x)=x8+x4+x3+x+1(十六进制 “11B”)。
轮函数
字节代换(SubBytes):通过 S 盒(非线性变换,先求 G F ( 2 8 ) GF(2^8) GF(28)逆元,再仿射变换)替换每个字节;
行移位(ShiftRow):第 0 行不动,第 1 行左移 1 位,第 2 行左移 2 位,第 3 行左移 3 位(依 N b N_b Nb调整);
列混合(MixColumn):每列视为 G F ( 2 8 ) GF(2^8) GF(28)上多项式,与固定多项式 c ( x ) = 03 x 3 + 01 x 2 + 01 x + 02 c(x) = 03x^3 + 01x^2 + 01x + 02 c(x)=03x3+01x2+01x+02模 x 4 + 1 x^4+1 x4+1相乘;
密钥加(AddRoundKey):状态与轮密钥逐比特异或。
最后一轮无 “列混合”。
密钥扩展
种子密钥扩展为 N b × ( N r + 1 ) N_b \times (N_r + 1) Nb×(Nr+1)个字(4 字节),通过循环移位、S 盒代换、轮常量异或生成子密钥。
线性变换( L L L): L ( B ) = B ⊕ ( B ≪ 2 ) ⊕ ( B ≪ 10 ) ⊕ ( B ≪ 18 ) ⊕ ( B ≪ 24 ) L(B) = B \oplus (B \ll 2) \oplus (B \ll 10) \oplus (B \ll 18) \oplus (B \ll 24) L(B)=B⊕(B≪2)⊕(B≪10)⊕(B≪18)⊕(B≪24),实现扩散;
合成变换( T T T): T ( X ) = L ( τ ( X ) ) T(X) = L(\tau(X)) T(X)=L(τ(X)),结合混淆与扩散。
加密流程
明文分为 4 个 32 比特子段 ( X 0 , X 1 , X 2 , X 3 ) (X_0, X_1, X_2, X_3) (X0,X1,X2,X3);
32 轮迭代: X i + 4 = X i ⊕ T ( X i + 1 ⊕ X i + 2 ⊕ X i + 3 ⊕ r k i ) X_{i+4} = X_i \oplus T(X_{i+1} \oplus X_{i+2} \oplus X_{i+3} \oplus rk_i) Xi+4=Xi⊕T(Xi+1⊕Xi+2⊕Xi+3⊕rki), r k i rk_i rki为轮密钥;
反序处理: ( Y 0 , Y 1 , Y 2 , Y 3 ) = ( X 35 , X 34 , X 33 , X 32 ) (Y_0, Y_1, Y_2, Y_3) = (X_{35}, X_{34}, X_{33}, X_{32}) (Y0,Y1,Y2,Y3)=(X35,X34,X33,X32)。
密钥扩展
由 128 比特密钥生成 32 个轮密钥,使用固定常数 F K FK FK和参数 C K CK CK,通过 T ′ T' T′变换(线性变换 L ′ L' L′替代 L L L)生成。
祖冲之密码(ZUC)
结构
三层逻辑:16 级线性反馈移位寄存器(LFSR)、比特重组(BR)、非线性函数(F)。
LFSR:16 个 31 比特寄存器,特征多项式为 G F ( 2 31 − 1 ) GF(2^{31}-1) GF(231−1)上的本原多项式,支持初始化(引入非线性函数输出)和工作模式。
比特重组:从 LFSR 抽取 128 比特,组成 4 个 32 比特字 ( X 0 , X 1 , X 2 , X 3 ) (X_0, X_1, X_2, X_3) (X0,X1,X2,X3)。
非线性函数:压缩 96 比特( X 0 , X 1 , X 2 X_0, X_1, X_2 X0,X1,X2)为 32 比特,含 S 盒(4 个 8×8 S 盒并行)和线性变换。