公开(公告)号：CN120034380A

公开(公告)日：2025-05-23

申请号：CN202510182327.3

申请日：2025-02-19

Applicant: 桂林电子科技大学

Inventor： 张华成 ,  吴依煜 ,  刘建明 ,  黄光轮

IPC: H04L9/40 ,  H04L9/06 ,  H04L9/16

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

公开(公告)号：CN119963188A

公开(公告)日：2025-05-09

申请号：CN202510028383.1

申请日：2025-01-08

Applicant: 桂林电子科技大学

Inventor： 张华成 ,  吴依煜 ,  刘建明 ,  黄光轮 ,  张利

IPC: G06Q20/38 ,  G06F21/60 ,  G06N5/01

Abstract: 本发明涉及差分分析技术领域，具体涉及基于自动化差分分析的移动支付系统加密强度评估方法，在移动支付系统中设置一个上界，将生成的一个有效差分特征作为最佳差分特征，在搜索过程中对其进行动态更新；将整个搜索空间划分为三种子集，计算子集的下界；将不等式组中的冗余不等式删除，将不等式组的范数减小；选择合适的搜索顺序对子集进行搜索操作，从中间开始，上下震荡进行搜索，若下界大于等于上界，则停止搜索，整合所有子集中的最佳差分特征，对支付系统的加密算法进行安全性分析并进行调整和优化加密策略，该方法利用自动化建模技术，结合分治算法、Matsui算法以及不等式范数优化算法，提高了分组在轮数较高的情况之下求解差分特征的效率。