文档分类：
下载后只包含 1 个 PDF 格式的文档，没有任何的图纸或源代码，
下载前请先预览，预览内容跟原文是一样的，在线预览图片经过高度压缩，下载原文更清晰。
您的浏览器不支持进度条
下载文档到电脑，查找使用更方便
还剩?页未读，继续阅读
播放器加载中，请稍候...
该用户其他文档
下载所得到的文件列表基于抽象解释的代码迷惑有效性比较框架
parable code obfuscation framework measuring efficiency based on abstract interpretation.pdf
文档介绍：
基于抽象解释的代码迷惑有效性比较框架高鹰2引计算机学报客户代码移动到主机执行时面临两类问题.一类是恶意客户问题,这时需要保护主机执行环境的安全性不会受下载的客户代码的影响;另一类是恶意主机问题,这时需要保证客户代码不会被恶意主机窃取信息或篡改.代码迷惑是针对恶意主机问题而提出的一种保护客户代码的技术,它通过对代码进行程序变换,提高变换后代码的理解难度,来达到摘要代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码关键词抽象解释;程序变换;程序分析;代码迷惑;压平算法TP311transformationcaninformationsemantics目中国科技大学计算机科学与技术系合肥中国科学院软件研究所计算机科学实验室北京迷惑的有效性.Yin91Yi_Yunll2户口阰厂琹户“￡鄌.耍琇oSciefeT-c^noZogyoChinnHPi￡琽,优声“￡琒襱￡船,閑oSfi8ncPsBeiJig瑆engineeringobfuscation1imit..,analvsisbut.}