方略学科导航

搜索结果: 1-1 共查到“军队指挥学 MiniSAT”相关记录1条 . 查询时间(0.062 秒)

冗余方程对基于Minisat的代数攻击影响代数攻击非线性方程组冗余方程 CTC算法 2010/1/13

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