10.3969/j.issn.1000-3428.2010.01.061
冗余方程对基于Minisat的代数攻击影响
分析基于Minisat软件的代数攻击方法,发现由该代数攻击方法对某些密码算法所建立的方程组中存在冗余方程,研究去除所有冗余方程的预处理方法,基于该方法提出先去除冗余方程,再利用Minisat软件求解无冗余方程组的代数攻击方法.实验结果表明,对CTC算法,新的攻击方法的攻击时间平均缩短了1/2,冗余方程的存在降低了基于Minisat软件的代数攻击的效率.
代数攻击、非线性方程组、冗余方程、CTC算法
36
TN918.1
2010-03-26(万方平台首次上网日期,不代表论文的发表时间)
共4页
177-180