基于miss-from-the-middle与MILP的And-RX结构零相关线性区分器搜索方法

本发明公开基于miss‑from‑the‑middle与MILP的And‑RX结构零相关线性区分器搜索方法，将MILP建模应用miss‑from‑the‑middle技术上，构建出了以模型可解为判定条件的零相关线性区分器搜索方法。解决了以模型无解为判定条件搜索模型无法遍历所有搜索空间的限制，同时也考虑了由间接矛盾原因产生的零相关线性区分器，使得新模型下能搜索到轮数更长且数量更多的有效零相关线性区分器。本发明方法的准确度高，在搜索出零相关线性区分器的同时，能够给出其准确的间接矛盾发生位置，排除了基于模型无解产生的误判情况，且避免了手动推导基于零相关线性区分器间接矛盾位置的繁琐过程。