本文主要研究求解R₂中布尔多项式方程组的吴特征列方法及其在流密码分析中的应用。具体工作包括下面三部分。我们首次给出布尔多项式的吴特征列方法,包括整序原理与零点分解定理。由于布尔多项式的特殊性,我们的给出的特征列方法与一股的特征列方法相比。具有以下优点。（1）我们给出分离首一零点分解定理,由此可以得到方程组解的个数的明确的表示公式。（2）我们证明了改进的整序原理可以在n步内终止,其中n是变量个数。（3）我们给出了只需要多项式加法的零点分解算法,有效地控制了算法对于空间的需求。我们系统地实现了所提的特征列方法,并通过使用分支-空间平衡原则、SZDD、并行化等技巧,得到求解布尔多项式组的高效软件。我们引进了求解方程组的分支-空间平衡原则,即在充分利用现在计算机内存的前提下,将方程组化简为一些更容易求解的子问题,并以此为基础给出了特征列算法的多种形式。我们给出了特征列方法的并行实现与基于SZDD的实现,大大提高了程序的效率、压缩了需要占用的内存空间。我们用特征列方法分析了一类基于非线性寄存器的流密码。通过对变量个数从40到128的问题进行的大量的实验,说明我们的方法是有效的。我们分析了这类布尔多项式方程组的解的个数与方程个数的关系,得到方程组有唯一解的一些实验结果。