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

• 作者: 曾颖
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 数据迷惑 抽象解释 正确性 程序语义 程序变换
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 数学与信息安全
• 页码范围: 670-675
• 分类号: TP311.5
• 字数: 4418字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2011.06.007

摘要

数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工程攻击.从语义的角度,给出了一种基于抽象解释的数据迷惑正确性的分析方法.首先使用抽象解释理论,从程序语义的角度,对数据迷惑进行形式化描述,用一种语义变换形式化地描述数据迷惑.然后在形式化描述的基础上,由语义变换和语法变换之间的关系,构造得到数据迷惑算法.最后在基于抽象解释的数据迷惑的形式化描述的基础上,对数据迷惑变换的正确性进行分析和讨论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾颖	信息工程大学信息工程学院	5	36	3.0	5.0