Web应用安全性模糊测试关键技术研究

来源 :国防科技大学 | 被引量 : 0次 | 上传用户:helpothers
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Web应用程序凭借其轻量级、可扩展并且能够提供多样化服务的特点,已成为用户和应用服务之间最重要的通信方式之一。然而,web应用程序中的安全漏洞却并不少见,它们可能导致非常严重的后果,直接导致配置有web应用的设备遭受安全威胁。虽然将模糊测试技术应用到web应用上可以帮助安全研究人员快速又准确的对web应用的安全性进行评估。但是当前针对web应用的模糊测试技术中存在以下三大挑战:(1)Web客户端和服务端的通讯协议大多数是有状态的并且通讯数据往往会被加密或者编码;(2)Web应用模糊测试技术会受到服务端程序逻辑条件的约束,从而限制模糊测试的深度;(3)Web应用结构复杂,其中前后端交互中的参数点众多,而且参数之间还可能存在关联性。这些挑战给模糊测试的有效性带来了严重的影响。本文针对当前web应用模糊测试技术中存在的这三个关键性问题展开以下两方面的研究工作。1.针对状态性协议以及通讯数据加密的问题,提出面向web前端的知识引导型灰盒模糊测试技术,从输入源进行变异,复用了程序逻辑。这能够能避免产生无效的测试用例并且很好的解决了协议状态性和通讯数据加密编码的问题。此外,还提出基于静态信息提取方法构建知识库来引导模糊测试的进行从而可以检测深层代码和隐藏接口中的漏洞。在实验测试中,我们的方法确定了12个漏洞(包括7个零日漏洞),这些漏洞共影响31,996台在线设备。2.提出了一种反馈驱动的漏洞导向型灰盒模糊测试技术来对web应用服务端安全威胁进行发现。针对不同的漏洞类型,采用的不同的变异规则从而可以自动的绕过服务端的一些过滤操作并且有效快速地完成对漏洞的验证。同时设计了阶段性漏洞判别算法,可以在探测阶段较准确的判断漏洞是否存在,为模糊测试阶段提供信息导引。此外,在模糊测试的时候还充分考虑到PHP语言的动态特性导致的双输入参数之间的关联,从而扩展了模糊测试的广度。在实验测试中,我们的方法验证了10个漏洞。
其他文献
传统商用交换机中采用SRAM和TCAM等交换机硬件查表资源以精确匹配或通配匹配的方式实现高速流表查找。但随着网络规模的持续扩大和精细流量控制需求不断增加,交换机上的硬件查表资源容量难以支撑大量增长的流表规则。基于软件定义网络(SDN),软件可通过配置控制器在底层交换机中实时部署细粒度的缓存规则来控制流量转发,从而提高有限硬件资源情况下交换机的查表性能。现有的规则缓存机制通常基于单级规则缓存表进行设
学位
<正>川大皮革系90周年校庆的喜讯得到了广大皮革校友的热情支持与响应,特别是73441班的老校友闻讯欢欣鼓舞。在成都工作的几位同学精心策划,组织了为期三天的校庆活动,并千方百计将消息通知到了全班有通讯联系的每位同学,要求相互转告。最终,全
期刊
云存储作为一种新范式为用户提供了弹性而可靠的数据存储方案,使得用户可以任何时刻通过网络访问云服务器来存取数据,降低了用户本地数据维护成本,越来越多的用户也倾向将数据存放在云端,但存放在云端的数据由于脱离用户控制面临着数据块被损坏、隐私泄露、被未授权用户访问或窃取等问题,因此云环境下如何确保上传到云端数据的完整性、机密性、访问用户身份真实性、是否具有访问权限等问题受到了越来越多的关注和研究。为验证云
学位
随着信息技术的发展,异构分布式计算系统逐渐成为科学计算、工程应用等科学领域的强大技术支撑。工作流作为异构分布式计算系统中一种常见的执行对象,其调度策略的优劣直接影响工作流执行效率和系统资源利用率。本文针对异构分布式计算系统下工作流调度执行时间和可靠性优化问题,进行了以下两个方面的研究:(1)针对异构计算系统下单工作流执行时间最小化和可靠性最大化问题,提出了一种任务合并和任务复制的算法MDMR(Me
学位
机会网络是一种不需要在源节点和目的节点之间存在完整路径,利用节点移动带来的相遇机会实现网络通信的、时延和分裂可容忍的无线自组织网络。这种新型网络可以容忍较长的时延以及频繁的网络连接中断,对于野生动物监测、移动社交网络、车载网络以及偏远地区互联网设备等场景有较强的适应性。近年来网络技术的研究学者对机会网络中的路由算法、安全性问题、应用领域以及节点的协同和移动等问题展开了广泛而深入的研究,极大地推动了
学位
网络流量异常检测旨在发现偏离正常模式的网络数据。网络自身设计的脆弱性以及网络背后潜在的经济利益使其面临着越来越多的网络安全威胁,人们对网络流量异常检测技术的应用需求愈发迫切。网络流量异常检测分为两种:基于流量统计特征的异常检测和基于有效载荷特征的异常检测。流量统计特征异常检测的特征获取相对容易,但其数据本身的局限性导致这种方法难以发现隐藏在网络流量数据报文中的威胁行为,有效载荷异常检测恰好能够弥补
学位
在通往exascale系统的道路上,可靠性(仅次于并行管理和能源效率)被视为三大挑战之一。虽然一些预言性的高度频繁的故障预言并没有成为现实,但对于当前和未来的系统设计来说,这种预言今天仍然有可能应验。未来保证高性能计算机的可靠性,有很多容错技术被提出和应用。最典型的就是通过定期将程序的状态保存到检查点文件,且在故障发生时进行系统恢复的检查点回滚恢复方法来保证系统的可靠性。然而,任何用于容错的技术都
学位
新型非易失性存储技术的兴起和发展,很好地解决了传统持久性外存和内存之间访问时延差距太大的问题。随着数据量爆炸式增长,高性能计算和数据库管理系统对新型非易失性存储的需求急剧增加。外排序作为数据库管理系统的基本算法被广泛应用,在算法执行过程中内存和外存会频繁进行数据交换,产生大量I/O操作。传统的外排序算法主要针对传统磁盘存储的特点设计的,无法充分发挥新型非易失性存储的丰富特性。本文针对SSD以及In
学位
静态随机存取存储器(Static Random-Access,SRAM)具有速度快、稳定性好的特点,是So C芯片中不可或缺的部分。近年来,SRAM的需求量持续提高,但面临的挑战也在不断增多。随着工艺节点的进步,SRAM的性能越来越好,面积也越来越小,这时功耗问题就变的更加突出。因此,低功耗SRAM技术的研究具有重要意义。本文基于28nm LP(Low Power)平台,分别从动态功耗和静态功耗两
学位
在量子计算机强大计算能力的威胁下,开展可以抵抗量子计算机攻击的后量子密码研究变得越来越迫切。格是欧氏空间Rn中的离散加法子群,格上的许多计算问题被证明是NP-hard,常用来作为格基密码体制的底层困难问题。目前密码学者还未找到可以有效求解格上计算困难问题的量子算法,因此格密码学在后量子时代受到了越来越多的关注。最短向量问题(Shortest Vector Problem,SVP)是格中最基础的计算
学位