《表1 符号描述表:基于指令交换的代码混淆方法》
Wroblewski构建了基于系统指令的形式化定义[2],此形式化定义使用数学定义:集合、变量、函数、笛卡尔积、向量等描述代码语义.为了更好地描述基于X86系统指令的混淆算法,本文将其定义的外沿缩小为X86系统,并由此给出相关的形式化定义、定理与相关推论,表1是该定义中使用到的相关符号.
图表编号 | XD0073045600 严禁用于非法目的 |
---|---|
绘制时间 | 2019.06.01 |
作者 | 潘雁、祝跃飞、林伟 |
绘制单位 | 数学工程与先进计算国家重点实验室、数学工程与先进计算国家重点实验室、数学工程与先进计算国家重点实验室 |
更多格式 | 高清、无水印(增值服务) |