软件学报

作者：黄明，张莎莎，洪春雷，曾乐，向泽军

单位：黄明，湖北大学 数学与统计学学院, 湖北 武汉 43306211,张莎莎，湖北大学 数学与统计学学院, 湖北 武汉 43306202,洪春雷，上海大学 通信与信息工程学院, 上海 20044403,曾乐，Faculty of Science, The University of Melbourne, Melbourne VIC3010, Australia04,向泽军，湖北大学 数学与统计学学院, 湖北 武汉 43306205

关键词：混合整数线性规划;可分性;线性层;汉明重量;积分区分器

基金：湖北省教育厅科学研究计划(D2020104)；国家自然科学基金(61802119)；武汉市科技局应用基础前沿项目(2020010601012189)

混合整数线性规划(MILP)作为一种自动化搜索工具, 被广泛地应用于搜索分组密码的差分、线性、积分等密码性质. 提出一种基于动态选取策略构建MILP模型的新技术, 该技术在不同的条件下采用不同的约束不等式刻画密码性质的传播. 具体地, 从可分性出发根据输入可分性汉明重量的不同, 分别采用不同的方法构建线性层可分性传播的MILP模型. 最后, 将该技术应用于搜索uBlock和Saturnin算法的积分区分器. 实验结果表明: 对于uBlock128算法, 该技术可以搜索到比之前最优区分器多32个平衡比特的8轮积分区分器. 除此之外, 搜索到uBlock128和uBlock256算法比之前最优区分器更长一轮的9和10轮积分区分器. 对于Saturnin256算法, 同样搜索到比之前最优区分器更长一轮的9轮积分区分器.

来源：2024年第4期

《软件学报》期刊编辑部

查看软件学报杂志2024年第4期