冗余方程对基于Minisat的代数攻击影响

• 作者: 卜凡
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 代数攻击 非线性方程组 冗余方程 CTC算法
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 安全技术
• 页码范围: 177-180
• 页数: 4页
• 分类号: TN918.1
• 字数: 6089字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.01.061

摘要

分析基于Minisat软件的代数攻击方法,发现由该代数攻击方法对某些密码算法所建立的方程组中存在冗余方程,研究去除所有冗余方程的预处理方法,基于该方法提出先去除冗余方程,再利用Minisat软件求解无冗余方程组的代数攻击方法.实验结果表明,对CTC算法,新的攻击方法的攻击时间平均缩短了1/2,冗余方程的存在降低了基于Minisat软件的代数攻击的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卜凡	解放军信息工程大学电子技术学院	2	11	1.0	2.0