Institutional Repository
| 基于抽象解释的代码迷惑有效性比较框架 | |
| Alternative Title | a comparable code obfuscation framework measuring efficiency based on abstract interpretation |
| 高鹰; 陈意云 | |
| 2007 | |
| Source | 计算机学报
 |
| ISSN | 0254-4164 |
| Volume | 30Issue:5Pages:806-814 |
| English Abstract | 代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码迷惑的有效性. |
| Indexed Type | EI |
| Keyword | 抽象解释 程序变换 程序分析 代码迷惑 压平算法 抽象解释 代码迷惑 有效性证明 比较框架 非语义 算法 实例描述 静态分析 变换技术 保护软件 应用 剖析 逆向 环境 程序algorithms Computer Software Mobile Agents Program Diagnostics Security Of Data Semantics Static Analysis |
| Department | 中国科技大学计算机科学与技术系,合肥,230027;中国科技大学计算机科学与技术系,合肥,230027;中国科学院软件研究所计算机科学实验室,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11278 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 高鹰,陈意云. 基于抽象解释的代码迷惑有效性比较框架[J]. 计算机学报,2007,30(5):806-814. |
| APA | 高鹰,&陈意云.(2007).基于抽象解释的代码迷惑有效性比较框架.计算机学报,30(5),806-814. |
| MLA | 高鹰,et al."基于抽象解释的代码迷惑有效性比较框架".计算机学报 30.5(2007):806-814. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于抽象解释的代码迷惑有效性比较框架.p（776KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment