一种基于SAT的动态加密通信安全评估方法

本发明涉及信息安全技术领域，具体涉及一种基于SAT的动态加密通信安全评估方法，利用CVC格式对分组密码算法各个运算进行刻画，结合不可能差分二维建模的算法，提高了不可能差分区分器的长度和区分器的求解效率，同时得到了不可能差分轨迹中更加详细的状态差分的变化情况。具体通过SAT自动化搜索技术，将SP‑Network结构的分组密码中各个运算部件转化为SAT问题，使用STP求解器去求解得到可行解，再根据安全评估模块的反馈结果，动态调整加密策略。经验证，本发明的方法对于分组密码中的SPN结构具有通用性，而且利用STP求解器所得到的区分器轮数更长、区分器求解效率更高。