双侧停走生成器的概率模型

该文首次建立了双侧停走生成器（Bilateral Stop／Go Generator）的概率模型，研究了模型中作为钟控函数输入的中间状态序列的马氏性、遍历性及严平稳性等概率性质，得到了生成器输出序列中0，1分布是不平衡的结论，由此指出不能将这种生成器直接作为密钥流生成器；给出了生成器输出序列和相应的LFSR输出序列之间的符合率以及一阶差分序列之间的符合率；证明了生成器输出序列满足强大数定律和中心极限定理。