期刊文献+
共找到150篇文章
< 1 2 8 >
每页显示 20 50 100
基于MILP算法的风光水火储多电源协同配置优化研究
1
作者 马骏 《中国煤炭》 北大核心 2025年第7期71-85,共15页
随着新能源大基地的规模化开发以及跨区域外送通道的持续完善,含高比例可再生能源的电力系统面临风光水火与储能协同优化配置的难题。针对传统启发式算法在多能源联合电源优化配置中存在的寻优效率低、精度不足等问题,创新提出了基于混... 随着新能源大基地的规模化开发以及跨区域外送通道的持续完善,含高比例可再生能源的电力系统面临风光水火与储能协同优化配置的难题。针对传统启发式算法在多能源联合电源优化配置中存在的寻优效率低、精度不足等问题,创新提出了基于混合整数线性规划(MILP)的风光水火储联合电源优化配置模型。该模型通过引入松弛变量将复杂约束条件标准化,采用基变量迭代更新策略压缩可行解空间,最终实现多电源出力的全局最优配置。通过9个抽水蓄能机组、9个电化学机组及不同装机容量下的风光水火的多情景仿真模拟,系统分析火电机组燃煤成本、新能源弃电量与抽水蓄能装机容量之间的影响机制。结果表明,随着抽水蓄能装机容量的增加,新能源弃电量、火电装机容量和煤耗均呈下降趋势。但抽水蓄能装机容量与系统总费用现值呈非线性关系,存在一个最优配置规模,根据2030年青海电网各电源和特高压路线的建设规划,抽水蓄能合理需求规模(经济规模)在800万~1200万kW之间较为合理。同时根据抽水蓄能与电化学储能的对比分析可知,抽水蓄能在一定规模范围内具有更好的经济效益,当抽水蓄能装机容量达到1200万kW时,其容量效益与边际成本达到最优平衡点,超过该阈值后,抽水蓄能的容量效益衰减速率加快,叠加电化学储能技术成本下降的影响,导致系统总成本呈现上升趋势。综上所述,抽水蓄能在平抑风电波动、优化火电和新能源运行经济性方面具有显著效果,且不同抽水蓄能配置方案下的调节特性存在明显差异。该模型验证了其在协调新能源大基地出力特性、外送通道输送、水资源约束与储能调节能力方面的有效性,为“源网荷储”一体化系统的电源优化配置提供了高效解决方案。 展开更多
关键词 混合整数线性规划(milp)仿真模拟 风光水火储 协同配置 多约束多目标优化
在线阅读 下载PDF
基于MILP的MGFN全轮差分分析及改进
2
作者 李艳俊 毕鑫杰 +1 位作者 项勇 林怡平 《计算机应用研究》 CSCD 北大核心 2024年第3期911-915,922,共6页
研究了轻量级分组密码MGFN算法的抗差分分析能力并提出了改进方法。首先,基于MILP工具对MGFN算法建模,搜索迭代差分并构造了全轮差分路径,整体差分概率为2-40,远远大于随机置换的差分概率。然后,给出S盒的差分分支数概念并将其作为衡量... 研究了轻量级分组密码MGFN算法的抗差分分析能力并提出了改进方法。首先,基于MILP工具对MGFN算法建模,搜索迭代差分并构造了全轮差分路径,整体差分概率为2-40,远远大于随机置换的差分概率。然后,给出S盒的差分分支数概念并将其作为衡量差分安全性的指标,以新S盒替代原MGFN算法的S盒,并修改了密钥扩展算法,提出新的MGFN-P算法。最后,通过差分路径搜索和分析比较,说明了MGFN-P算法比原MGFN算法更安全、高效。 展开更多
关键词 MGFN 轻量级分组密码 milp 差分分析 分支数
在线阅读 下载PDF
分组密码复杂线性层可分性传播的MILP刻画方法 被引量:3
3
作者 黄明 张莎莎 +2 位作者 洪春雷 曾乐 向泽军 《软件学报》 EI CSCD 北大核心 2024年第4期1980-1992,共13页
混合整数线性规划(MILP)作为一种自动化搜索工具,被广泛地应用于搜索分组密码的差分、线性、积分等密码性质.提出一种基于动态选取策略构建MILP模型的新技术,该技术在不同的条件下采用不同的约束不等式刻画密码性质的传播.具体地,从可... 混合整数线性规划(MILP)作为一种自动化搜索工具,被广泛地应用于搜索分组密码的差分、线性、积分等密码性质.提出一种基于动态选取策略构建MILP模型的新技术,该技术在不同的条件下采用不同的约束不等式刻画密码性质的传播.具体地,从可分性出发根据输入可分性汉明重量的不同,分别采用不同的方法构建线性层可分性传播的MILP模型.最后,将该技术应用于搜索uBlock和Saturnin算法的积分区分器.实验结果表明:对于uBlock128算法,该技术可以搜索到比之前最优区分器多32个平衡比特的8轮积分区分器.除此之外,搜索到uBlock128和uBlock256算法比之前最优区分器更长一轮的9和10轮积分区分器.对于Saturnin256算法,同样搜索到比之前最优区分器更长一轮的9轮积分区分器. 展开更多
关键词 混合整数线性规划 可分性 线性层 汉明重量 积分区分器
在线阅读 下载PDF
多产品批处理过程调度的MILP建模 被引量:1
4
作者 陈昌领 袁德成 邵惠鹤 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第8期1132-1137,共6页
基于时间间隙的概念和连续时间描述 ,将设备、产品分配给时间间隙分别表达为两类 0 - 1变量 .采用一个时间轴 ,建立了具有并行生产线的单阶段多产品批处理过程的调度数学模型 .模型表达为一个混合整数规划 ( Mixed Integer Linear Progr... 基于时间间隙的概念和连续时间描述 ,将设备、产品分配给时间间隙分别表达为两类 0 - 1变量 .采用一个时间轴 ,建立了具有并行生产线的单阶段多产品批处理过程的调度数学模型 .模型表达为一个混合整数规划 ( Mixed Integer Linear Programming,MILP)问题 .相对于已有的基于时间间隙描述的调度模型 ,该模型 0 - 1变量少 ,且能处理顺序相关建立时间 .求解采用分支定界法( BAB) .计算表明 ,该模型求解速度快 ,松弛线性规划和 MILP的最优解之差 ( Integrality Gap)小 。 展开更多
关键词 milp建模 短期调度 多产品批处理过程 混合整数线性规划 生产时间 化学工业 数学模型
在线阅读 下载PDF
基于MILP模型的光网络逻辑拓扑优化算法 被引量:1
5
作者 魏政霞 巩稼民 高新宇 《现代电子技术》 2008年第2期134-136,139,共4页
网络逻辑拓扑的最优化是光网络的设计核心。针对分组业务的需要,要求光网络能够实时、动态调整网络的逻辑拓扑结构。对小规模的网络进行逻辑拓扑优化,可以用混合整数线性规划法(Mixed-Integer Linear Programming,MILP)解决。采用MILP... 网络逻辑拓扑的最优化是光网络的设计核心。针对分组业务的需要,要求光网络能够实时、动态调整网络的逻辑拓扑结构。对小规模的网络进行逻辑拓扑优化,可以用混合整数线性规划法(Mixed-Integer Linear Programming,MILP)解决。采用MILP算法对4节点网络进行逻辑拓扑优化设计仿真,首先设定约束条件并建立模型,以拥塞率最小化为目标函数做仿真实验,并对实验结果进行分析。 展开更多
关键词 光网络 逻辑拓扑 拥塞率 milp
在线阅读 下载PDF
基于MILP方法的LED密码安全性分析 被引量:6
6
作者 刘波涛 彭长根 +2 位作者 吴睿雪 丁红发 谢明明 《计算机应用研究》 CSCD 北大核心 2020年第2期505-509,517,共6页
基于自动化搜索算法求解差分特征与线性逼近,成为了分组密码的差分与线性攻击研究热点。提出一种面向半个字节MILP模型自动化搜索密码算法的差分特征与线性逼近方法,对轻量级LED密码进行分析,以较少的变量与约束不等式求解活跃S盒数量,... 基于自动化搜索算法求解差分特征与线性逼近,成为了分组密码的差分与线性攻击研究热点。提出一种面向半个字节MILP模型自动化搜索密码算法的差分特征与线性逼近方法,对轻量级LED密码进行分析,以较少的变量与约束不等式求解活跃S盒数量,4轮运算至少有25个活跃S盒,这个结果与算法设计者给出的活跃S盒理论值相同,验证了该方法的正确性。最后,计算LED算法的最大差分特征及线性逼近概率,证明其能够抵抗差分与线性攻击。 展开更多
关键词 分组密码 差分攻击 线性攻击 milp模型 LED密码
在线阅读 下载PDF
基于MILP模型的C2C电子商务第三方退换货逆向物流网络构建 被引量:3
7
作者 关博 王立杰 《商业经济研究》 北大核心 2020年第9期115-118,共4页
C2C电子商务第三方退换货逆向物流因其规模效益而成为蓝海,然而目前较为成熟的B2C电子商务逆向物流并不适用于C2C电子商务。为此,应构建一种搭载多对象信息联动、共享平台的C2C电子商务第三方退换货逆向物流网络,经流程优化,将一些原本... C2C电子商务第三方退换货逆向物流因其规模效益而成为蓝海,然而目前较为成熟的B2C电子商务逆向物流并不适用于C2C电子商务。为此,应构建一种搭载多对象信息联动、共享平台的C2C电子商务第三方退换货逆向物流网络,经流程优化,将一些原本由C2C商家操作的诸如鉴定、恢复商品原貌、分拣、包装、再发货等工作前移至回收中心完成。通过建立0-1MILP数学模型并进行数据模拟,运用Lingo软件得出成本最小化时的设施选址情况和运输量,绘制物流分配规划图。结果显示,新构建的逆向物流网络可使物流总成本下降12.28%,具有信息化、规模化、标准化、高效化、成本最小化的优点,因而在C2C电子商务退换货流程中具有一定应用价值,对平台型B2C电子商务亦具有较强适用性。 展开更多
关键词 milp C2C 电子商务 第三方 逆向物流
在线阅读 下载PDF
一种改进的顺序型多目的间歇工厂生产调度的MILP模型 被引量:11
8
作者 潘明 钱宇 李秀喜 《化工学报》 EI CAS CSCD 北大核心 2006年第4期861-866,共6页
分析了顺序型多目的工厂间歇生产的特点,建立了一种新的混合整数线性规划(MILP)模型.该模型以操作活动序列作为建模的依据,将整个间歇生产过程分解成若干个子系统.在对各子系统建模的基础上,实现了顺序型多目的工厂间歇调度的全局性优化... 分析了顺序型多目的工厂间歇生产的特点,建立了一种新的混合整数线性规划(MILP)模型.该模型以操作活动序列作为建模的依据,将整个间歇生产过程分解成若干个子系统.在对各子系统建模的基础上,实现了顺序型多目的工厂间歇调度的全局性优化.并通过算例验证了该模型求解结果的正确性和可行性.然后将新模型运用到更大规模的调度问题上,均求解出了有效的调度方案. 展开更多
关键词 间歇过程 调度 顺序型多目的工厂 混合整数线性规划
在线阅读 下载PDF
新的多产品间歇生产调度的MILP模型 被引量:8
9
作者 吴建昱 何小荣 +1 位作者 陈丙珍 邱彤 《化工学报》 EI CAS CSCD 北大核心 2003年第9期1251-1256,共6页
提出了一种新的多产品厂间歇调度问题的连续时间混合整数线性规划 (MILP)模型 ,该模型的整数变量体系不依赖于时间块 (或者事件点 )的概念 ,并且利用了变量物理概念上的对称互补性 ,使得与传统的建模方法相比不仅整数变量的数目减少了... 提出了一种新的多产品厂间歇调度问题的连续时间混合整数线性规划 (MILP)模型 ,该模型的整数变量体系不依赖于时间块 (或者事件点 )的概念 ,并且利用了变量物理概念上的对称互补性 ,使得与传统的建模方法相比不仅整数变量的数目减少了一半以上 ,而且建模思想、建模理论都有了新的改进 . 展开更多
关键词 间歇过程调度 多产品厂 混合整数线性规划 连续时间 分支定界法
在线阅读 下载PDF
单生产线序贯多目的批处理过程短期调度的MILP建模 被引量:3
10
作者 陈昌领 冯晓东 邵惠鹤 《系统仿真学报》 CAS CSCD 2001年第z1期69-71,共3页
基于连续时间描述,在考虑订单的最早生产时间和到期时间的基础上,建立了单生产线序贯多目的批处理过程的短期调度数学模型,模型表达为一个混合整数规划(MILP)问题。该模型不但能优化订单,减少了模型的整数变量。求解使用了分支定界法(BA... 基于连续时间描述,在考虑订单的最早生产时间和到期时间的基础上,建立了单生产线序贯多目的批处理过程的短期调度数学模型,模型表达为一个混合整数规划(MILP)问题。该模型不但能优化订单,减少了模型的整数变量。求解使用了分支定界法(BAB),实例计算表明了该模型的适用的生产时间,而且还能最小化订单生产的提前完成时间和拖延时间。本文将预先排引序入到模型中性和有效性。 展开更多
关键词 短期调度 序贯多目的批处理过程 混合整数线性规划 生产时间
在线阅读 下载PDF
基于MILP模型的氢气供应链路径优化 被引量:6
11
作者 赵罡 《天然气工业》 EI CAS CSCD 北大核心 2022年第7期118-124,共7页
随着中国对可再生能源重视程度的日益增加,氢能需求量可能会呈大幅度增长趋势。促进氢能产业的发展,首先需要考虑实现高效、经济的氢气供应运输途径。为此,综合考虑氢气需求量、制氢厂产量、供应链运输能力、不同方式运输费率、新建基... 随着中国对可再生能源重视程度的日益增加,氢能需求量可能会呈大幅度增长趋势。促进氢能产业的发展,首先需要考虑实现高效、经济的氢气供应运输途径。为此,综合考虑氢气需求量、制氢厂产量、供应链运输能力、不同方式运输费率、新建基础设施投资等因素,以氢气供应链系统运行总费用最小为目标函数,建立了混合整数线性规划(Mixed Integer Linear Programming,MILP)模型,并以中国南方某区域为研究实例,计算求解获得不同氢气需求量场景下的最佳氢气运输方案。研究结果表明:①现有模型主要考虑运输方式在制氢厂至氢气需求地之间的经济性,并在建立的模型上分析氢气供应链的安全性和减碳效果;②在现有氢气市场需求量的情况下,氢气通过长管拖车短距离输送、天然气掺氢管道输送是较好的选择;③随着未来氢气利用市场规模扩大、需求量增加,新建纯氢管道则逐渐表现出较好的经济性。结论认为,研究建立的MILP模型对优化氢气供应运输方案具有较好的效果,有助于为不同实践场景下的氢气运输方案选择提供参考与借鉴。 展开更多
关键词 milp模型 氢能 供应链 优化 纯氢管道 运输方式 技术经济性
在线阅读 下载PDF
基于MILP的轻量级密码算法ACE的差分分析 被引量:2
12
作者 刘帅 关杰 +1 位作者 胡斌 马宿东 《通信学报》 EI CSCD 北大核心 2023年第1期39-48,共10页
研究了轻量级密码算法ACE的差分性质。首先定义了n维环形与门组合,充分分析了该结构中与门之间的相互关系,仅利用O(n)个表达式给出其精确的MILP差分刻画,将ACE算法中的非线性操作转化为32维环形与门组合,从而给出了ACE算法的MILP差分模... 研究了轻量级密码算法ACE的差分性质。首先定义了n维环形与门组合,充分分析了该结构中与门之间的相互关系,仅利用O(n)个表达式给出其精确的MILP差分刻画,将ACE算法中的非线性操作转化为32维环形与门组合,从而给出了ACE算法的MILP差分模型。其次根据MILP模型求解器Gurobi的求解特点,给出了快速求解ACE的MILP差分模型的方法。对于3~6步的ACE置换,得到了最优差分链,利用多差分技术给出了更高概率的差分对应,从而给出了ACE置换为3步的认证加密算法ACE-Aε-128的差分伪造攻击与哈希算法ACE-H-256的差分碰撞攻击,成功概率为2^(-90.52),并证明了4步ACE置换达到了128bit的差分安全边界。实际上,n维环形与门组合的MILP差分刻画具有更多的应用场景,可应用于SIMON、Simeck等密码算法的分析中。 展开更多
关键词 轻量级密码算法 混合整数线性规划 环形与门组合 差分分析
在线阅读 下载PDF
求解带有阻塞限制的HFSP的MILP模型与改进回溯搜索算法 被引量:8
13
作者 孟磊磊 张超勇 +2 位作者 任彩乐 李振国 任亚平 《中国机械工程》 EI CAS CSCD 北大核心 2018年第22期2647-2658,共12页
针对带有阻塞限制的不相关并行机混合流水车间调度问题,以最小化最长完工时间为目标,依据不同的建模思想,建立了求解该问题的4个混合整数线性规划(MILP)模型;鉴于混合整数线性规划不适合求解中大规模问题,提出了一种改进的回溯搜索算法... 针对带有阻塞限制的不相关并行机混合流水车间调度问题,以最小化最长完工时间为目标,依据不同的建模思想,建立了求解该问题的4个混合整数线性规划(MILP)模型;鉴于混合整数线性规划不适合求解中大规模问题,提出了一种改进的回溯搜索算法以求解中大规模问题,在该算法中,引入了轮盘赌选择策略以及变邻域搜索算法,以提高算法的收敛速度以及局部搜索能力。最后,对所提MILP模型以及算法进行了对比分析,通过对具体实例的求解验证了所提MILP模型以及算法的有效性及优越性。 展开更多
关键词 混合流水车间调度 阻塞 混合整数线性规划 回溯搜索算法 轮盘赌选择策略 变邻域搜索
在线阅读 下载PDF
分组密码PRESENT算法基于MILP的分析
14
作者 王衡 张文英 《计算机应用研究》 CSCD 北大核心 2017年第1期229-232,共4页
CHES2007上提出的PRESENT算法是一种轻量级分组密码算法,密钥分为80 bit和128 bit两个版本,攻击者使用包括不可能差分分析在内的多种方法对其进行分析。MILP是一种常用在解决优化商业经济问题的方法,使用这种方法可以有效降低设计与密... CHES2007上提出的PRESENT算法是一种轻量级分组密码算法,密钥分为80 bit和128 bit两个版本,攻击者使用包括不可能差分分析在内的多种方法对其进行分析。MILP是一种常用在解决优化商业经济问题的方法,使用这种方法可以有效降低设计与密码分析的工作量。使用MILP方法对PRESENT算法的不可能差分分析进行研究,最后得到PRESENT算法不可能差分特征的最优解。 展开更多
关键词 PRESENT 不可能差分分析 分组密码 milp 差分特征
在线阅读 下载PDF
结合对策论与多目标MILP的Web服务组合调度问题求解 被引量:2
15
作者 李靖 乔蕊 刘志中 《计算机工程》 CAS CSCD 北大核心 2016年第1期11-17,共7页
针对单目标优化问题,结合对策论与多目标混合整数线性规划(MILP),提出一种Web服务组合(WSC)调度方法。根据5个基本的服务质量(Qo S)属性定义WSC的Qo S属性,将WSC调度问题转换为求解MILP问题,服务商之间的交互模拟为一个非合作、不完备... 针对单目标优化问题,结合对策论与多目标混合整数线性规划(MILP),提出一种Web服务组合(WSC)调度方法。根据5个基本的服务质量(Qo S)属性定义WSC的Qo S属性,将WSC调度问题转换为求解MILP问题,服务商之间的交互模拟为一个非合作、不完备的贝叶斯对策,利用参与者的贝叶斯纳什均衡保证服务商对于组合任务的公平竞争,从而达到最小化执行时间和成本,同时最大化声誉、可靠性和可用性的目标。数值分析结果表明,该方法具有较高的求解效率,能避免效应函数中的多属性聚合现象,适用于求解中小规模的WSC调度问题。 展开更多
关键词 对策论 混合整数线性规划 WEB服务组合 服务质量 多目标优化
在线阅读 下载PDF
基于改进MILP算法的甘油发酵产1,3-丙二醇最优可行代谢路径分析
16
作者 禹超 郭通 +1 位作者 李永磊 张青瑞 《化学与生物工程》 CAS 2018年第6期21-24,共4页
针对混合整数线性规划(MILP)算法求解所有最优可行解时变量搜索范围过大的问题,提出了用通量可变性分析(FVA)改进MILP算法;并以克雷伯氏杆菌发酵甘油产1,3-丙二醇(1,3-PD)为研究对象,以1,3-PD产率最大为优化目标,利用改进MILP算法得到... 针对混合整数线性规划(MILP)算法求解所有最优可行解时变量搜索范围过大的问题,提出了用通量可变性分析(FVA)改进MILP算法;并以克雷伯氏杆菌发酵甘油产1,3-丙二醇(1,3-PD)为研究对象,以1,3-PD产率最大为优化目标,利用改进MILP算法得到不同氧气消耗下所有最优代谢路径;进一步通过ATP消耗总量分析,确定ATP消耗最小的最优代谢路径。 展开更多
关键词 混合整数线性规划(milp)通量可变性分析(FVA)克雷伯氏杆菌 发酵 l 3-丙二醇 最优代谢路径
在线阅读 下载PDF
ACT、TED算法基于MILP搜索的积分分析
17
作者 熊家琪 袁征 +2 位作者 魏锦鹏 刘宗甫 朱亮 《小型微型计算机系统》 CSCD 北大核心 2022年第9期1976-1983,共8页
ACT和TED算法是近年来相继被提出的,分别基于SPN结构和Feistel结构而设计的两种轻量级分组密码算法.本文根据这两种算法不同的结构特性,分别构建了相关的基于比特可分性的MILP模型,并调用求解工具Gurobi对MILP模型进行求解.实验结果表明... ACT和TED算法是近年来相继被提出的,分别基于SPN结构和Feistel结构而设计的两种轻量级分组密码算法.本文根据这两种算法不同的结构特性,分别构建了相关的基于比特可分性的MILP模型,并调用求解工具Gurobi对MILP模型进行求解.实验结果表明:ACT和TED算法都存在8、9、10轮积分区分器,另外TED算法还存在7轮积分区分器.根据所搜索到的积分区分器,实现了两种算法的11轮密钥恢复攻击方案.利用ACT算法的9轮积分区分器向后扩展2轮进行11轮的密钥恢复攻击时,攻击数据复杂度为2^(36.39),时间复杂度为2^(36.39)次11轮加密,存储复杂度为2^(20).利用TED算法的8轮积分区分器向后扩展3轮进行11轮的密钥恢复攻击时,数据复杂度为2^(60.81),时间复杂度为2^(109.54)次11轮加密,存储复杂度为2^(59). 展开更多
关键词 轻量级分组密码算法 ACT TED 可分性 积分分析 milp(混合线性整数规划)
在线阅读 下载PDF
基于MILP的相关密钥差分分析安全评估算法改进
18
作者 周春宁 张文涛 曹文芹 《密码学报》 CSCD 2023年第1期181-194,共14页
近年来,基于混合整数线性规划(MILP)的密码分析方法在对称密码的安全性分析中发挥了重要作用. Zhou等人在FSE 2020上提出了结合分治法,大幅度提高基于MILP的差分和线性特征搜索方法效率.本文将Zhou等人的方法扩展到相关密钥差分特征搜索... 近年来,基于混合整数线性规划(MILP)的密码分析方法在对称密码的安全性分析中发挥了重要作用. Zhou等人在FSE 2020上提出了结合分治法,大幅度提高基于MILP的差分和线性特征搜索方法效率.本文将Zhou等人的方法扩展到相关密钥差分特征搜索,提出了一种更高效的基于MILP的相关密钥差分分析安全评估新算法.应用新算法评估了PRESENT-80/128抵抗相关密钥差分分析的安全性,得到了高达15轮的最小活跃S盒数量和高达12轮的最优相关密钥差分特征,并由此得到了迄今最紧的PRESENT-80/128抵抗相关密钥差分分析安全界.找到了一条概率为2^(-62)的15轮PRESENT-80相关密钥差分特征,和一条概率为2-60的16轮PRESENT-128相关密钥差分特征,是目前对于PRESENT-80/128轮数最长的相关密钥差分特征. 展开更多
关键词 分组密码 相关密钥差分分析 milp PRESENT-80/128
在线阅读 下载PDF
基于MILP搜索的ANU算法积分分析
19
作者 袁征 朱亮 +1 位作者 赵晨曦 刘宗甫 《计算机应用研究》 CSCD 北大核心 2021年第4期1171-1174,共4页
ANU算法是由Bansod等人发表在SCN 2016上的一种超轻量级的Feistel结构的分组密码算法。截至目前,没有人提出针对该算法的积分攻击。为了研究ANU算法抗积分攻击的安全性,根据ANU算法的结构建立起基于比特可分性的MILP模型。对该模型进行... ANU算法是由Bansod等人发表在SCN 2016上的一种超轻量级的Feistel结构的分组密码算法。截至目前,没有人提出针对该算法的积分攻击。为了研究ANU算法抗积分攻击的安全性,根据ANU算法的结构建立起基于比特可分性的MILP模型。对该模型进行求解,首次得到ANU算法的9轮积分区分器;利用搜索到的9轮区分器以及轮密钥之间的相关性,对128 bit密钥长度的ANU算法进行12轮密钥恢复攻击,能够恢复43 bit轮密钥。该攻击的数据复杂度为2^(63.58)个选择明文,时间复杂度为2^(88.42)次12轮算法加密,存储复杂度为2^(33)个存储单元。 展开更多
关键词 ANU算法 积分区分器 比特可分性 混合整数线性规划
在线阅读 下载PDF
基于MILP的PICO算法差分和线性区分器的搜索
20
作者 石康康 任炯炯 陈少真 《密码学报》 CSCD 2023年第5期910-921,共12页
PICO算法是由Bansod等人在2016年提出的一种基于替换和排列的SPN网络的轻量级分组密码.目前针对PICO算法抵抗差分和线性分析的能力还有待进一步评估.本文基于MILP模型,首先利用不等式组对各组件的差分特征和线性掩码的传播规律进行了精... PICO算法是由Bansod等人在2016年提出的一种基于替换和排列的SPN网络的轻量级分组密码.目前针对PICO算法抵抗差分和线性分析的能力还有待进一步评估.本文基于MILP模型,首先利用不等式组对各组件的差分特征和线性掩码的传播规律进行了精细的刻画,其次针对密码算法的结构特点及S盒特性,对该模型进行了优化,缩小了搜索空间,并提出了针对PICO算法有效的两步搜索算法.最后利用该算法,搜索到了3条新的概率为2−63的21轮差分区分器,并首次搜索到了3条相关度为2−30的20轮线性区分器,为当前公开发表的最长线性区分器. 展开更多
关键词 分组密码 差分分析 线性分析 milp模型 PICO算法
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部