【摘 要】
：
对于分组密码,不可能差分和零相关线性分析都是很重要的分析手段.通过研究非线性组件与(AND)的性质,首先得到用于刻画SIMON轮函数差分及线性传播特性的约束式,再基于布尔可满
【机 构】
：
解放军信息工程大学,数学工程与先进计算国家重点实验室（解放军信息工程大学）
【基金项目】
：
数学工程与先进计算国家重点实验室开放基金（2018A03）, 国家密码发展基金（MMJJ20180203）, 信息保障技术重点实验室开放基金（KJ-17-002）
论文部分内容阅读
对于分组密码,不可能差分和零相关线性分析都是很重要的分析手段.通过研究非线性组件与(AND)的性质,首先得到用于刻画SIMON轮函数差分及线性传播特性的约束式,再基于布尔可满足约束问题(SAT),提出一种普适性不可能差分和零相关路径自动化搜索算法,并利用该算法搜索得到SIMON更多的不可能差分及零相关路径.除用于自动化搜索外,该算法还可判断特定的差分对(掩码对)是否能构成一条有效不可能差分和零相关路径.此外,基于该算法,从抵抗不可能差分攻击的角度出发,给出SIMON轮函数设计中循环移位常数的选取依据.
其他文献
走进延川县，大片平整后的土地和如火如荼的建设热潮扑面而来，不时有经过的市民停下脚步，讨论一下这未来的新城镇。伴随着“加快发展、转型发展”号角声，一个全新的延川县正在城乡
提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论
1995年10月12～13日,山西省性学会成立大会暨学术会议在太原市职工医学院堂召开。朱坚教授任理事长,李秀莲等8位同志任副理事长杜武成任秘书长。山西省人文教委员会主任俞益生
防雷装置的检测，验收、执法都是气象局，就像打官司时被告、律师，法官同为一人或者高考时考生、监考、阅卷同为一人一样，能得到客观、真实、准确和公平的结果吗? 防雷检测市场这个诱人的蛋糕一直被众多民营企业所关注，但陕西省气象局的垄断经营使得这些企业没有了品尝蛋糕的机会。本刊在2009年6月刊发《西安防雷检测市场期待开放》一文，报道了在陕一家企业(陕西万基防雷检测中心)在得到了质监部门和建设部门的防
由于女性生理和解剖的特点,清洗外阴历来是她们保持外阴清洁的一种卫生习惯。但是既往采用的就厕后用手纸揩擦,就寝前用浴盆清洗的做法,都有不少弊病。这不仅仅因为手纸、盆
针对传统容错方法在融合网络环境下服务组合的低效性,提出了一种快速可靠的服务组合容错方法.该方法首先采用模糊逻辑对服务的临时性故障进行服务重试;然后采用多属性决策理
目的探讨急诊输尿管镜下U100双频双脉冲激光碎石治疗因输尿管中下段结石梗阻引起急性肾绞痛的临床疗效。方法对176例因输尿管中下段结石梗阻导致急性肾绞痛的患者采用急诊输
我国著名心理学家、教育家、首都师范大学教育系教授、博士生导师、中国民主同盟盟员、中国共产党党员林传鼎教授,因病于1996年3月11日在北京逝世,享年82岁。林先生,1938年毕
艾滋病是以特异性免疫功能受损为主要特点的全身性传染病，免疫损害和免疫功能不全是其主要特点。临床表现为四大主症：发热、腹泻、口腔霉菌感染f口腔溃疡）和皮疹。2005年1月至20
目的分析宝安区孕产妇系统保健管理工作状况，为进一步做好特区妇幼保健工作提供决策依据。方法对宝安区2001年10月-2005年9月孕产妇系统保健工作进行统计分析。结果2001年10月