检索结果-内蒙古大学图书馆

计算机工程与科学 2018年第11期40卷 2000-2007页

作者：况晓辉刘强李响聂原平军事科学院系统工程研究院信息系统安全技术国防科技重点实验室北京100101 清华大学计算机科学与技术系北京100084

随着被披露脆弱性代码样本数量的不断增加和机器学习方法的广泛应用,基于机器学习的软件脆弱性分析逐渐成为信息安全领域的热点研究方向。首先,通过分析已有研究工作,提出了基于机器学习的软件脆弱性挖掘框架;然后,从程序分析角度对已... 详细信息

随着被披露脆弱性代码样本数量的不断增加和机器学习方法的广泛应用,基于机器学习的软件脆弱性分析逐渐成为信息安全领域的热点研究方向。首先,通过分析已有研究工作,提出了基于机器学习的软件脆弱性挖掘框架;然后,从程序分析角度对已有研究工作进行了分类综述;最后,对研究成果进行了对比分析,并分析了当前基于机器学习的脆弱性分析方法面临的挑战,展望了未来的发展方向。

关键词：软件脆弱性分析机器学习综述

来源：评论

学校读者我要写书评

暂无评论

一种基于Bert神经网络模型的软件脆弱性分析方法

一种基于Bert神经网络模型的软件脆弱性分析方法

引用

作者：李忆平白东鑫董铖李哲庞景秋齐井春李绍俊陈兴钰崔放 130103 吉林省长春市高新区越达路1188号1号楼

本发明公开了一种基于Bert神经网络模型的软件脆弱性分析方法，其特征在于，包括以下步骤：步骤一，构建脆弱性分析框架，对输入数据进行预处理；步骤二，收集数据集，利用Bert神经网络模型对数据集中的代码片段进行特征学习生成脆弱性... 详细信息

标准号: CN115344870A

本发明公开了一种基于Bert神经网络模型的软件脆弱性分析方法，其特征在于，包括以下步骤：步骤一，构建脆弱性分析框架，对输入数据进行预处理；步骤二，收集数据集，利用Bert神经网络模型对数据集中的代码片段进行特征学习生成脆弱性分析模型；步骤三，根据分析脆弱性分析模型生成建议库；步骤四，利用脆弱性分析模型分析识别目标软件中的脆弱性并导出建议库的评测报告。本发明利用智能脆弱性分析与整改建议自动生成的方法是基于多年等保测评的经验，强大且灵活的框架提供了对等保测评全过程的自动化支持。不仅提高了人工效率和准确率，同时也能释放大量的人力物力，促使企事业单位等第一时间发现与修复关键安全风险。

关键词：脆弱性分析模型神经网络模型脆弱性分析测评软件脆弱性分析预处理企事业单位代码片段目标软件评测报告人工效率人力物力收集数据数据集中特征学习整改建议自动生成灵活的脆弱性准确率导出构建自动化分析修复释放智能安全发现

来源：评论

学校读者我要写书评

暂无评论

基于PCODE和Bert的软件脆弱性分析方法及系统

基于PCODE和Bert的软件脆弱性分析方法及系统

引用

作者：韩文杰庞建民单征周鑫岳峰李明亮祝迪王其涵刘光明 450000 河南省郑州市高新区科学大道62号

本发明属于网络安全领域，涉及一种基于PCODE和Bert的软件脆弱性分析方法及系统，构建脆弱性分析框架，利用框架对输入的二进制程序内容反编译来生成pcode中间语言，并利用Bert神经网络对pcode中间语言进行向量映射和特征提取及分类；... 详细信息

标准号: CN114254323A

本发明属于网络安全领域，涉及一种基于PCODE和Bert的软件脆弱性分析方法及系统，构建脆弱性分析框架，利用框架对输入的二进制程序内容反编译来生成pcode中间语言，并利用Bert神经网络对pcode中间语言进行向量映射和特征提取及分类；收集语料数据集、训练数据集和测试数据集，并依次使用语料数据集对框架中的Bert神经网络进行预训练，利用训练数据集来训练Bert神经网络学习脆弱性语义特征以生成脆弱性分析模型，使用测试数据集对脆弱性分析模型性能评估调优来生成最终的脆弱性分析模型；利用最终脆弱性分析模型的框架来识别目标二进制程序文件中的漏洞类别。本发明可发现程序代码片段有意义信息和漏洞，提升跨架构、多类型等软件脆弱性分析效果，提升效率和准确性。

关键词：脆弱性分析模型数据集软件脆弱性分析训练数据集神经网络中间语言语料二进制程序文件程序代码片段神经网络学习网络安全领域测试数据集脆弱性分析二进制程序使用测试特征提取性能评估意义信息语义特征漏洞脆弱性多类型映射构建向量编译架构分类发现

来源：评论

学校读者我要写书评

暂无评论

EWFT:基于程序执行过程的白盒测试工具

引用

电子学报 2014年第10期42卷 2016-2023页

作者：王颖谷利泽杨义先董宇欣北京邮电大学信息安全中心北京100876 哈尔滨工程大学黑龙江哈尔滨150001

