| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787577600772 |
| 所属分类：图书>计算机/网络>计算机体系结构 |
新华正版 团购优惠请咨询客服重磅推荐
内容简介
随着漏洞验证与可利用性分析任务的不断发展，研究目标已从单一漏洞的可触发性验证，拓展至多漏洞的并行验证与可利用性评估。
任务规模与复杂度的提升，对验证技术的泛化能力、定向输入生成能力以及漏洞语义建模能力提出了 高要求。本书的研究工作围绕两个主要方向展开：其一，在漏洞可触发性验证方面，针对单目标验证，着重提升二进制程序上的验证效率；针对多目标验证，致力于提高在大规模目标集合下的验证性能。其二，在漏洞可利用性评估方面，围绕漏洞可利用类型识别与利用难度评估展开研究。
目 录
第章 绪论
研究背景
内存漏洞的威胁与危害
内存漏洞的可触发性验证
内存漏洞的可利用性评估
研究内容与主要贡献
研究内容
主要贡献
组织结构
第章 内存漏洞验证与评估相关技术
程序分析技术
静态分析技术
符号执行技术
模糊测试技术第章 绪论
研究背景
内存漏洞的威胁与危害
内存漏洞的可触发性验证
内存漏洞的可利用性评估
研究内容与主要贡献
研究内容
主要贡献
组织结构
第章 内存漏洞验证与评估相关技术
程序分析技术
静态分析技术
符号执行技术
模糊测试技术
单目标验证技术
引导型内存漏洞验证技术
限制型内存漏洞验证技术
多目标验证技术
小规模目标集验证技术
大规模目标集验证技术
跨项目验证技术
前置技术
迁移技术
参数敏感的灰盒模糊测试技术
内存漏洞可利用性预估技术
基于特定信息的可利用性预估
基于多信息融合的可利用性预估
内存漏洞可利用性验证技术
简单漏洞的可利用性验证
复杂漏洞的可利用性验证
内存漏洞可利用性探索技术
可利用类型探索技术
可利用范围探索技术
可利用难度探索技术
本章小结
第章 基于符号执行的单目标二进制验证方法
研究动机
基于目标路径模式的定向符号执行
目标敏感的路径模式学习算法
基于监督学习的路径选择策略
原型实现
实验与评估
实验设置
对比实验
模型性能评估
思考与讨论
本章小结
第章 基于模糊测试的多目标验证方法
研究动机
空间分布感知的目标优先策略
显示全部信息
商品详情
基本信息（以实物为准）
商品名称：内存漏洞验证与可利用性评估技术
作者：张志杰 定 开
出版社：厦门大学 号 页数
出版时间 版次 商品类型：图书
印刷时间 印次
内容简介
随着漏洞验证与可利用性分析任务的不断发展，研究目标已从单一漏洞的可触发性验证，拓展至多漏洞的并行验证与可利用性评估。
任务规模与复杂度的提升，对验证技术的泛化能力、定向输入生成能力以及漏洞语义建模能力提出了 高要求。本书的研究工作围绕两个主要方向展开：其一，在漏洞可触发性验证方面，针对单目标验证，着重提升二进制程序上的验证效率；针对多目标验证，致力于提高在大规模目标集合下的验证性能。其二，在漏洞可利用性评估方面，围绕漏洞可利用类型识别与利用难度评估展开研究。
目 录
第章 绪论
研究背景
内存漏洞的威胁与危害
内存漏洞的可触发性验证
内存漏洞的可利用性评估
研究内容与主要贡献
研究内容
主要贡献
组织结构
第章 内存漏洞验证与评估相关技术
程序分析技术
静态分析技术
符号执行技术
模糊测试技术第章 绪论
研究背景
内存漏洞的威胁与危害
内存漏洞的可触发性验证
内存漏洞的可利用性评估
研究内容与主要贡献
研究内容
主要贡献
组织结构
第章 内存漏洞验证与评估相关技术
程序分析技术
静态分析技术
符号执行技术
模糊测试技术
单目标验证技术
引导型内存漏洞验证技术
限制型内存漏洞验证技术
多目标验证技术
小规模目标集验证技术
大规模目标集验证技术
跨项目验证技术
前置技术
迁移技术
参数敏感的灰盒模糊测试技术
内存漏洞可利用性预估技术
基于特定信息的可利用性预估
基于多信息融合的可利用性预估
内存漏洞可利用性验证技术
简单漏洞的可利用性验证
复杂漏洞的可利用性验证
内存漏洞可利用性探索技术
可利用类型探索技术
可利用范围探索技术
可利用难度探索技术
本章小结
第章 基于符号执行的单目标二进制验证方法
研究动机
基于目标路径模式的定向符号执行
目标敏感的路径模式学习算法
基于监督学习的路径选择策略
原型实现
实验与评估
实验设置
对比实验
模型性能评估
思考与讨论
本章小结
第章 基于模糊测试的多目标验证方法
研究动机
空间分布感知的目标优先策略
显示全部信息
商品详情
基本信息（以实物为准）
商品名称：内存漏洞验证与可利用性评估技术
作者：张志杰 定 开
出版社：厦门大学 号 页数
出版时间 版次 商品类型：图书
印刷时间 印次