恶意主机环境下的移动代码保护

来源 :浙江大学 | 被引量 : 0次 | 上传用户:CNHTC01
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,移动代码技术得到了极大的发展,并有着广泛的应用前景,但代码移动性所引发的安全问题阻碍了该技术在现实商业应用中的大规模使用。在这些安全问题中,如何保护移动代码不受主机的损害是传统安全技术无法处理的新需求。因此,恶意主机环境下移动代码保护技术的研究具有重要的理论和现实意义并受到极大的重视。保密性是移动代码保护中尚未解决的最本质最困难的一个问题,论文以java字节码作为具体的研究对象,深入研究了移动代码保密性相关的各种技术。从移动代码反盗版和知识产权保护角度出发,深入研究了软件水印技术。论文通过优化不经意传输(OT)协议,提出了一个新的基于非交互保密函数计算的移动代理保护方案。由于OT协议的计算开销主要集中在计算密集的取幂运算,通过扩展二选一OT协议为N选一OT协议,把N个二选一OT调用合并成单个N选一OT调用,并在此基础上定义新的并发OT协议,使取幂运算次数减少为常数次。组合该并发OT协议与加密电路构造,得到一个非交互保密函数计算协议。以源主机充当Alice,多个主机充当Bob,所有主机贡献出加密电路当中代表自己函数的部分,各个子电路进行级联,从而构造出最终的加密电路。与同类方案相比,新方案较大地降低了计算开销,并消除了对公共随机源的依赖,使得安全性更强,协议更容易实现。论文还对java虚拟机模型与类文件格式进行了分析,建立了一个对java字节码进行代码混淆的形式化模型,揭示了混淆变换具有的一些特性,并证明对java字节码可以创建单轮的混淆算法。论文从字节码的角度描述了不同的混淆方法,并设计了有效的方法来产生冗余代码。同时论文还讨论了评估混淆处理质量的不同方法。在理论分析的基础上设计了一个字节码层次的代码混淆算法,与其它对高级语言程序进行完全分析的混淆算法相比它同样有效但更简单,同时算法具有灵活性和可伸缩性方面的优势。论文提出并实现了一种新型的基于代码指令统计分布的盲提取软件水印方案,该方案是当前健壮性最强的软件水印方案之一。在程序的指令集中随机抽取两个不相交的基数相等的子集,对特定子集的选取就是要嵌入的水印。改变程序使对应于某个子集的所有指令的出现次数都增加一个常数。检测时,分别计算相应两个子集指令出现次数的平均值,如果两个均值之差大于阈值,则认为包含水印。由于水印信号分散在整个代码的指令统计分布上,因此具有非常强的健壮性,能有效抵抗多种常用攻击。基于假设检验理论给出了详细的理论分析和证明。针对Java字节码实现了提出的方案,通过大量实验进行了验证。 论文对恶意主机环境下移动代码保护技术进行了广泛深入的研究,对非交互保密函数计算、代码混淆和软件水印技术进行了有益的探索,并取得了一些很有意义的成果,从而为今后这方面的进一步研究打下了良好的基础。
其他文献
针对小型ROV定深运动的非线性、时变性及干扰因素复杂等问题,对小型ROV的定深运动控制进行研究。根据小型ROV的形体结构,建立小型ROV定深运动控制模型,通过对传统PID控制及模
网格的本质是在动态、多机构的虚拟组织内实现协同的资源共享和问题求解。由于网格资源具有异构性、动态性等特点,传统的资源管理方式在网格中并不适用。而网格经济模型以市
安全协议是建造网络安全环境的重要基石,是保证网络安全的核心技术。设计和证明安全协议自身的正确性和安全性,成为网络安全的基础。形式化分析方法已被证明是用于分析、设计
目的:研究马齿苋(Portulaca oleracea L.)中的生物碱类化学成分。方法:采用薄层色谱、聚酰胺柱色谱、ODS柱色谱、葡聚糖柱色谱等技术进行分离纯化,根据超高效液相色谱、核磁
作为"一带一路"倡议的重要组成部分、国际物流陆路的重要载体和运输骨干,中欧班列(含中亚班列)自开行以来受到国内外客户的青睐,发展势头迅猛,规模数量呈现井喷式增长。中欧
近期,英国政府在几经反复之后,最终决定将华为踢出英国5G建设圈。具体的政策是,2020年12月31日之后不再采购华为设备,并要求本国运营商在2027年之前移除已使用的华为5G设备。
很多人都相信5G将带来无限可能,但很少有人能预料到会这么快应验在三星身上。9月7日,三星发布公告称已与美国最大移动运营商Verizon签订了包括5G在内的、规模为66亿美元的无
信息的理解与共享是信息科学中十分重要的课题。Internet及其上的信息服务系统无疑是最重要的信息共享基础设施,数以亿计的用户和各类软硬件参与到了这个复杂巨系统的发展与
基于培养核心素养的"和融课堂",是以学生核心素养的培养为着力点,以研究性学习为主要方式,以"和而不同、相融共进"为核心理念,促进思维互补、开发思维潜能、实现思维融合,引
针对目前流行的三维物体激光扫描仪获取的点云数据量大,冗余度高等问题,提出一种基于信息熵的点云精简算法。首先,定义数据点的曲率、点到邻域点重心的距离、点到邻域点的平