基于数据流分析的Android应用程序密码学API误用风险评估

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:guohui413
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在Android应用程序中,密码学API主要用于处理与用户隐私相关的重要数据,正确使用此类API对应用程序开发者至关重要。然而,由于开发者缺乏密码学领域知识或对具体密码学API的使用方法理解不充分,Android应用程序中的密码学API误用现象频发,导致用户隐私数据面临极大风险。现有的Android应用程序密码学API误用检测方案通常根据预先定义的误用规则,对误用行为进行静态分析,并对具体误用进行归类。一方面,不同工具针对的误用规则存在较大差异,导致现有检测存在一定程度偏向性;另一方面,现有方案仅关注对误用行为本身的检测,并未考虑被误用API操作的数据的敏感流向,无法对密码学API误用行为导致的实际风险进行量化。针对以上问题,本文分析了现有方案所采用的各种误用规则间的差异和联系,构建了统一完备的密码学API误用规则集,构建了密码学API误用检测工具链,对应用程序中的密码学API误用进行更全面的检测。在此基础上,本文综合考虑误用行为和其相关数据流的风险等级,基于数据流分析和聚类技术,提出了Android应用程序密码学API误用风险评估方案。对于Android应用程序,该方案能够在全面检测其密码学API误用行为和数据流分析的基础上,评估该应用程序在密码学API误用方面的风险等级。本文的主要贡献如下:(1)在研究现有方案定义的误用规则的基础上,构建了统一完备的Android应用程序密码学API误用规则集。该集合包含21条误用规则,涵盖了现有多个方案可检测的误用规则。(2)基于数据流分析和聚类技术,提出了Android应用程序密码学API误用风险评估方案。该方案使用数据流分析获取以误用API作为数据源所引起的敏感数据流,综合考虑误用风险和数据流风险特征,结合聚类算法实现对Android应用程序的密码学API误用风险评估。(3)基于本文提出的方案,开发了对应的Android应用程序密码学API误用风险评估工具Crypto Evaluator,并使用Crypto Evaluator对包含10191个Android应用程序的数据集进行了分析。结果展示了Crypto Evaluator在误用检测方面的全面性,及工具在误用检测、数据流分析、风险评估等方面的发现,通过实验说明了工具的分析开销,并通过实现具体扩展的方式展示了工具的可扩展性。(4)本文借助关联分析算法,发现了误用规则之间、误用规则与数据流之间的潜在联系,并总结和讨论了存在相应联系的原因。
其他文献
目的:检测中海拔地区慢性阻塞性肺疾病(COPD)急性加重期、稳定期患者及健康成人血浆中SP-A表达水平,并与低海拔地区COPD急性加重期患者及健康成人比较,分析中、低海拔COPD患者血浆SP-A的差异及与肺功能指标的关系。探讨SP-A在中海拔地区COPD发生发展过程中的作用及临床意义。方法:1.随机选取2017年11月-2018年11月在青海省人民医院就诊的COPD急性加重期、稳定期患者及健康体检
当今全球化和信息化对人才提出了新需求,催生了核心素养。许多国家颁布了大量关于核心素养的文件,这些文件具有显而易见的一致性或相似性,但并不完全相同。因此,在差异性的背后可能存在一些值得探讨的问题。就英语学科而言,21世纪美国英语学习的目标被概括为以C开头的五个词:交际、文化、联系、比较和社区。而在中国,英语作为一种具有特定教学目标的外国语言教育,目标之一就是培养学生的英语学科核心素养,包括语言能力、
随着网络技术和业务的发展,网络用户数量逐年增加,网络中蕴涵的大量的用户行为信息成为了相关人士关注的重要分析来源。在高校中通过数据挖掘手段对校园网的用户行为信息进行分析,可以克服高校中传统的管理模式不够精细和深入的弊端。传统校园用户行为分析系统中主要包含主题模型建立和关联模式挖掘两个部分,现有的主题模型提取出的用户主题词对于语义的表示能力较弱,且传统关联模式挖掘的可定制性不高,容易提取到较大众但无用
光纤光栅传感器的解调方式多种多样,干涉解调方法具有分辨率高、动态范围大、高频响应度好等特点而成为目前研究最多的解调方式之一。利用干涉法解调相位的方式最早应用于激光光源的光纤传感方面,后来演变到光栅传感领域中,干涉光源也由激光变为具有一定宽度的窄带宽谱光源。在激光光源的干涉法解调中光源强度噪声和相位噪声对解调系统分辨率的影响前人已有研究,但是光栅干涉解调系统的分辨率除去光源噪声外,还受到光栅谱宽、干
为帮助运动功能障碍患者提高独立生活的能力和改善生活质量,脑机接口技术(Brain-Computer Interface,BCI)即一种由脑电信号直接控制外部机电设备的技术快速发展,并在医学康复和智能控制等领域具有较好的研究前景。目前针对BCI的研究主要是基于单模态的脑电信号控制系统,但其在实际应用中存在信号识别率较低、信息传输速率低等方面的不足。本文针对上述问题提出了融合运动想象范式和稳态视觉诱发
表观遗传是指DNA序列本身未发生改变,但基因表达却因为序列的各种修饰而发生变化的遗传现象。DNA甲基化是表观遗传的调控机制之一,不仅可以改变基因的表达模式,还可以参与基
目的:通过糖尿病动物模型,从新型委陵菜黄酮衍生物中筛选具有抗糖尿病活性的候选化合物。观察抗糖尿病候选化合物对2型糖尿病动物模型的降血糖作用,并从改善胰岛素抵抗,调节
目的:探讨两位阅片者采用前列腺影像报告和数据系统第一版(prostate image-report and data system version 1,PI-RADS v1)与第二版(PI-RADS v2)对前列腺临床显著癌进行诊断
铜锌锡硫系太阳能薄膜电池是基于Cu(In,Ga)Se2(CIGS)薄膜太阳电池而衍生出的一类新的半导体光伏器件。目前多数的研究都借助于真空或是非真空的途径来制备铜锌锡硫薄膜并组装
目的:随着人类社会老龄化,脑部疾患的发病率逐年上升。血脑屏障的存在阻碍了药物进入脑内,严重影响了脑部疾病的治疗效果。本项目以PEG-PLGA为载体制备纳米粒(NPs),以脑内皮