基于多粒度匹配的Android应用程序第三方库检测

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:tangdeqian1102
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Android应用程序引入恶意或存在漏洞的第三方库是Android应用程序演化过程中长期存在的严重安全问题。为检测Android应用程序中的第三方库及具体的版本信息,对应用程序进行静态分析和相似度匹配是一种常见的有效手段。商用Android应用程序通常运用多种混淆技术以防止逆向分析,包括基本的标识符重命名、死代码消除以及其他高级混淆技术(如类重打包、控制流随机化等),给第三方库的准确检测造成极大困难。现有的Android应用程序第三方库检测工具中,ATVHunter与Lib ID难以有效地检测被控制流随机化混淆的应用程序,Lib Pecker与Lib Scout无法有效地处理类重打包混淆的应用程序,此外,Lib ID与Lib Pecker由于对所有类或方法逐对进行相似度比较,因而检测效率低。如何能够有效检测经类重打包和控制流随机化混淆的应用程序,同时保持较高检测效率,是一个尚未解决的问题。针对该问题,本文提出一种多粒度分阶段匹配Android应用程序中第三方库并确定其版本的方法。方案使用前置高效的过滤器匹配,大幅缩小了后续匹配应用范围,然后使用粗粒度的方法相似度匹配支持对控制流随机化应用程序的库检测,此后为减少粗粒度匹配的误匹配,使用细粒度的方法调用路径操作码匹配实现应用程序类与库类的一对一匹配,最后基于细粒度匹配结果进行库识别,同时整个匹配检测过程中不依赖于任何包结构信息,使得本文工具能够抵御各种混淆技术。过滤器的引入与多阶段匹配提供了较高的检测效率。本文研究的主要贡献如下:(1)研究Android应用程序反编译中间代码特征,设计的过滤匹配方法能够为库类高效找出潜在匹配的应用程序类集合,降低后续相似度分析开销,提升检测效率。(2)研究类重打包与控制流随机化混淆技术,设计的方法操作码相似度匹配和方法调用路径操作码相似度匹配能够抵御控制流随机化并减少方法误匹配。(3)在Orlis和ATVHunter公开的包含1049个有库清单的Android应用程序和452个库文件的基准数据集上,对本文工具Lib Scan与现有第三方库检测工具(Lib ID、Lib Pecker、Lib Scout)的检测有效性进行了评价比较。本文工具相比现有工具具有更高的检测精度。(4)在流行的商用Android应用程序上进行的性能评估说明了本文工具具有相对较优的检测性能。在大规模Android应用数据集上,针对来自maven仓库和CVE描述的205个漏洞或恶意库进行了检测实验,说明了本文方案在商用Android应用程序上对漏洞或恶意库检测的有效性。
其他文献
氮化镓基材料由于自发极化和压电极化使得在未掺杂的异质结中能形成高密度高迁移率的二维电子气(2DEG),2DEG是影响GaN基高电子迁移率晶体管(HEMT)器件性能的关键因素。然而它们的性能受到两个相互矛盾的因素的限制,即2DEG浓度和栅极可控性。由于栅极长度和器件的频率特性成反比,一般通过减薄(Al,Ga)N(AlGaN)势垒层厚度以减小栅极到异质结界面的距离,以保持良好的栅极可控性。但另一方面减
学位
近年来,随着无人驾驶技术、人工智能、传感和机器视觉等技术的迅速发展,类似于3D游戏、移动增强现实(Mobile Augmented Reality,MAR)等新型车载应用层次不穷,该类应用极大地提升用户驾驶体验和驾驶安全,然而它们通常是计算密集和时延敏感的,因此它们的出现对无人驾驶车辆的资源提出了更高要求。考虑到单辆无人驾驶车辆资源有限,若全部本地化处理将会大大加重无人驾驶车辆的资源负担,可能导致
学位
学位
研究背景痣样基底细胞癌综合征(Nevoid basal cell carcinoma syndrome,NBCCS),又称Gorlin-Goltz综合征(Gorlin-Goltz syndrome,GGS)、多发性基底细胞癌综合症Basal cell nevus syndrome(BCNS),是一种常染色体显性遗传病,具有高外显率和变异性表达。目前已有文献报道的临床表现达百种以上,以多发性基底细胞
学位
虽然有机-无机杂化钙钛矿太阳能电池具有较高的光电转换效率,但其低结构稳定性和铅的毒性会严重限制它的商业应用。因而,探究无毒高稳定性钙钛矿具有重要意义。相比于铅基钙钛矿,锡基钙钛矿不仅具有合适的能带、高载流子迁移率,而且还具有无毒特性等;同时在无机层之间插入具有疏水性质的有机分子链可以提高材料的稳定性,使材料成为有机阳离子和无机物交替连接的低维钙钛矿结构。因此,本论文研究了一种具有有机二胺阳离子1,
学位
近年来,复杂网络系统可靠性已成为诸多实际网络与应用系统的研究热点。当前研究主要基于人工构建出的网络模型,在实际复杂系统中尚缺乏系统验证。本论文以实际交通流量网络与电子信息系统为研究对象,重点研究基于节点重要性识别的实际网络系统可靠性的问题定义、识别方法设计、算法实现与验证、得出结论。所研究的模型和方法具有很好的可扩展性与通用性。本文主要研究内容如下:1.提出了一种基于节点属性值重新计算的关键节点识
学位
嵌入式系统应用广泛,嵌入式软件规模和复杂度急剧上升,呈现出组件化、综合化的发展趋势。同时,物联网、工业控制、航空航天等领域对嵌入式软件的可靠性、安全性要求越来越高,如何提高嵌入式软件的安全性和可靠性成为长期被关注的关键问题。基于模型的系统工程(Model-Based Systems Engineering,MBSE)常用于开发大型嵌入式软件系统,以提高软件可靠性。其中常用的系统建模语言(Syste
学位
在人群聚集的场馆进行安全疏散需要应对许多挑战,如果引导不当,容易造成踩踏事件,造成重大人员伤亡。针对疏散中的人群动态变化,设计高效、合理的疏散策略引导行人有序疏散,能够有效降低风险,对人群安全管理具有重大意义。然而,人群疏散受多因素影响,充满不确定性,任何不可预见的突发事件都可能引起人群状态的不稳定,疏散策略应当能够应对环境和人群状态的变化,针对已发生的群体异常提供有效解决方案,防止进一步引发群体
学位
随着传感器的普及和感知技术的不断发展,越来越多的时序数据在连续不断地产生。这些时序数据中蕴含着丰富的信息,能够用于多种场景,例如预测城市中未来空气质量变化、工业监控数据自动风险排查、个性化商品推荐服务以及挖掘潜藏的自然规律等。其中时序相似性搜索作为时序分析的基本算子之一,用于支持以上应用,且这些应用普遍对其拥有较高的时效性要求。然而大数据时代的来临使得时序数据具有基数大、维度高且不断产生的特点,想
学位
隐私保护集合交集(Private Set Intersection,PSI)是一种重要的密码协议,有许多实际应用。随着云计算能力的增强,人们希望利用云存储私有数据集并将PSI计算委托给它。随着个人消费需求的智能化,位置信息日益彰显其重要性,安全的位置验证必不可少。尽管已存在一些高效的PSI协议,但没有一个协议同时支持数据外包、距离限定和区域限定。然而,设计可靠高效的数据外包隐私保护集合交集协议,仍
学位