基于抽象解释的数据迷惑正确性分析  

Evaluating the Correctness of Data Obfuscation by Abstract Interpretation

作　　者：曾颖[1] 

机构地区：[1]信息工程大学信息工程学院,河南郑州450002

出　　处：《信息工程大学学报》2011年第6期670-675,共6页Journal of Information Engineering University

摘　　要：数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工程攻击。从语义的角度,给出了一种基于抽象解释的数据迷惑正确性的分析方法。首先使用抽象解释理论,从程序语义的角度,对数据迷惑进行形式化描述,用一种语义变换形式化地描述数据迷惑。然后在形式化描述的基础上,由语义变换和语法变换之间的关系,构造得到数据迷惑算法。最后在基于抽象解释的数据迷惑的形式化描述的基础上,对数据迷惑变换的正确性进行分析和讨论。As an important classes of code obfuscation,data obfuscation has been widely used to prevent software from reverse engineering such as static analysis and program slicing.This paper presents an Abstract inderpretation-based method for analyzing the correctness of data obfuscation,designed in a semantic context.Following the Abstract interpretation principles,data obfuscation is expressed as a semantic transformation.Then based on the formal description,an algorithm of data obfuscation is derived from the relation between semantic transformations and syntax transformations.Finally,the correctness of this data obfuscation is analyzed and discussed.

关 键 词：数据迷惑 抽象解释 正确性 程序语义 程序变换 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]