基于神经网络的云计算程序逻辑混淆方法研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:li63991923
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
云计算是国家重要信息基础设施,以服务外包的方式为智慧城市、智能制造、金融证券等各个行业提供计算平台支撑。资源所有权和使用权的分离导致了云计算面临严峻信息安全问题。攻击者或者不可信的云计算提供商通过分析和跟踪云端程序的执行过程,能够获取程序的执行逻辑,破坏云端程序执行的机密性。基于私有云的运行时控制流混淆方法(runtime control flow obfuscation,RFCO)将公有云中执行程序的分支语句判断条件移动到私有云中进行评估,而公有云与私有云间的交互产生大量的时间消耗。针对以上问题,本文聚焦于公有云环境执行程序的逻辑保护,提出一种基于神经网络的高效普适程序控制流混淆方法,具体工作如下:针对程序逆向分析而导致云端程序执行逻辑泄露的问题,提出一种基于Soot框架的三地址码程序控制流分割与转换方法,精准抽取程序重要的分支信息,设计了神经网络调用函数替换分支语句的判断条件;提出一种基于神经网络的伪分支语句构造与插入方法,将程序的控制流图复杂化,增大了恶意攻击者阅读和理解程序逻辑的难度;提出一种基于神经网络的程序逻辑混淆框架,根据分支语句的判断条件训练相应的神经网络模型,而神经网络中权值的不可解释性能够有效的保护用户程序逻辑。通过理论分析证明本方案可以抵抗静态逆向分析,且本方案单次分支语句调用的时间开销是RFCO方案的11.51%,具有较小的性能消耗。针对程序执行时的被动监听攻击,提出一种步长阶跃的循环转换方案动态生成步长值;根据前向数据流分析流程,提出一种变量关联关系挖掘算法,抽取出程序语句执行前变量间的约束关系,在执行神经网络调用函数时进行数据流一致性审核,有效检测基于数据修改的主动攻击;提出一种基于缓存机制的云端高效执行方法,提高混淆后程序在云端的执行效率。实验验证所提出的云端高效执行方法将测试程序蒙特卡洛算法估算值的执行时间降低为改进前方案的42.57%。通过理论与实验证明本方案保护用户程序逻辑的同时,用户程序在云端执行的效率较高。基于所研究的方法,搭建了大数据云计算平台,设计和开发了基于神经网络的程序逻辑混淆系统,在测试平台上对方案的可靠性和执行效率进行测试。实验结果表明,本文所提出的控制流混淆方案适用于通用大数据框架Map Reduce和CPU密集型应用程序,针对CPU密集型应用程序,使用本方案混淆的平均性能开销是原程序的1.27倍到2.58倍。
其他文献
本文为一篇英译中交替传译的口译实践报告,所描述的口译实践任务为本人负责口译的2018年亚洲城市与建筑国际学术年会中题为《设计能做什么》的演讲。本文对该实践项目进行了回顾,分析了这次实践中出现的各类问题和困难,并在释意理论的指导下对这些问题和困难做出分析,提出优化建议。在任务描述过程中,报告重点描述了译前准备阶段,详细介绍了译员的译前准备工作,突出了译前准备的重要性。在案例分析这一章节中,报告选取了
随着人们越来越关注个人的隐私信息,医疗环境下的相关隐私信息如何能够得到更加完善的保护也成为了研究的热点之一。由于医疗相关的可穿戴设备的数量随着物联网技术的发展越来越多,大量与用户相关的医疗隐私数据被保存在这些设备上,如用户生理信息、活动轨迹、睡眠情况等,对这些隐私数据的保护往往使用访问控制(Access Control)方法。而当前嵌入式设备由于资源受限的环境特点,无法完整的运行访问控制模型,因此
新疆古称西域,历史上就是少数民族的聚居地。作为边疆重地,从西汉起,汉族人口就陆续的迁入,大多是派驻西域的官吏和军队来保护领土完整和维护国家稳定。新中国成立后,为了促进新疆建设和发展,在政府的主导下,大规模的汉族移民从祖国各地来到新疆,在迁入新疆阿勒泰地区的汉族移民在同当地哈萨克族共同生活的几十年里,实现了民族间的互动和交融,民族关系也对当地社会的发展起到举足轻重的作用。本文主要研究新疆阿勒泰地区政
中国共产党自成立以来就高度重视理论学习。始终坚持理论学习是党在理论上不断取得创新成果的主要原因,也是党保持政治优势的重要法宝。延安时期中国共产党开展的马克思主义理论学习是一场大规模的理论学习运动,对加强党的思想建设和争取革命胜利产生了深远影响,在当时发挥了重要作用,在党的思想建设史上具有重要地位。研究这一理论学习运动,总结其历史经验,对于我们把握当前党的马克思主义理论学习具有重要的借鉴意义,更有利
目的:乳腺癌与糖尿病之间关系密切且复杂,相关影响因素繁多,为更好的理解两者之间的相关性,我们就糖尿病胰岛素治疗方面进行相关研究。首先我们进行细胞实验,选取乳腺癌耐药
近些年来,神经网络由于其对大量数据的学习能力而受到了学术界和工业界的热捧。在计算机视觉领域,通过对来自物理世界的干净图片添加细小的扰动就可以使得神经网络的识别能力完全失效。包括无人驾驶,人脸识别等神经网络的应用都受到了巨大的威胁。从2013年开始就有对抗样本的研究,关于新的更具威胁的对抗样本和如何抵御未知和现有的对抗样本的研究近些年来也是较为火热的话题。但是现有的关于对抗样本的应用与研究,大都是关
中国传统数学具有鲜明的特色,和古代西方数学截然不同,它是以计算为中心,实用性强。经过分析,本文认为中国古代的儒家思想,以农业为主的经济模式,以帝王君主为主的政治体制和
本文为一篇英译中交替传译实践报告,所描述的口译任务为笔者2018年完成的中美国际设计工作坊交传工作。笔者重点选取了“美国建筑教育”的讲座作为本次分析的对象,并从“释意理论”的角度出发,分析和讨论了一些典型案例,并进行了译文优化。在回顾任务过程中,报告主要从译前准备、译中过程和译后评估三个阶段详细介绍了口译实践的流程,并重点描述了译前准备阶段笔者的各类准备工作。在“案例分析”这一章里,报告紧密结合释
随着社会发展与进步,手机移动端的应用变得越来越广泛。目前,许多移动App在开发时,往往直接通过接口向底层服务发送请求,但随着公司业务越来越多,底层负责的数据处理和存储工
网络表示学习的快速发展为网络数据分析提供了新颖的研究思路,有效提升了数据挖掘任务的表现。传统网络表示学习方法大多聚焦于静态、同质的信息网络,即假设网络是静止不变、节点和边类型单一。然而,真实世界的网络往往是动态变化、节点和边类型多样的,即所谓的动态、异质信息网络,这使得传统方法无法有效建模网络的真实特性,学到的节点向量表示很难适用于真实场景。因此,本文立足于研究动态、异质的信息网络表示学习算法。具