基于过程间分析的android程序隐私泄露检测的研究

《基于过程间分析的android程序隐私泄露检测的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、申请上海交通大学工程硕士学位论文基于过程间分析的Android程序隐私泄露检测的研究学校代码：10248作者姓名：刘涛学号：1110379046第一导师：沈备军第二导师：唐祝寿学科专业：软件工程答辩日期：2014年1月7日上海交通大学软件学院2013年12月万方数据ADissertationSubmittedtoShanghaiJiaoTongUniversityforMasterDegreeofEngineeringDetectingAndroidPrivacyLeaksBasedonInterprocedualAnalysisUn

2、iversityCode：10248Author：TaoLiuStudentID:1110379046Mentor1：BeijunShenMentor2：ZhushouTangField：SoftwareEngineeringDateofOralDefense：2014.1.7SchoolofSoftwareShanghaiJiaotongUniversityDec.,2013万方数据基于过程间分析的Android程序隐私泄露检测的研究基于过程间分析的Android程序隐私泄露检测的研究摘要随着科技的发展和人们生活水平的提高，智能手机

3、逐渐成为人们主要的日常生活用品之一。智能手机在为使用者提供日常生活上的便利的同时也给使用者的个人信息安全带来了隐患。Android作为目前市场占有率最大的移动操作系统，其运行设备上的个人隐私数据的保护受到了国内外信息安全学界以及国际社会的关注。在此背景下，本文通过对Android应用程序的程序结构的分析和Android程序的过程间程序分析方法的研究，提出了基于过程间分析的Android程序隐私泄露的检测技术和方法，并实现了相应的自动化检测工具。本文首先调研与分析了目前国内外对Android程序的隐私泄露检测技术研究现状。针对于目前研究

4、所存在的问题，研究提出了基于过程间分析的Android程序隐私泄露检测方法：1)以Android程序伪代码为分析对象进行静态分析，从而保证程序分析的数据不会由于反编译过程中引入的错误代码而导致分析结果不准确。2)使用了流敏感、上下文敏感等数据流分析技术对Android程序进行过程间分析，提高了分析的准确率。3)对Android程序中的反射函数调用进行反射标准化处理，使得分析检测程序可以按照通常的静态分析方法对带有反射的Android应用程序进行分析检测。4)对污点分析检测规则进行改进，使得污点分析的结果能够更加精确。接着在此基础上，本

5、文设计实现了自动化的Android隐私泄露检测工具，能够对Android程序的各个程序执行入口进行分析，检测程序中是否包含有隐私泄露的情况发生。文中对隐私泄露检测工具的需求模型和设计模型进行了详细建模。最后，本文对文中的反射标准化技术和自动化隐私泄露检测工具进行了实验，以验证其有效性和实用性。实验结果表明，文中所研究提出的分析检测方法和检测技术是有效的，所设计实现的隐私泄露检测工具是可靠的，可以对Android程序的隐私泄露行为进行检测。I万方数据基于过程间分析的Android程序隐私泄露检测的研究关键词：信息安全，隐私泄露，静态分析

6、，污点分析II万方数据基于过程间分析的Android程序隐私泄露检测的研究DETECTINGANDROIDPRIVACYLEAKSBASEDONINTERPROCEDUALANALYSISABSTRACTWiththedevelopmentoftechnologyandtheimprovementoflife,smartphonehasreplacedtraditionalmobilephonetobecomeacommodityofpeople'sroutinelife.Whensmartphonesprovidealotofcon

7、veniencetousers,italsobringsamountofprivacyleakrisksofusers'personalinformation.Androidwhichhasthelargestmarketshareofmobileoperatingsystem,isconcernedbytheinternationalsocietyandacademiaaboutitsprivacydataprotection.Underthisbackground,thisthesisproposesanewmethodtodet

8、ecttheprivacyleakagesinAndroidapplicationsbyanalyzingthestructureofAndroidprogramandresearchingthetechniqueofi