分组密码算法的设计与分析是现代密码学界的热点研究问题之一,其源起和进展在密码学界有着深远的影响。尽管分组密码已经成为主流的信息加密体制,并在多种信息系统中扮演着重要的角色,然而典型的分组密码算法通常不适用于资源受限计算环境。为了解决资源受限环境下的数据安全问题,轻量级分组密码算法应运而生。轻量级密码算法的安全性分析一直是该领域研究的难点问题。在分组密码算法的分析中包含差分攻击、立方攻击、积分攻击等众多方法。本文侧重探讨新型的积分攻击构建方法。通过使用STP求解器和Gurobi求解器,针对不同算法结构来构建基于比特可分特性的Solvatore和MILP（混合整数线性规划）新模型,得到更优的积分区分器,并由此恢复更高轮数下的密钥。主要研究成果如下:1.新提出一种针对SAT＿Jo和PICO算法的比特级可分性的自动化搜索方法。通过利用MILP方法,结合比特可分特性结合Gurobi求解器,捕获到SAT＿Jo算法的30轮和31轮区分器;基于此,对SAT＿Jo算法进行子密钥恢复攻击。该算法的时间复杂度约为266次加密。此外,分析了该算法的结构上的不足之处:由于SAT＿Jo算法选择的比特置换层（P盒）会引起较弱的可分特性。利用类似的方法构建了PICO算法的10轮积分区分器。与已有结果相比较,该方法获得了更高轮数的新区分器,这进一步证实了该自动化搜索方法的有效性。2.分别提出针对I-PresentTM和TANGRAM-128算法的积分区分器新搜索方法。通过利用STP求解器来构建Solvatore模型,将其模型带入到I-PresentTM,TANGRAM算法,分别捕获到10轮和13轮积分区分器,其对应的数据复杂度是24 0和2127。与目前结果相比,此结果具有较高的区分轮数,这表明该自动化搜索方法是新型有效。3.分别提出针对CHAM-64、CHAM-128和LEA算法的MILP积分区分器的新搜索方法。通过利用Gurobi求解器来构建ARX结构算法的积分分析:对于CHAM-64和CHAM-128,分别得到了19和21轮积分区分器;这分别比设计者多了5轮和3轮。而对于LEA算法,捕获了13轮新积分区分器。与已有的结果相比较,新方法下,获得了更高轮数的区分器。