面向SSL Error-Handling漏洞的自动发现方法研究

来源 :山东大学 | 被引量 : 0次 | 上传用户:yunguii
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安卓系统内嵌了SSL库来进行加密传输,开发者可以直接使用这些库在程序中与服务器建立HTTPS连接,但是在实现这些功能时,开发者错误的使用了这些库而破坏了HTTPS的安全性,使程序易遭受到中间人攻击。尤其是安卓混合应用,使用了大量WebView作为程序的核心组件,当开发者使用WebView与服务器通讯时,出于安全角度的考虑使用HTTPS连接,正是在实现这一功能是,开发者错误的处理了来自系统的证书异常错误,导致程序无法抵抗中间人攻击,或者是钓鱼攻击。在本文中,我们确认了来自第三方安卓应用市场的应用程序有很多含有这个漏洞,并且我们设计并实现了一个框架来对这个漏洞进行自动化检测,该框架同时包含对目标程序的静态分析和静态分析。在静态分析模块,框架会定位到那些处理证书异常的代码,然后对程序的界面跳转图和函数调用图进行构建,最终用这些信息引导动态分析模块。动态分析模块会把程序安装并运行,并根据程序的实时运行状态模拟人操作来控制程序跳转到含有漏洞的页面,最终触发漏洞。在动态分析部分我们需要同时对两个层面的UI进行处理,一个是安卓原生UI,一个是WebView中的Web UI。为了验证框架的有效性,我们从第三方市场爬去了13820个安卓应用程序,经过我们的检测其中有645个程序包含这个漏洞,整个测试过程用时36.5小时。
其他文献
随着无线传感器网络的不断发展,其应用范围也越来越广泛。由于无线传感器网络节点通常部署在缺乏物理保护或者敌对的环境中,因此当传送敏感数据时尤其需要考虑其安全性。但是由
椭圆曲线密码(ECC, Elliptic Curve Cryptography)是一种杰出的公钥密码体制。它具有众所周知的优势,在智能卡、无线网络和嵌入式系统等资源受限的设备中有广泛的应用。在ECC
社会关系网络承载着人们在生产生活中形成的各种关系,随着互联网的发展,这种社会关系逐渐渗入到网络系统中,形成了复杂网络。复杂网络是人们的各种社会关系在网络中的体现,是复杂
随着网络通信技术的发展,以太网在控制领域的应用越来越广泛。传统的监控设备大多采用符合RS-232标准的串行接口,面临着RS-232转换10BaseT联网数据集中、接入、控制和二次开发
随着电子商务和企业信息化的迅猛发展,企业积累了多种异构信息系统。为了适应经济全球化进程,便于企业之间的信息交流和业务往来,企业不仅需要集成内部的遗留系统,而且需要构
装箱问题简单地说就是按一定规则将若干物体互不重叠地放入有一定容量的容器中,并达到某种最佳目标的问题。装箱问题无处不在,被广泛地应用于计算机科学、工业领域和管理科学
随着信息技术的发展和普及,越来越多的业务应用系统在计算机网络中投入运行,给人们的数据处理和管理工作带来了便捷。但是由于信息技术发展的历史性原因和应用的差异性等因素,导
由于硬件设备和环境等因素的限制,很多情况下,我们采集到的图像分辨率并不理想。如果通过改进硬件设备或改善图像的采集环境来提高图像的分辨率,代价可能比较高甚至是不现实
无线传感器网络(wireless sensor network,简称WSN)是计算机科学一个重要的研究领域。由于无线传感器网络布散节点数量庞大、监测区域环境限制及节点自身构造等因素,布散后节点
LR可视性问题是计算几何领域的重要研究课题之一。通过对LR可视多边形特性的研究,能够得到求解计算几何经典问题的有效算法。因此,对于LR可视多边形的研究,不仅具有重大的理