-
题名基于抽象解释的数据迷惑正确性分析
- 1
-
-
作者
曾颖
-
机构
信息工程大学信息工程学院
-
出处
《信息工程大学学报》
2011年第6期670-675,共6页
-
文摘
数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工程攻击。从语义的角度,给出了一种基于抽象解释的数据迷惑正确性的分析方法。首先使用抽象解释理论,从程序语义的角度,对数据迷惑进行形式化描述,用一种语义变换形式化地描述数据迷惑。然后在形式化描述的基础上,由语义变换和语法变换之间的关系,构造得到数据迷惑算法。最后在基于抽象解释的数据迷惑的形式化描述的基础上,对数据迷惑变换的正确性进行分析和讨论。
-
关键词
数据迷惑
抽象解释
正确性
程序语义
程序变换
-
Keywords
data obfuscation
Abstract interpretation
correctness
program semantics
program transformation
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名代码迷惑技术研究进展
被引量：10
- 2
-
-
作者
王一宾
陈意云
-
机构
安庆师范学院计算机科学与信息学院
中国科学技术大学信息科学技术学院
-
出处
《吉林大学学报（信息科学版）》
CAS
2008年第4期386-393,共8页
-
基金
国家自然科学基金资助项目(60673126)
安徽省教育厅自然科学研究基金资助项目(2005KJ364zc)
-
文摘
为促进对智力产品及移动代码保护方法的研究,综述了代码迷惑技术的进步和发展,使用代码迷惑技术可以对程序代码及核心算法进行保护。描述了代码迷惑技术的研究背景、定义及应用;详细阐述了代码迷惑变换的主要类型:版面布局迷惑、数据迷惑、控制迷惑、预防迷惑等,并对每种方法进行了分析和解释;剖析了代码迷惑技术在国内外的研究现状,展望了代码迷惑技术的主要研究方向,为代码迷惑技术的进一步研究提供借鉴作用。
-
关键词
代码迷惑
程序变换
控制迷惑
数据迷惑
-
Keywords
code obfuscation
program transformation
control obfuscation
data obfuscation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名谈谈初中物理课堂教学中“迷惑”数据的设计和使用
- 3
-
-
作者
李玉德
-
机构
广西省柳州铁路一中
-
出处
《物理教学探讨（中教版）》
2000年第3期29-29,共1页
-
-
关键词
中学
物理教学
课堂教学
“迷惑”数据
教学质量
-
分类号
G633.7
[文化科学—教育学]
-
-
题名一种合并变量为数组的隐藏变量代码迷惑方法
- 4
-
-
作者
卿海军
冀肖榆
陈丽萍
-
机构
梧州学院
梧州市第一中学
-
出处
《梧州学院学报》
2014年第3期14-21,共8页
-
基金
梧州学院青年科研项目(2012D001)
-
文摘
变量在程序中起着承载信息的作用,因此隐藏变量的代码迷惑能极大地混淆程序中的数据流程,但现有的一些实体更名迷惑技术不能有效地抵抗反迷惑攻击。该文提出了一种合并变量为数组的隐藏变量的方法,提高了隐藏变量迷惑技术的强度与弹性,实验结果表明该方法能有效地应对变量名替换攻击。
-
关键词
数据迷惑
弹性
合并变量为数组
-
Keywords
Data obfuscation
Resilience
Merging variable to an array
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
