| 基于抽象解释的代码迷惑有效性比较框架 |
| 其他题名 | a comparable code obfuscation framework measuring efficiency based on abstract interpretation
|
| 高鹰; 陈意云
|
| 2007
|
| 发表期刊 | 计算机学报
 |
| ISSN | 0254-4164
|
| 卷号 | 30期号:5页码:806-814 |
| 摘要 | 代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码迷惑的有效性. |
| 收录类别 | EI
|
| 关键词 | 抽象解释
程序变换
程序分析
代码迷惑
压平算法
抽象解释
代码迷惑
有效性证明
比较框架
非语义
算法
实例描述
静态分析
变换技术
保护软件
应用
剖析
逆向
环境
程序algorithms
Computer Software
Mobile Agents
Program Diagnostics
Security Of Data
Semantics
Static Analysis
|
| 部门归属 | 中国科技大学计算机科学与技术系,合肥,230027;中国科技大学计算机科学与技术系,合肥,230027;中国科学院软件研究所计算机科学实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11278
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
高鹰,陈意云. 基于抽象解释的代码迷惑有效性比较框架[J]. 计算机学报,2007,30(5):806-814.
|
| APA |
高鹰,&陈意云.(2007).基于抽象解释的代码迷惑有效性比较框架.计算机学报,30(5),806-814.
|
| MLA |
高鹰,et al."基于抽象解释的代码迷惑有效性比较框架".计算机学报 30.5(2007):806-814.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论