| 利用一种SAT问题全解算法求Trivium可滑动对 |
| |
| 引用本文： | 戴江海,戚文峰.利用一种SAT问题全解算法求Trivium可滑动对[J].信息工程大学学报,2012,13(1):1-7. |
| |
| 作者姓名： | 戴江海 戚文峰 |
| |
| 作者单位： | 信息工程大学信息工程学院,河南郑州450002 |
| |
| 基金项目： | 基金项目：国家自然科学基金资助项目（60833008,61070178） |
| |
| 摘 要： | Trivium是进入到eSTREAM计划最终方案的一个序列密码体制，而在其初始化过程中存在可滑动对。SAT求解器可以有效地求解非线性方程组，然而一般的SAT求解器在求出一个解之后便会结束。对MiniSAT求解器中的算法进行改进，使之可以得出方程所有解。将改进的算法应用于Trivium中可滑动对的求解，得到了初始化拍数从111到120的所有可滑动对。相比于使用Grobner基方法，求解效率有了极大的提高。
|
| 关 键 词： | SAT问题 MiniSAT 序列密码 Trivium 可滑动对 |
All Solution SAT Algorithm for Finding Slid Pairs in Trivium |
| |
| DAI Jiang-hai,QI Wen-feng.All Solution SAT Algorithm for Finding Slid Pairs in Trivium[J].Journal of Information Engineering University,2012,13(1):1-7. |
| |
| Authors: | DAI Jiang-hai QI Wen-feng |
| |
| Affiliation: | (Institute of Information Engineering, Information Engineering University, Zhengzhou 450002, China) |
| |
| Abstract: | It＇s an efficient method to solve non-linear multivariate equations by converting them into a conjunctive normal form satisfiability （CNF-SAT） problem, and solving this problem with a SAT solver. However, a normal SAT solver will terminate once a solution is found. This paper presents an improved MiniSAT solver algorithm, which can find out all satisfying solutions By leveraging this improved algorithm to calculate slid pairs in Trivium, a stream cipher in the final list of the eS- TREAM project, all slid pairs are found out for clock shifts number rangeing from lllto 120. |
| |
| Keywords: | SAT MiniSAT stream cipher Trivium slid pair |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《信息工程大学学报》浏览原始摘要信息 |
|
点击此处可从《信息工程大学学报》下载全文 |
