论文部分内容阅读
Trivium是进入到eSTREAM计划最终方案的一个序列密码体制，而在其初始化过程中存在可滑动对。SAT求解器可以有效地求解非线性方程组，然而一般的SAT求解器在求出一个解之后便会结束。对MiniSAT求解器中的算法进行改进，使之可以得出方程所有解。将改进的算法应用于Trivium中可滑动对的求解，得到了初始化拍数从111到120的所有可滑动对。相比于使用Grobner基方法，求解效率有了极大的提高。