基于混合整数线性规划模型的SPONGENTS盒紧凑约束分析

石一鹏; 刘杰; 祖锦源; 张涛; 张国群

首页> 中文期刊> 《计算机应用》 >基于混合整数线性规划模型的SPONGENTS盒紧凑约束分析

基于混合整数线性规划模型的SPONGENTS盒紧凑约束分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

应用基于混合整数线性规划(MILP)模型的S盒紧凑约束计算方法,可以较好地解决SPONGENT在差分密码分析过程中差分路径搜索效率低下的问题;为寻找S盒的最优描述,提出一种紧凑性验证算法从约束条件存在必要性的角度验证S盒的不等式约束的紧凑性问题。首先,引入MILP模型分析SPONGENT S盒的不等式约束,得到了由23个不等式组成的约束;然后,提出一种用于评价约束不等式存在必要性的指标,并基于该指标提出了一种验证约束不等式组紧凑程度的紧凑性验证算法;最后,使用所提算法验证所求得的SPONGENT S盒约束的紧凑性。计算分析表明,23个不等式都具有唯一可以排除的不可能差分模式,即每个不等式都有存在的必要性;同时,对于同一案例,与利用贪心算法原理筛选的不等式相比,数量减少了20%。因此,所得到的SPONGENT的S盒不等式约束是紧凑的,且所提紧凑性验证算法的效果要优于对比的贪心算法。

著录项

来源
《计算机应用》 |2023年第5期|1504-1510|共7页
作者
石一鹏; 刘杰; 祖锦源; 张涛; 张国群;
展开▼
作者单位

西北工业大学软件学院;

上海机电工程研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类加密与解密;
关键词
差分密码分析; 混合整数线性规划; 代换‒置换网络; SPONGENT; S盒;

相似文献

中文文献
外文文献
专利

1. 基于混合整数线性规划模型的果品供应链优化研究 [J] . 马永红 ,刘露 ,王兰先 . 供应链管理 . 2021,第003期
2. 基于混合整数线性规划模型的果品供应链优化研究 [J] . 马永红 ,刘露 ,王兰先 . 供应链管理 . 2021,第003期
3. 基于混合整数线性规划的风水火电联合调度模型 [J] . 张凯成 ,李鹏 ,高莲 . 云南大学学报:自然科学版 . 2021,第6期
4. 基于混合整数线性规划的救护车(组)定点前置模型研究 [J] . 胡格莎 ,许坤 . 荆楚理工学院学报 . 2010,第11期
5. 基于机会约束高斯混合模型的含光热电站热电联供型微网鲁棒经济调度 [J] . 彭春华 ,陈婧 ,郑聪 . 电力自动化设备 . 2021,第004期
6. 基于混合整数线性规划模型的冷热电联供系统分析与优化 [C] . LI Zhi ,李智 ,ZHANG Jian . 2019年西南三省一市自动化与仪器仪表学术年会 . 2019
7. 生产调度混合整数线性规划模型的可行解域分析 [A] . 韩蓉 . 2010

基于混合整数线性规划模型的SPONGENTS盒紧凑约束分析

摘要

著录项

相似文献

相关主题

期刊订阅