模糊测试相关论文
字符串SMT（可满足性模理论）求解器被广泛的应用在学术界和工业界。求解器的运行效率和正确性会极大的影响到各种软件和工程任务的执......
基于深度学习模型的智能软件具有强大的推理与分析能力,被广泛应用在自然语言处理、图像识别、交通等多个领域。由于数据集的限制......
随着网络通信技术和汽车产业的快速发展，车联网内数据交互日益频繁，同时，车联网的安全问题也日益严重。本文首先介绍了针对车联网的多......
随着人们对软件系统安全问题关注度的不断提升，模糊测试作为一种用于安全漏洞检测的安全测试技术，具有自动化程度高、误报率低等优点......
物联网设备安全是研究者目前热点关注的问题之一,针对物联网设备Web接口的网络攻击会造成严重的后果。模糊测试作为一种常用的软件......
万物互联的时代已经到来,然而大量的研究表明,物联网设备的安全性不容乐观。为了提高设备的安全水位,必须在黑客利用漏洞违法犯罪......
开源软件的不断发展导致了软件漏洞的数量呈现上升趋势,因此软件漏洞自动挖掘技术也得到了越来越多研究者的关注。模糊测试技术一......
软件脆弱性已成为互联网安全的主要威胁来源，软件脆弱性分析技术的重要性日益突出。模糊测试是脆弱性分析的热点技术之一，通过持续生......
硬件模型检查器是保证计算机硬件设计正确无误的工具之一。然而,硬件模型检查器本身作为一种软件,他自身也有可能存在着一些缺陷。......
物联网协议是物联网的基础,为物联网的各种功能和应用场景提供支持,让物联网的世界更加丰富多彩。但是在应用物联网协议时,应用程......
随着物联网的发展,蓝牙技术作为物联网常见的短距离无线通信技术,在不断更新的同时,带给用户的信息安全问题也越来越突出,近些年来......
随着汽车电子集成度越来越高以及与物联网的结合,现代汽车已不是简单的物理控制系统,智能化程度越高的汽车集成的电子控制单元越多......
随着软件复杂度增加,软件出现错误的概率也逐渐增大,软件安全漏洞数量持续增多,网络空间安全形势日趋严峻。模糊测试作为一种快速......
覆盖导向型模糊测试技术是当今最为流行、最为有效的自动化漏洞挖掘方法。它根据测试用例的代码覆盖率选择出触发更多执行状态的种......
深度学习技术凭其高准确性在人工智能领域,如计算机视觉、自然语言处理等方面取得突破性成就并迅速占领市场,其自身质量也越来越受......
学位
web安全漏洞是危害web系统安全重要原因,因此对web系统进行安全检测尤为重要。现有的web安全测试研究方向主要分为模糊测试以及白......
模糊测试是漏洞挖掘中最为常用的方法之一,具有可用性好、误报率低和无源码依赖等优点,然而在当下,软件系统规模不断增长,复杂性不......
随着移动互联网技术的快速发展和智能手机的大量普及,利用智能手机进行毒品交易、传播网络谣言,电信诈骗等犯罪行为日益猖獗。面向......
JavaScript引擎是浏览器的重要组成部分,为网页添加各式各样丰富的动态界面,给用户提供流畅美观的浏览效果,是整个浏览器动态显示......
学位
近年来,随着深度学习技术在自动驾驶、图像识别等领域不断产生突破性成果,研究人员逐步加强对深度学习框架的重视,涌现了大量深度......
当前Android系统已成为最主要的移动互联网平台,并且Android的技术开放性为移动设备厂商对官方系统进行定制化开发提供了便利。相......
由于软件技术的飞速发展,导致软件内漏洞数目也在飞速增长。而过去手工挖掘漏洞的方式存在着对安全研究员经验要求高,挖掘漏洞速度......
模糊测试是一种常用于软件测试中的技术,其中,灰盒模糊测试技术因为具有覆盖率信息反馈以及快速生成用例的特点而应用广泛,但是它......
车联网是建设智慧交通的重要基础,在提升道路安全和提升通行效率方面具有极大的优势,然而,传统车联网的可扩展性较差,配置不够灵活......
随着国内外移动应用程序开发模式逐渐从原生App扩展到Hybrid App,App的业务服务系统复杂度也在不断地上升。如今,大多数的移动端Ap......
随着“万物互联”的概念逐渐深入人心,物联网相关技术也逐渐应用于人们日常生活中,物联网技术的实现与应用大多以嵌入式设备作为主......
随着科技的不断进步以及互联网技术的不断发展,软件系统的数量及规模在不断的壮大,保证软件系统的质量是亟待解决的问题。模糊测试......
随着工业互联网的应用越来越广泛,其安全问题也开始逐步受到重视,在攻击者之前发现其存在的潜在安全隐患是十分重要的。模糊测试是......
随着LTE网络的快速发展以及在全球范围的部署,LTE网络的安全性越来越被人们关注。近几年,越来越多的LTE网络的安全漏洞被发现,这些......
针对工业控制系统（Industrial Control Systems,ICSs）的网络威胁的频率和复杂程度与日俱增。工控网络协议（Industrial Control Protoc......
随着互联网的快速发展,分布式系统因在其分布性、资源共享、可扩展性等方面的明显优势,成为了当前互联网的主流架构。分布式系统的......
软件漏洞通常是指可被恶意利用的软件错误或者缺陷,是影响信息系统安全性和可靠性的主要威胁,很多重大的网络安全事件背后都与漏洞......
学位
软件是互联网生态重要组成部分,然而由于设计不当、开发失误等原因,软件中存在形式多样的漏洞,对软件安全乃至互联网安全带来严重......
模型验证是一种重要的自动化验证技术。给定一个软件或者硬件模型和相应的安全性质,模型验证技术可以自动化地验证模型是否安全,从......
近年来的网络设备脆弱性数量和影响总体呈上升趋势,而网络设备作为信息基础设施的核心部件,针对其进行安全性分析具有重要的理论和......
VxWorks操作系统是美国Wind River公司研发设计的一种应用在嵌入式环境中的实时操作系统。其拥有完善的开发环境、高超的可靠性和......
现如今,人们对于电子产品的依赖越来越大,对其上所装载的服务和应用的需要也越来越高;随着各种软硬件层出不穷,其上所存在的安全隐......
模糊测试技术已经成为目前发现软件安全漏洞最广泛采用的技术。基于覆盖引导的模糊测试可以通过fuzzing过程中得到部分信息指导测......
随着漏洞挖掘技术的进步,漏洞被发现的速度越来越快。对于安全从业者或者软件供应商来说,漏洞利用生成能够帮助他们根据严重程度对......
模糊测试是挖掘网络协议漏洞的重要方法之一.现有的模糊测试方法存在覆盖路径不完全、效率低下等问题.为了解决这些问题,文中提出......
现今,攻击者利用软件的漏洞实施渗透攻击成为网络攻击的重要手段。随着软件规模和复杂性的快速增加,漏洞的数量不仅在增多,而且他......
通信协议的安全是用户敏感信息传输保护的基础,如何及时发现网络对抗场景下诸多未公开协议的安全问题,一直都是攻防双方关注的焦点......
Java语言是当今最流行的语言之一，其具有的“一次编写，多处运行”的特性，使Java被广泛应用于各类应用的开发中。单元测试是Java开发中......
基于突变的模糊测试是目前最流行的漏洞发现解决方案之一,该方案以提升测试程序执行路径数和分支覆盖率为导向,基于智能算法生成测......
作为网络中的核心基础设施之一,路由器的安全性逐渐成为网络安全的一个重要话题。Cisco公司一直以来都是相关网络设备的生产厂商和......
针对目前现代万维网(WWW)应用程序中跨站脚本(XSS)漏洞检测技术存在的效率低,以及漏报率、误报率高等问题,提出了一个基于模糊测试......
