中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 期刊论文
题名:
基于抽象解释的代码迷惑有效性比较框架
其他题名: a comparable code obfuscation framework measuring efficiency based on abstract interpretation
作者: 高鹰 ; 陈意云
关键词: 抽象解释 ; 程序变换 ; 程序分析 ; 代码迷惑 ; 压平算法 ; 抽象解释 ; 代码迷惑 ; 有效性证明 ; 比较框架 ; 非语义 ; 算法 ; 实例描述 ; 静态分析 ; 变换技术 ; 保护软件 ; 应用 ; 剖析 ; 逆向 ; 环境 ; 程序Algorithms ; Computer software ; Mobile agents ; Program diagnostics ; Security of data ; Semantics ; Static analysis
刊名: 计算机学报
发表日期: 2007
卷: 30, 期:5, 页:806-814
收录类别: EI
部门归属: 中国科技大学计算机科学与技术系,合肥,230027;中国科技大学计算机科学与技术系,合肥,230027;中国科学院软件研究所计算机科学实验室,北京,100080
摘要: 代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码迷惑的有效性.
语种: 中文
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/11278
Appears in Collections:计算机科学国家重点实验室 _期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
基于抽象解释的代码迷惑有效性比较框架.pdf(776KB)----限制开放-- 联系获取全文

Recommended Citation:
高鹰,陈意云. 基于抽象解释的代码迷惑有效性比较框架[J]. 计算机学报,2007-01-01,30(5):806-814.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[高鹰]'s Articles
[陈意云]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[高鹰]‘s Articles
[陈意云]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace