公开(公告)号：CN109933962B

公开(公告)日：2022-03-01

申请号：CN201910192448.0

申请日：2019-03-14

Applicant: 西安电子科技大学 ,  南开大学

Inventor： 马昊玉 ,  贾春福 ,  李士佳 ,  杨超

IPC: G06F21/16

Abstract: 本发明涉及一种基于考拉兹猜想的软件水印方法。该方法包括软件水印的嵌入和提取过程，所述嵌入过程通过分析宿主程序的执行路径选取其部分条件分支结构作为嵌入点，在各嵌入点处施加基于考拉兹猜想的控制流混淆，并构造控制函数以引导混淆组件在特定条件下表达所嵌入水印信息，最后将变换后的宿主源代码编译为携带水印的程序实例。所述的提取过程向被检测程序输入预定的秘密参数配置后监视其执行流，在此过程中识别前述混淆组件受控产生的特有条件跳转模式，在根据考拉兹猜想的定义还原水印信息。对比现有技术，本发明与代码混淆变换高度融合，利用宿主程序自身的控制流结构为水印载体，具有数据率、隐蔽性和抵抗性高的优点。

公开(公告)号：CN109933962A

公开(公告)日：2019-06-25

申请号：CN201910192448.0

申请日：2019-03-14

Applicant: 西安电子科技大学 ,  南开大学

Inventor： 马昊玉 ,  贾春福 ,  李士佳 ,  杨超

IPC: G06F21/16

Abstract: 本发明涉及一种基于考拉兹猜想的软件水印方法。该方法包括软件水印的嵌入和提取过程，所述嵌入过程通过分析宿主程序的执行路径选取其部分条件分支结构作为嵌入点，在各嵌入点处施加基于考拉兹猜想的控制流混淆，并构造控制函数以引导混淆组件在特定条件下表达所嵌入水印信息，最后将变换后的宿主源代码编译为携带水印的程序实例。所述的提取过程向被检测程序输入预定的秘密参数配置后监视其执行流，在此过程中识别前述混淆组件受控产生的特有条件跳转模式，在根据考拉兹猜想的定义还原水印信息。对比现有技术，本发明与代码混淆变换高度融合，利用宿主程序自身的控制流结构为水印载体，具有数据率、隐蔽性和抵抗性高的优点。

公开(公告)号：CN118035097A

公开(公告)日：2024-05-14

申请号：CN202410196318.5

申请日：2024-02-22

Applicant: 南开大学

Inventor： 李士佳 ,  王昕怡 ,  贾春福 ,  陈启源

IPC: G06F11/36 ,  G06F9/455

Abstract: 本发明公开了一种还原虚拟指令的代码虚拟化程序分析方法及系统，包括指令映射关系库建成模块、虚拟指令预处理模块、虚拟指令匹配模块及虚拟指令语义验证模块；从代码虚拟化混淆器中提取原始指令序列RIL和核心虚拟指令序列Dv，建成指令映射关系库；对虚拟指令片段IL进行预处理，提取待测核心虚拟指令序列SIL；遍历指令映射关系库，进行虚拟指令匹配，提取高匹配度的待测核心虚拟指令构成语义待测虚拟指令序列对DSIL；进行虚拟指令语义验证，以DIL_m为索引从所述指令映射关系库中提取对应的原始指令RIL作为还原结果。本发明在准确率和低成本两方面都显著优于现有前沿虚拟指令还原工具。

公开(公告)号：CN116881909A

公开(公告)日：2023-10-13

申请号：CN202310892142.2

申请日：2023-07-19

Applicant: 南开大学

Inventor： 李士佳 ,  贾春福 ,  刘兰清 ,  陈启源 ,  邱鹏达 ,  明江

IPC: G06F21/56

Abstract: 本发明公开了一种基于解壳流程特征的软件加壳程序检测规则生成方法，构造加壳程序序列O(P)，得到待选指令序列信息序列ILs；从待选指令序列ILs中提取和动态释放指令及修改静态层面可执行指令相关的地址范围Hu具有数据流关系的指令序列，作为解壳流程特征基因指令序列ILu；对解壳流程特征基因指令序列ILu进行转换，生成检测规则序列R；采用基于预测概率的筛选算法去除生成规则中具有高误匹配率的规则。与现有技术相比，本发明自动提取解壳流程特征基因指令序列并自动生成检测规则，具有高准确率、健壮性强、高可维护性和低成本的优点。