基于抽象解释的代码迷惑有效性比较框架

• 作者: 陈意云 高鹰
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 抽象解释 程序变换 程序分析 代码迷惑 压平算法
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 806-814
• 页数: 9页
• 分类号: TP311
• 字数: 11115字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2007.05.011

摘要

代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码迷惑的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈意云	中国科技大学计算机科学与技术系	83	854	16.0	26.0
5	高鹰	中国科技大学计算机科学与技术系	1	32	1.0	1.0