基于危险函数逼近的漏洞检测技术研究

来源 :第三届信息安全漏洞分析与风险评估大会 | 被引量 : 0次 | 上传用户:c543217896chenjia
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
当前漏洞检测存在测试数据有效性低的问题.本文提出一种基于程序内部危险函数覆盖的漏洞测试技术,依据漏洞污点传播模型,主要研究危险函数识别,包含危险函数的执行路径搜索,及危险函数逼近技术,动态引导遍历程序内部危险函数,提高漏洞测试效率和有效性.与随机测试和全路径覆盖测试技术相比,本文的方法可以产生更加有效的测试数据.
其他文献
探讨了光催化纸张的制备方法及性能,并采用SEM观察了光催化纸的形貌结构以及TiO2的附着。结果表明,活性炭纤维配抄的TiO2光催化纸重复使用效率明显高于活性炭纤维吸附纸,吸附/光
将造纸工艺与传统微滤膜制备工艺相结合,制成纸质微滤膜,研究了纸质微滤膜对造纸用涂布级重质碳酸钙(GCC)和常用的酿酒活性干酵母分散液的过滤效果,同时研究了纸质微滤膜的物化
本文介绍了磨片对于打浆至关重要,不同浆种有不同打浆方式,不同材料的磨片对于浆料打浆都有不同的影响。
物联网是由传感设备、终端,信息处理中心和用户组成网络,而工业物联网必定是物联网的不可分割分支,且能率先实现产业化。概述了工业物联网及其关键技术、实现难点以及关键应用。
本文详细阐述了PCI EXPRESS-PCI转接桥板的设计原理及实现方案,为系统从PCI总线到PCI Express总线的平滑升级和无缝链接提供了良好的解决方案。
本文介绍了目前常用的几种打印设备及其对应的打印命令,以一种基于ARM9平台的嵌入式Linux操作系统智能仪器为背景,详细讨论了在嵌入式Linux系统中多种打印设备的解决方案,包括设
超空泡武器是利用超空泡的减阻效应研制而成的全新概念的水下高速武器,应用前景十分可观。本文针对目前国内超空泡试验水洞充气系统自动化程度低、无法对大量数据实时测量和记
针对当前煤矿监控系统的发展要求,为了寻求更好的兼容性和可扩展性,本文介绍了一种煤矿监控井下分站的设计方案。通过采用32位的ARM微处理器LM3S8962,移植源代码开放的RT-Thread
二进制软件逆向分析和漏洞挖掘一直是软件安全领域研究的热点.当前的研究和已有工具主要针对某一特定平台;分析方法需要大量手工操作,且依赖安全人员的特定于具体平台环境的
为了定量地分析信息系统安全风险等级,提出了一种基于符合性判定的CME信息系统安全风险评估模型,分别给出了信息系统安全现状、安全要求以及安全风险的定量计算方法.模型通过