基于状态值传播与MILP的不可能差分区分器搜索方法

本发明公开基于状态值传播与MILP的不可能差分区分器搜索方法，该方法刻画了比特级状态值的传播，将区分器分为轮与轮的两段，在MILP模型中加入状态值在每一轮中传播的约束条件，并且在第轮处添加新的约束条件以检验矛盾点，并以模型可解判断区分器有效。通过对S盒的状态值传播模式进行划分，以及生成更高效不等式，提高搜索不可能差分区分器时Gurobi求解器的模型求解速度。此外该方法在刻画相对复杂的非线性层操作时，通过对传播模式的点进行划分子集以及不等式优化等方法，减少刻画非线性层所需要的不等式数量。并且使用算法降低不等式系数，缩小求解器所需搜索的解空间，提高模型整体的求解速度。