非线性组合模型就是多个线性反馈移存器(LFSR)为一个非线性变换提供输入变量

每个 LFSR 为 提供一个位的输入。只要输入向量序列平衡且周期很大,乱数序列 也很可能平衡且周期很大。
例:Geffe 生成器

控制-选择变换:通过 控制输出 或 。
要求:三个输入均为本原且级数互不相同。
该乱数序列是平衡的,且其周期是三个输入 LFSR 的周期乘积。
定理3.5.3
设非线性组合模型由 个本原 LFSR 组成,它们的级数 两两不同且都大于 2,其非线性组合函数是代数正规型(二元域上的多元多项式函数表示),表示为 的布尔函数,则乱数序列的线性复杂度为 。
其中 的运算是将 中的模 2 加和乘法都换成整数~和~。
则 Geffe 生成器的线性复杂度为 。
代数正规型的计算方法
Boole 函数的代数正规型表示:
。
:
向量 的重量:
定理3.5.4
设 是代数正规型表示,定义 (逐比特与运算)。则 都有
特别地,有
再限定
(等价于 )
此时,
推论
设 ,且 元 Boole 函数是平衡的,则其次数 。
分割攻击
先攻击一部分密钥比特,再借此攻击其他密钥比特。
相关攻击
借助乱序与部分 LFSR 输出序列之间的相关性,先攻击一个或数个 LFSR 的初态,然后再借此攻击其他 LFSR 的初态。
例:分割攻击 Geffe 生成器

如何对抗这种攻击?
使少量 LFSR 输出与乱数不存在相关性(相互独立)。
m阶相关免疫函数
定义3.5.3
其本质在于不可能利用输出获取任何 个输入变量组的信息。
例: 阶免疫函数
定理3.5.4
(实际上也) 取零概率减取一概率,用全概率公式可转 Walth 谱)
定理3.5.5
。
证明上,令 即 中 0 的个数,,则 。