安卓应用网络通信中SSL安全漏洞自动化检测技术研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:genggeng07
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了保障用户隐私在网络传输过程中的安全性,安卓操作系统实现了安全套接字(SSL)网络安全协议。然而,由于开发者可能误用SSL相关接口,导致安卓应用存在被中间人攻击的风险,从而造成用户隐私泄漏。针对目前已有的SSL安全漏洞检测依赖于静态反编译技术,无法应对逐渐普遍的加固型应用,提出一种自动化动态检测方案。其主要思想是基于安卓应用用户界面(UI)遍历技术,模拟用户与应用交互行为驱动应用自动化运行,并在运行过程中验证应用能否有效抵抗中间人攻击从而判断其是否正确实现SSL相关接口。为了在UI遍历过程中触发有效的网络请求,覆盖可疑的漏洞点,首次提出基于界面类型优化控件树的策略以及基于控件路径集合计算界面状态相似度的方法,设计了安卓应用通用遍历模型,并实现启发式深度优先遍历算法。系统性分析了安卓应用中SSL安全漏洞的主要存在形式与安全威胁,提出并实现基于UI遍历技术的SSL安全漏洞自动化检测原型系统SSLTester。该系统首先基于特征匹配过滤待测应用,构建可疑应用集合;其次,基于定制化UI遍历策略驱动可疑应用自动化运行;最后,针对多台测试设备并行运行,扩展中间人代理插件实现对运行中的应用攻击测试并及时反馈攻击结果。为了验证该系统的有效性,对主流应用市场上热门的2456个应用进行检测,发现424个应用存在SSL安全漏洞。同已有方案SMV-HUNTER相比,检测效率提高约38.46%,检测准确率提高约6.4%。
其他文献
股权结构作为公司治理的基础,与股利政策的制定有密切联系。本文通过比较股权分置改革前后我国上市公司股权结构与股利政策的状况,分析股权结构与股利政策之间的关系,从而对
近年来,农行河南信阳市平桥支行在服务“三农”过程中,紧紧依托政府平台,联手财政投资担保和产权交易两大中心,合理利用农村五类产权,巧妙解决了农民贷款抵押难、农户贷款准入难、
报纸
针对目前万瓦激光功率计面临校准困难的问题,提出了先利用分束器互换测量法解决在万瓦激光功率下分束器的分束比测定问题,再采用分束测量法作为校准方法,以低量级功率计和分
对广州市2008—2010年PM2.5质量浓度、影响因素数据资料进行整理统计,通过定性分析、定量计算以及对各物理量之间的相互作用过程研究,得出PM2.5质量浓度变化特征和各影响因素
瓦斯渗流速度及温度响应能反映出受载煤体内部结构和能量的变化,可以作为煤与瓦斯突出预警信号。以型煤为研究对象,利用自主研发的含瓦斯煤受载破坏试验系统测定了三轴加载条
为提高人体动作的识别与理解能力,设计3D局部特征耦合回归森林学习的动作识别方案。利用Gaussian滤波器从深度图像中提取人体轮廓的空间点,将获得的轮廓点映射到3D直方图中,
近年来的相关研究表明氢是一种理想的选择性抗氧化物质,对多种疾病具有明显的防治作用。富氢水即水中含有适量氢气,具备抗氧化、抗炎、弱碱性、无毒等诸多优点,对缺血再灌注
【目的】玉米籽粒含水率是影响机械粒收的重要因素,某一地区收获时籽粒含水率的高低与品种特性、当地气候条件等因素密切相关。本研究在银川试点对宁夏38个玉米品种籽粒含水率变化进行了系统测试,通过脱水回归模型参数的最优估计,确立了各品种的脱水方程;预测了在宁夏地区不同类型品种籽粒含水率降至满足粒收水分含量的日期;并基于不同类型品种脱水特性、综合性状与产量等因素,进行了适合机械粒收品种配置,对于指导宁夏地区
迭代重建算法是重要的图像重建算法。迭代重建算法主要分为块迭代和同时迭代,同时迭代算法可以表示为加权Landweber迭代形式,松弛策略和加权方法对迭代收敛速度和重建图像的
由于无法与健全人进行有效的沟通交流,聋哑人在日常生活中会面临不同程度的歧视。聋哑人作为社会的一份子,是建设社会主义和谐社会不可或缺的重要成员,其他健全人员需要切实