【摘 要】
：
对于分组密码,不可能差分和零相关线性分析都是很重要的分析手段.通过研究非线性组件与(AND)的性质,首先得到用于刻画SIMON轮函数差分及线性传播特性的约束式,再基于布尔可满
【机 构】
：
解放军信息工程大学,数学工程与先进计算国家重点实验室（解放军信息工程大学）
【基金项目】
：
数学工程与先进计算国家重点实验室开放基金（2018A03）, 国家密码发展基金（MMJJ20180203）, 信息保障技术重点实验室开放基金（KJ-17-002）
论文部分内容阅读
对于分组密码,不可能差分和零相关线性分析都是很重要的分析手段.通过研究非线性组件与(AND)的性质,首先得到用于刻画SIMON轮函数差分及线性传播特性的约束式,再基于布尔可满足约束问题(SAT),提出一种普适性不可能差分和零相关路径自动化搜索算法,并利用该算法搜索得到SIMON更多的不可能差分及零相关路径.除用于自动化搜索外,该算法还可判断特定的差分对(掩码对)是否能构成一条有效不可能差分和零相关路径.此外,基于该算法,从抵抗不可能差分攻击的角度出发,给出SIMON轮函数设计中循环移位常数的选取依据.
其他文献
走进延川县，大片平整后的土地和如火如荼的建设热潮扑面而来，不时有经过的市民停下脚步，讨论一下这未来的新城镇。伴随着“加快发展、转型发展”号角声，一个全新的延川县正在城乡
提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论
防雷装置的检测，验收、执法都是气象局，就像打官司时被告、律师，法官同为一人或者高考时考生、监考、阅卷同为一人一样，能得到客观、真实、准确和公平的结果吗? 防雷检测市场这个诱人的蛋糕一直被众多民营企业所关注，但陕西省气象局的垄断经营使得这些企业没有了品尝蛋糕的机会。本刊在2009年6月刊发《西安防雷检测市场期待开放》一文，报道了在陕一家企业(陕西万基防雷检测中心)在得到了质监部门和建设部门的防
针对传统容错方法在融合网络环境下服务组合的低效性,提出了一种快速可靠的服务组合容错方法.该方法首先采用模糊逻辑对服务的临时性故障进行服务重试;然后采用多属性决策理
目的探讨急诊输尿管镜下U100双频双脉冲激光碎石治疗因输尿管中下段结石梗阻引起急性肾绞痛的临床疗效。方法对176例因输尿管中下段结石梗阻导致急性肾绞痛的患者采用急诊输