基于抽象解释的代码迷惑有效性比较框架
文献类型：期刊论文
| 作者 | 高鹰 ; 陈意云 |
| 刊名 | 计算机学报
 |
| 出版日期 | 2007 |
| 卷号 | 30期号:5页码:806-814 |
| 关键词 | 抽象解释 程序变换 程序分析 代码迷惑 压平算法 抽象解释 代码迷惑 有效性证明 比较框架 非语义 算法 实例描述 静态分析 变换技术 保护软件 应用 剖析 逆向 环境 程序Algorithms Computer software Mobile agents Program diagnostics Security of data Semantics Static analysis |
| ISSN号 | 0254-4164 |
| 其他题名 | a comparable code obfuscation framework measuring efficiency based on abstract interpretation |
| 中文摘要 | 代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码迷惑的有效性. |
| 收录类别 | EI |
| 语种 | 中文 |
| 公开日期 | 2011-07-01 |
| 附注 | Code obfuscation, which is an effective program transformation, can obscure the program understanding and thus protect the program from reverse engineering. There are a lot of applications about code obfuscation. This shows the efficiency of code obfuscat |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。