【摘 要】
：
针对LEA轻量级密码算法的结构,提出一种比特级可分性的混合整数线性规划(MILP)新模型及积分区分器的自动化搜索方法。该方法利用异或、级联和复制等基本运算规则,引入了一些中间变量来刻画模加运算规则,并结合算法的S盒及扩散部件特征构建可分性MILP新模型。进一步地基于该模型,给出了LEA分组密码算法的高轮自动化搜索方法,并通过利用Gurobi优化求解器搜索,捕获了该算法的10轮及11轮积分区分器,其中的10轮积分区分器需要2125选择明文数据量,而11轮积分区分器则需要212
【机 构】
：
桂林电子科技大学计算机与信息安全学院,密码科学技术国家重点实验室
【基金项目】
：
广西重点研发项目(AB18281019),密码科学技术国家重点实验室开放课题(2019-8)。
论文部分内容阅读
针对LEA轻量级密码算法的结构,提出一种比特级可分性的混合整数线性规划(MILP)新模型及积分区分器的自动化搜索方法。该方法利用异或、级联和复制等基本运算规则,引入了一些中间变量来刻画模加运算规则,并结合算法的S盒及扩散部件特征构建可分性MILP新模型。进一步地基于该模型,给出了LEA分组密码算法的高轮自动化搜索方法,并通过利用Gurobi优化求解器搜索,捕获了该算法的10轮及11轮积分区分器,其中的10轮积分区分器需要2125选择明文数据量,而11轮积分区分器则需要212
其他文献
针对简单非迭代聚类(SNIC)算法不能较好贴合图像中目标边缘的缺陷,提出了一种多特征非迭代超像素分割(MNSS)算法。在特征提取上,利用高斯卷积在Lab颜色空间上对每个像素点求出其水平和垂直方向的颜色梯度特征,通过对像素点进行腐蚀和膨胀操作,得到像素点形态学轮廓特征,在不丢失梯度特征表示的同时,增强算法边缘命中率。基于SNIC算法非迭代聚类框架,依赖于像素点间的颜色、空间、颜色梯度、形态学轮廓特征
高尿酸血症是尿酸在体内生成过多或排泄不足引发的疾病,也是痛风形成与发展的关键因素,日益增加的患者使其逐渐受到研究者的关注.临床治疗药物虽能控制部分病情但仍有各种不
起搏电极固定于心内膜时,对心肌产生局灶性损伤,在腔内电图上可记录到损伤电流,不同的起搏电极导线(主动、被动电极,埋藏式心脏转复除颤器电极导线,无导线起搏器电极)、不同
目的观察三种类型埋藏式心脏转复除颤器(ICD)(A+-ICD、单腔ICD和双腔ICD)识别室性心律失常事件的准确性。方法回顾性分析植入ICD的患者113例,根据ICD型号不同分为A+-ICD组(n=39),单腔ICD组(n=38),双腔ICD组(n=36)。通过ICD程控随访收集患者心律失常事件。结果 1年随访时间内A+-ICD组有14例、双腔ICD组有8例发作阵发性心房颤动。A+-ICD组26例共记录1147次快速型心律失常事件,207次(100%)被正确识别为室性心动过速(简称室速)或心室颤动(简称室
针对多基线InSAR高程重建方法鲁棒性不强的问题,提出了一种结合边缘检测的扩展卡尔曼滤波多基线InSAR高程重建方法。该方法利用最大似然高程反演算法获得地形的粗略高程,并进行滤波处理,再通过sobel算子提取地形的不连续边界,在连续区域用扩展卡尔曼滤波相位展开算法进行高程重建,在不连续边界区域用基于全变分(TV)的最大后验算法进行高程重建。该方法将单基线与多基线InSAR高程重建技术的优点结合起来,提高了算法的鲁棒性。通过2组仿真实验结果验证了该方法的有效性。
固体剂型连续制造(CM)中,物料通过完全集成设备的装配线,节省操作时间并降低人为错误发生的可能性,已逐渐发展成为药物产品的优选平台。欧美药品监督管理机构已批准了数个商业化连续生产的药品,其生产工艺控制策略的要素是采用科学框架来寻找降低制造过程发生变异的风险。过程分析技术(PAT)监控方法可实时控制产品质量,促进制造的持续改进和创新,从而实现先进过程控制和产品的实时放行。其最终目标是以更高效和更低的成本将更安全的药品迅速推向市场,实现制药工业4.0数据化及过程控制系统集成的目标。本文探讨了过程分析技术在实施
目的评价抗心动过速起搏(rATP)干预心房高频事件的有效性。方法研究对象为符合起搏器植入指征、置入DDDRP起搏器(Medtronic,A3DR01)同时合并心房颤动(AF)的患者49例,依据其起搏器植入指征分为病窦综合征(SSS)组和房室传导阻滞(AVB)组两组,rATP功能在置入术后1个月随访时打开,记录房性心动过速(AT)/AF负荷基线值,3个月后再次随访记录AT/AF负荷,比较在rATP功能开启前后患者AF/AT负荷的差异;rATP降低AT/AF负荷的患者有效率;rATP终止AT/AF事件的有效率
Micra无导线起搏器具有与Medtronic传统的单腔心脏起搏器不完全相同的心室自动阈值管理功能,笔者通过近20例Micra植入者的动态心电图分析,发现该功能运作在动态心电图及起搏Lorenz-RR散点图上有特征性的表现,尤其通过散点图逆向回放技术能快速识别。
为了在宽温度范围内得到较低温漂系数的输出电压,设计了一种电压补偿模式结构的高精度基准电压源,采用栅源电压差分对作差的方式对该基准电压进行温度补偿。MOS管线性区电阻在工作在亚阈值区的2个MOS管的栅源电压差作用下,产生温漂系数较低的偏置电流,通过不同标准电压下的晶体管产生基准电压。基于180 nm CMOS器件模型,在cadence上对电路进行设计仿真和对比分析。结果表明,在温度为-25~150℃时,温度系数为3.91 ppm/℃;在1.3~3.3 V电源电压范围内,电压调整率达到0.58%;在100 H
针对现有多站时差分选方法无法处理失配脉冲信号导致漏警率高的问题,提出了一种基于数据场聚类与时差的雷达信号分选方法。首先对各接收站截获的雷达脉冲进行配对,完成多站时差分选;然后利用数据场剔除失配脉冲集合中的干扰脉冲,获得聚类数目和初始聚类中心;最后利用K-means算法计算脉冲到各个聚类中心的欧式距离,并将其划分到距离最近的聚类中心所在的脉冲集合中,完成最终分选。仿真结果表明,与现有多站时差分选方法相比,该方法可有效处理只能被单部接收站截获的失配脉冲,其漏警率降低了30.30%,脉冲处理正确率提高了25.0