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

来源 :计算机工程 | 被引量 : 0次 | 上传用户:a4253272566
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分析基于Minisat软件的代数攻击方法,发现由该代数攻击方法对某些密码算法所建立的方程组中存在冗余方程,研究去除所有冗余方程的预处理方法,基于该方法提出先去除冗余方程,再利用Minisat软件求解无冗余方程组的代数攻击方法。实验结果表明,对CTC算法,新的攻击方法的攻击时间平均缩短了1/2,冗余方程的存在降低了基于Minisat软件的代数攻击的效率。
其他文献
英语影视欣赏教学中存在着教学目标和学生目标双重迷失的困境。走出困境的途径是采用不同教学目标为目的的两种教学方式,一是以语言教学为主,以提高学生英语视听说能力为目标;二
使用BP算法求解效用最大化问题时,容易产生大量冗余计算。为此,对标准BP算法进行优化,在推理过程中,对一些受限定条件影响较小的结点,直接利用前次推理结果,无需重新计算其边
<正> 选择菇型大而好、健壮无病虫害的平菇子实体。经表面消毒后,放在无菌的厚纸上,使子实体菌褶向下,在通风条件下经过12—24小时,等子实体放出孢子后,将纸折叠起来,风干,放
目的评价个案管理在护理本科社区护理课程中的应用效果。方法在《社区护理学》课程中引入个案管理,针对孕产期、婴幼儿期、成人期、老年期设定不同个案及相应情境,使用杰弗逊
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
本文分析了流行与审美的概念,以及影响两者的因素,着重论述了流行与审美二者的关系及其对现代设计产品趋势的影响,试图通过对现代审美趋势及设计产品特性的分析找到未来设计
针对中学生的体育教学现状,从理论分析出发,运用体育管理的有关知识,阐述了定向越野的实际意义,分析了在中学体育课中开设定向越野校本课程所应具备的条件,并阐述实际教学中
20世纪80年代,日本经过连续18年经济高速高质量的增长,多年累积的对外贸易顺差,与欧美的贸易摩擦日益加剧,加之日元的大幅度升值,以及日本国内迫切提升产业结构的需要,其对外直接投
针对网络电视业务的802.11无线局域网数据传输问题,提出一种视频流组播优化机制,基于视频帧区分的方法,对关键帧I帧采用可靠组播机制传输,对非关键的B帧和P帧采用组播机制传
摘要:信息技术的高速发展,给各行各业的发展提供了新动力。近年来,高校审计档案管理工作的信息化水平也越来越高,审计档案管理在高校决策与发展方面表现出了更加明显的优势。本文通过对信息化下的高校审计档案管理工作的反思,分析了当前高校审计档案管理存在的不足,并提出相应的提升路径,以期能够促进高校审计档案管理的信息化质量,更好促进高校的发展。  关键词:信息化;高校;审计档案管理;提升路径  审计档案是高校