【摘 要】
：
自动化分析是当前对密码算法进行安全性评估的重要方法之-,具有高效、易实现的特点.对面向位的分组密码,自从S u n 等人在2 0 1 4年亚洲密码年会上提出基于M I L P 问题的差
【机 构】
：
数学工程与先进计算国家重点实验室（中国人民解放军信息工程大学）,中国科学院信息工程研究所,中国科学院大学,国防科学技术大学,陆军航空兵学院
论文部分内容阅读
自动化分析是当前对密码算法进行安全性评估的重要方法之-,具有高效、易实现的特点.对面向位的分组密码,自从S u n 等人在2 0 1 4年亚洲密码年会上提出基于M I L P 问题的差分和线性自动化搜索方法,该方法受到了许多密码学者的关注.目前,针对求解多轮密码算法M I L P 模型,如何减少变量和约束不等式的研究工作相对较少,还有很多问题有待解决.根据异或操作的差分传播模式,在2 0 1 7 年欧洲密码年会上,S a s a k i 等人给出了不带假设变量的新约束不等式,该约束不等式在降低变量和约束数
其他文献
多种因素导致的基因差异性表达与疾病的发生发展密切有关，分离差异表达基因，对于研究细胞生命过程的调节机制及致病机制具有重要意义．20世纪90年代以来，先后出现了mRNA差异显示PC
1临床资料我院自2003-03／2006—11，在颈后路减压术中采用侧块钢板内固定加植骨术治疗各种颈椎伤病21（男11，女10）例．平均年龄37（18—62）岁；各种颈椎损伤12例：其中颈椎骨折7例（C5 3例，C52例
随着社交网络、交通网络、生物信息网等领域的分析需求快速增长,大规模图数据的处理逐渐成为信息技术领域新的挑战.近似覆盖图技术可以通过选取原图的子图,同时保证子图中任
10月29日，由呼市科技局主办、呼市生产力促进中心承办的“呼市技术市场业务工作培训班”开班，自治区技术市场管理办公室副主任林字光，呼市知识产权局局长聂向东，各旗县区科技局技
挖掘隐藏在异质信息网络中丰富的语义信息是数据挖掘的重要任务之一.离群点在值、数据分布、和产生机制上都明显不同于正常数据对象.检测离群点并分析其不同的产生机制,最终
1临床资料 2型糖尿病周围神经病患者82例，分为两组，A组41例，男14例，女27例，年龄42～72（平均60）岁，病程0.5～20（平均12）a，主要症状为四肢不同程度麻木、疼痛、肢端发冷、足背动脉搏动减弱，部分
目的：对社会适应心理过程理论进行初步验证．方法：根据社会适应心理过程理论自编调查问卷并建构了2个可能模型．模型包含了社会适应心理过程的4个环节及相互因果关系．2个模型的主要
正弦稳态电路分析一般采用相量法进行电路特性的分析。相量法用复数把电压电流有效值和相位二要素融合一体，而电压电流的相位关系是正弦稳态电路的难点、文章基于虚拟仿真的软
近日，依托北京工业大学组建的北京市数字化医疗3D打印下程技术研究中心在“基于3D打印的颌面肿瘤病灶重构技术”上取得新进展，并将其应用到肿瘤冶疗中。
O 引言 我院1998-03／2006-05行腹腔镜各种手术1200余例，在腹腔镜下进行多脏器联合切除术26例，占同期腹腔镜手术的2．167％，治疗体会报道如下．1 临床资料 本组26（男9，女17）例．年龄16～64（平均3