29、密码分析中的猜测确定技术与Autoguess工具

密码分析中的猜测确定技术与Autoguess工具

1. 密码建模与连接关系

在密码分析中，我们可以使用连接关系来对密码进行建模。对于变量 (x_0, x_1, \cdots, x_{n - 1}, y \in F_2^n)，不同的运算对应着不同的连接关系，具体如下表所示：

方程或前提条件	连接关系
异或：(y = \sum_{i = 0}^{n - 1} x_i)	([x_0, \cdots, x_{n - 1}, y])
与：(y = \prod_{i = 0}^{n - 1} x_i)	(x_0, \cdots, x_{n - 1} \Rightarrow y)
模加：(y = \boxplus_{i = 0}^{n - 1} x_i)	([x_0, \cdots, x_{n - 1}, y])
S - 盒：(y = F(x))，其中 (F: F_2^n \to F_2^n)	([x, y])
拼接：(x = x_0 \parallel \cdots \parallel x_{n - 1})	(x_0, \cdots, x_{n - 1} \Righta