密码学基础（3）

有限状态自动机

有限状态自动机是具有离散输入和输出（输入集和输出集均有限）的一种数学模型，由以下3部分组成：
① 有限状态集S={ s_i| i=1,2,…,l }。
② 有限输入字符集A1={ A⁽¹⁾_j| j=1,2,…,m}和有限输出字符集A2={A⁽²⁾_k |k=1,2,…,n}。
③ 转移函数A⁽²⁾_k=f1(s_i, A⁽¹⁾_j )，s_h=f2(s_i, A⁽¹⁾_j)即在状态为s_i，输入为A⁽¹⁾_j时，输出为A⁽²⁾_k，而状态转移为s_h。

有限状态自动机可用有向图表示，称为转移图

转移图的顶点对应于自动机的状态，若状态s_i在输入A⁽¹⁾_i时转为状态s_j，且输出一字符A⁽²⁾_j，则在转移图中，从状态s_i到状态s_j有一条标有(A⁽¹⁾_i, A⁽²⁾_j)的弧线

如图所示，若输入序列为
A⁽¹⁾₁ A⁽¹⁾₂ A⁽¹⁾₁ A⁽¹⁾₃ A⁽¹⁾₃ A⁽¹⁾₁
初始状态为s₁，

则，得到状态序列：
s₁s₂s₂s₃s₂s₁s₂
输出字符序列：
A⁽²⁾₁ A⁽²⁾₁ A⁽²⁾₂ A⁽²⁾₁ A⁽²⁾₃ A⁽²⁾₁

密钥流产生器

密钥流产生器: 参数为k的有限状态自动机， 一个输出符号集Z、一个状态集∑、两个函数φ和ψ以及一个初始状态σ₀组成。
状态转移函数φ:σ_i→σ_i+1，将当前状态σ_i变为一个新状态σ_i+1。
输出函数ψ:σ_i→z_i，当前状态σ_i变为输出符号集中的一个元素z_i。
大致如图：

关键在于：找出适当的状态转移函数φ和输出函数ψ，使得输出序列z满足密钥流序列z应满足的随机性条件，并且要求在设备上是节省的和容易实现的。
一般采用线性的φ和非线性的ψ，这样将能够进行深入的分析并可以得到好的生成器。