| 基于抽象解释的数据迷惑正确性分析 |
| |
| 引用本文： | 曾颖.基于抽象解释的数据迷惑正确性分析[J].信息工程大学学报,2011(6):670-675. |
| |
| 作者姓名： | 曾颖 |
| |
| 作者单位： | 信息工程大学信息工程学院; |
| |
| 摘 要： | 数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工程攻击。从语义的角度,给出了一种基于抽象解释的数据迷惑正确性的分析方法。首先使用抽象解释理论,从程序语义的角度,对数据迷惑进行形式化描述,用一种语义变换形式化地描述数据迷惑。然后在形式化描述的基础上,由语义变换和语法变换之间的关系,构造得到数据迷惑算法。最后在基于抽象解释的数据迷惑的形式化描述的基础上,对数据迷惑变换的正确性进行分析和讨论。
|
| 关 键 词： | 数据迷惑 抽象解释 正确性 程序语义 程序变换 |
Evaluating the Correctness of Data Obfuscation by Abstract Interpretation |
| |
| ZENG Ying.Evaluating the Correctness of Data Obfuscation by Abstract Interpretation[J].Journal of Information Engineering University,2011(6):670-675. |
| |
| Authors: | ZENG Ying |
| |
| Affiliation: | ZENG Ying(Institute of Informatim Engineering,Information Engineering University,Zhengzhou 450002,China) |
| |
| Abstract: | |
| |
| Keywords: | data obfuscation Abstract interpretation correctness program semantics program transformation |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
