利用一种SAT问题全解算法求Trivium可滑动对

• 作者: 戚文峰 戴江海
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: SAT问题 MiniSAT 序列密码 Trivium 可滑动对
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 数学与信息安全
• 页码范围: 1-7
• 分类号: TN918.1
• 字数: 6156字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2012.01.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戚文峰	信息工程大学信息工程学院	45	91	5.0	8.0
2	戴江海	信息工程大学信息工程学院	1	1	1.0	1.0