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

A Probabilistic Model of the Bilateral Stop/Go Generator

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

The probabilistic models for the bilateral stop/go generator are established. The properties such as Markov property, ergodic property and stationarity of the internal state sequence are studied. It is proved that the distributions of 0 and 1 in the output sequence are imbalanced, which implies that this generator can not be used as keystream generator directly. The rate of coincidence between the output sequence and corresponding LFSR sequences, together with their first derivatives are analyzed. The limit properties of the output sequence are also considered.