首 页
学术站点
知识要闻
国际动态
人 物
研招资料
会议中心
学术指南
课 件
知 识 库
所有栏目
学术站点
知识要闻
国际动态
人物
研招资料
会议中心
学术指南
课件
知识库
所有学科
数学
物理学
中国语言
生物学
地理学
马克思主义
民族学
应用经济学
计算机科学技术
标题
作者
关键词
摘要
正文
单位
网址
任意词
军事学
>>>
军事学
>>>
军事理论
军事史
军事心理学
战略学
战役学
战术学
军队指挥学
军制学
军队政治工作学
军事后勤学
军事地学
军事技术
军事学其他学科
军事学其他学科
搜索结果:
1-1
共查到
“
军事学 MiniSAT
”
相关记录1条 . 查询时间(0.041 秒)
冗余方程对基于
Minisat
的代数攻击影响
代数攻击
非线性方程组
冗余方程
CTC算法
2010/1/13
分析基于
Minisat
软件的代数攻击方法,发现由该代数攻击方法对某些密码算法所建立的方程组中存在冗余方程,研究去除所有冗余方程的预处理方法,基于该方法提出先去除冗余方程,再利用
Minisat
软件求解无冗余方程组的代数攻击方法。实验结果表明,对CTC算法,新的攻击方法的攻击时间平均缩短了1/2,冗余方程的存在降低了基于
Minisat
软件的代数攻击的效率。
存档文本
存档附件
原文地址
文献传递
中国研究生教育排行榜
-
条
正在加载...
中国学术期刊排行榜
-
条
正在加载...
世界大学科研机构排行榜
-
条
正在加载...
中国大学排行榜
-
条
正在加载...
人 物
-
篇
正在加载...
课 件
-
篇
正在加载...
视听资料
-
篇
正在加载...
知识库
-
篇
正在加载...
研招资料
-
篇
正在加载...
知识要闻
-
篇
正在加载...
国际动态
-
篇
正在加载...
会议中心
-
篇
正在加载...
学术指南
-
篇
正在加载...
学术站点
-
篇
正在加载...