基于抽象解释的数据迷惑正确性分析 - 信息工程大学学报.pdf

Vo l. 12 No.6 第 12 卷第 6 期 信息工程大学学报 2011 年 12 月 Journal of Information Engineering University Dec.2011 基于抽象解释的数据迷惑正确性分析 曾颖 (信息工程大学信息工程学院，河南郑州 450002) 摘要:数据迷惑是代码迷惑中重要的一类迷惑变换，在软件保护领域中应用广泛，常被用于防 止攻击者对程序进行数据流分析、程序切片等逆向工程攻击。从语义的角度，给出了一种基于 抽象解释的数据迷惑正确性的分析方法。首先使用抽象解释理论，从程序语义的角度，对数据 迷惑进行形式化描述，用一种语义变换形式化地描述数据迷惑。然后在形式化描述的基础上， 由语义变换和语法变换之间的关系，构造得到数据迷惑算法。最后在基于抽象解释的数据迷 惑的形式化描述的基础上，对数据迷惑变换的正确性进行分析和讨论。 关键词:数据迷惑;抽象解释;正确性;程序语义;程序变换 中图分类号:TP31 1. 5 文献标识码:A 文章编号:1671 -0673(2011)06 -0670 -06 Evaluating the Correctness of Data Obfuscation by Abstract Interpretation ZENG Ying (Institute of Informatim Engineering , Information Engineering University , Zhengzhou 450002 , China) Abstract: As an important classes of code obfuscation , data obfuscation has been widely used to pre- vent software from reverse engineering such as static analysis and program slicing. This paper pres- ents an abstract inderpretation-based method for analyzing the correctness of data obfuscation , de- signed in a semantic context. Following the abstract interpretation principles , data obfuscation is ex- pressed as a semantic transformation. Then based on the formal description , an algorithm of data ob- fuscation is derived from the relation between semantic transformations and syntax transformations. Finally , the correctness of this data obfuscation is analyzed and discussed. Key words: data obfuscation; abstract interpretation; correctness; program semantics; program transformatÏon 0 引言 数据迷惑(Data Obfuscation