应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点.本文基于动态符号执行和污点分析等动态分析技术,提出了程序路径空间的符号模型的构建方法,设计了PWA(Path Weight Analysis)覆盖测试算法,实现了EWFT(Execution-b... 详细信息

应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点.本文基于动态符号执行和污点分析等动态分析技术,提出了程序路径空间的符号模型的构建方法,设计了PWA(Path Weight Analysis)覆盖测试算法,实现了EWFT(Execution-based Whitebox Fuzzing Tool)原型工具.实验测试结果表明,EWFT提高了程序执行空间的测试覆盖率和路径测试深度,相比国际上同类测试工具,能够更加有效地检测出不同软件中存在的多种类型的程序漏洞.

关键词：动态测试软件脆弱性分析测试用例生成压缩存储

来源：评论

学校读者我要写书评

暂无评论

面向软件脆弱性的并行检测系统相关技术研究与实现

引用

电子制作 2014年第20期22卷 116-116页

作者：范巍河南牧业经济学院(英才校区)计算机应用系河南郑州450044

软件脆弱性作为信息安全问题的根源之一,对信息安全构成了严重威胁。当前,普遍使用的符号执行技术受限于运算复杂度和计算能力,无法实现大规模应用。为此课题组提出了基于动态符号执行的软件脆弱性并行检测系统。并行调度是软件脆弱性... 详细信息

软件脆弱性作为信息安全问题的根源之一,对信息安全构成了严重威胁。当前,普遍使用的符号执行技术受限于运算复杂度和计算能力,无法实现大规模应用。为此课题组提出了基于动态符号执行的软件脆弱性并行检测系统。并行调度是软件脆弱性并行检测系统的关键技术之一,与系统的检测效率紧密相关。本文提出了基于节点状态的子系统调度算法和基于路径广度优先遍历的任务调度算法,分别实现了并行系统的子系统调度和任务调度。两个算法在实现上简单易行,并且具有很高的效率。本文对具体编程的细节进行了介绍和分析。

关键词：软件脆弱性分析符号执行并行调度

来源：评论

学校读者我要写书评

暂无评论

面向软件脆弱性的并行检测系统相关技术研究与实现

引用

中国新通信 2014年第24期16卷 110-110页

作者：范巍河南牧业经济学院(英才校区)计算机应用系

关键词：软件脆弱性分析符号执行并行调度

来源：评论

学校读者我要写书评

暂无评论

符号执行技术研究与展望

符号执行技术研究与展望

引用

2012河南省计算机大会暨学术年会

作者：曹琰王清贤信息工程大学信息工程学院河南郑州 450002

符号执行技术出现较早,近些年在软件脆弱性分析领域得到了更多的关注和应用.从介绍符号执行技术的基本原理入手,给出了符号执行的典型算法;从程序状态空间爆炸、程序全局分析和具体符号执行结合三个技术点对单路径符号执行的进展进行了... 详细信息

符号执行技术出现较早,近些年在软件脆弱性分析领域得到了更多的关注和应用.从介绍符号执行技术的基本原理入手,给出了符号执行的典型算法;从程序状态空间爆炸、程序全局分析和具体符号执行结合三个技术点对单路径符号执行的进展进行了总结;同时,对已出现的应用新型计算模型实现的并行符号执行系统的技术特点进行分析;最后,对符号执行技术的下一步发展趋势和关键技术进行了展望.

关键词：软件脆弱性分析符号执行单路径并行化处理

来源：评论

学校读者我要写书评

暂无评论

基于编程模式和模式匹配的漏洞聚类方法

基于编程模式和模式匹配的漏洞聚类方法

引用

作者：张小松宋珺牛伟纳卓中流陈瑞东孙恩博戴中印黄金 611731 四川省成都市高新区(西区)西源大道2006号

本方法用于软件脆弱性分析，属于计算机程序安全领域。本发明是一种基于编程模式和模式匹配的漏洞发现方法，可以将程序内所有函数进行统一分析，根据每个函数中出现的不同的关键词、API符号，将每个函数映射到向量空间，并利用矩阵分... 详细信息

标准号: CN105045715B

本方法用于软件脆弱性分析，属于计算机程序安全领域。本发明是一种基于编程模式和模式匹配的漏洞发现方法，可以将程序内所有函数进行统一分析，根据每个函数中出现的不同的关键词、API符号，将每个函数映射到向量空间，并利用矩阵分析方法提取出这些函数中占据主导地位的编程模式，以及每个函数最倾向的编程模式。通过计算欧几里得距离，将编程模式相近的函数发现并聚类为一类，并藉此发现潜在的、和已知漏洞相似的漏洞。

关键词：编程模式软件脆弱性分析欧几里得距离计算机程序安全领域方法提取函数发现函数映射矩阵分析漏洞发现模式匹配向量空间主导地位漏洞潜在的聚类占据分析发现统一

来源：评论

学校读者我要写书评

暂无评论

基于编程模式和模式匹配的漏洞聚类方法

基于编程模式和模式匹配的漏洞聚类方法

引用

作者：张小松宋珺牛伟纳卓中流陈瑞东孙恩博戴中印黄金 611731 四川省成都市高新区(西区)西源大道2006号

标准号: CN105045715A

关键词：编程模式软件脆弱性分析欧几里得距离计算机程序安全领域方法提取函数映射矩阵分析漏洞发现模式匹配向量空间已知漏洞主导地位潜在的聚类一种相近发现漏洞相似占据计算分析统一进行

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：