【摘 要】
：
数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工程攻击。从语义的角度,给出了一种基于抽象
论文部分内容阅读
数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工程攻击。从语义的角度,给出了一种基于抽象解释的数据迷惑正确性的分析方法。首先使用抽象解释理论,从程序语义的角度,对数据迷惑进行形式化描述,用一种语义变换形式化地描述数据迷惑。然后在形式化描述的基础上,由语义变换和语法变换之间的关系,构造得到数据迷惑算法。最后在基于抽象解释的数据迷惑的形式化描述的基础上,对数据迷惑变换的正确性进行分析和讨论。
其他文献
本文针对混凝土小型空心砌块建筑极易产生的开裂渗漏问题,提出了可操作的防裂抗渗技术措施,包括建筑结构的模数协调与排块设计,芯柱、水平构件以及加强节点设计,控制缝设计,
根据循环平稳有关理论,通信信号的非线性变换频谱中存在体现各阶循环平稳性的离散谱线,谱线位置对应着信号载波频率和符号速率的线性组合,提取这些谱线可以完成信号的一些基
早期设计的TPC（Turbo Product Codes乘积码）译码器中,行列译码器顺序处理,半迭代之间外信息矩阵的重构引入了大量译码延迟,限制了译码器的处理速度。当采用m-译码器作为子译码
近几年,心理健康的问题已经成为大学生中普遍存在的问题,大学生也成为心理障碍、疾病的高发群体,特别是大学刚入学的新生。他们在思想上、心理上、生活上都要面临一个转变,而
本文旨在研究大蒜对食管癌的预防作用。选用Wistar大鼠84只,皮下注射1％甲基戊基亚硝胺溶液5mg/kg,每周一次。给此致癌药前,实验组大鼠用50％大蒜液灌胃,10m1/kg,每周六次;对照组
绝缘子作为输电线路安全运行的重要设备之一，其各种技术性能应得到严格的保证。正确的选择和设计架空线路的绝缘子串对维护电力系统正常运作有着极其重要的作用。对架空输电线
以往的代理签密方案多数需要可信中心,可信中心经常会变成被攻击的目标,一旦可信中心遭到攻破,则整个通信系统全部暴露并导致毁灭性的后果。为了克服这一缺陷,在新方案中,无
所谓特征是指事物比较突出的属性.一般民政理论在论述民政工作的主要特征时,主要涉及其政治性、社会性、群众性、多元性、广泛性等,这些特征仅仅是对民政工作表面或某一侧面
网络为学校德育工作提供了一处新平台、一条新思路、一种新手段.网络对学校德育工作的介入扩大了学校德育工作的影响力,使得学校德育工作更富成效,也更具生命力.但网络又是一
基金会是非政府组织(或非营利组织)的一种重要类型.基金会应当定义为,"以从事社会公益事业为目的,接受或者募集国内外自然人、法人或其他组织捐赠的财产,用于其章程所规定的