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

计算机工程 2010年第17期36卷 51-53,56页

作者：唐艳武蒋凡中国科学技术大学计算机科学与技术学院合肥230027

针对自动提取软件漏洞模式方法对漏洞模式的描述不太精确的问题,提出利用软件的程序依赖图表示上下文相关的软件漏洞模式。通过从软件开发历史库中提取相邻版本进行自动比对,生成与修补对应的依赖子图表示漏洞模式。对开源软件Apache代... 详细信息

针对自动提取软件漏洞模式方法对漏洞模式的描述不太精确的问题,提出利用软件的程序依赖图表示上下文相关的软件漏洞模式。通过从软件开发历史库中提取相邻版本进行自动比对,生成与修补对应的依赖子图表示漏洞模式。对开源软件Apache代码库进行实验,获得316个有效漏洞模式,利用它们在Apache2.2.8中查找并进行人工分析,确认得到13处未知可疑漏洞,证明了该方法的有效性。

关键词：程序依赖图漏洞模式软件修改历史语义修改

来源：评论

学校读者我要写书评

暂无评论

TTCN-3测试与漏洞模式分析相结合的漏洞查找方法

TTCN-3测试与漏洞模式分析相结合的漏洞查找方法

引用

作者：唐艳武中国科学技术大学

学位级别：硕士

TTCN-3测试语言作为国际上唯一的测试标准语言,广泛应用于协议一致性测试,互操作性测试等测试领域。使用TTCN-3进行测试前需要解决的一个重要问题就是测试适配器和编解码器的开发,它们往往占据测试开发的大部分工作量。另外,随着测试应... 详细信息

TTCN-3测试语言作为国际上唯一的测试标准语言,广泛应用于协议一致性测试,互操作性测试等测试领域。使用TTCN-3进行测试前需要解决的一个重要问题就是测试适配器和编解码器的开发,它们往往占据测试开发的大部分工作量。另外,随着测试应用领域的不断扩展,编解码方式及其需要支持的数据类型也更加多样化,而传统的TTCN-3标准里的TCI数据类型接口,已经不能很好的表达不断扩展的数据类型了。如何设计一个新的编解码器的框架,使其能够方便的扩充新的编解码方式和支持新的类型描述语言,是当前使用TTCN-3测试时迫切需要解决的问题。本文研究了上述问题,设计实现了一套通用编解码器,由中间公共类型和值、编解码实现以及对外接口三个模块组成。通过具有良好可扩展性的中间类型和值模块,通用编解码器不仅能够灵活支持各种数据类型语言,而且它的实现独立于特定的TTCN-3测试平台,实现了真正意义上的通用。目前已经实现了工业界常用的编解码,如BER,PER,XER,TLV+,ISO8583,HTTP等。另外,为了配合使用通用编解码器对Web Services的应用进行测试,本文提出了自己的XML Schema&DTD到TTCN-3语言的转换方案,实现了相应的工具。借助TTCN-3测试发现被测系统的某个漏洞后,通过分析提取其所在的源代码,生成相应漏洞模式。使用相似漏洞查找算法,进而发现被测系统中存在的其它相似漏洞。本文首次提出了使用程序依赖图表示漏洞模式以及相应的漏洞模式生成算法,并实现成对应的工具SBF。通过结合TTCN-3测试以及静态漏洞查找方法,提高了漏洞查找的效率以及测试的覆盖率。基于通用编解码器所开发的TTCN-3测试套已经作为一个度量标准应用于中国移动手机支付业务(NFC)主要接口的一致性测试及异常性测试中,取得了较好的效果。在NFC测试中,通过SBF相似漏洞查找工具发现了真实的漏洞,说明通过TTCN-3测试与静态漏洞查找方法结合的有效性。

关键词： TTCN-3 通用编解码漏洞模式 Web Services测试

来源：评论

学校读者我要写书评

暂无评论

基于漏洞模式的软件漏洞挖掘技术研究

基于漏洞模式的软件漏洞挖掘技术研究

引用

作者：倪昀泽北京邮电大学

学位级别：硕士

随着信息技术、计算机和互联网的不断发展,信息和网络安全方面的问题日益受到关注,相关的研究和技术也日渐受到重视。软件是信息系统和网络的基础,软件漏洞被利用进行网络攻击是造成信息与网络安全的主要威胁之一,软件漏洞攻防也是网络... 详细信息

随着信息技术、计算机和互联网的不断发展,信息和网络安全方面的问题日益受到关注,相关的研究和技术也日渐受到重视。软件是信息系统和网络的基础,软件漏洞被利用进行网络攻击是造成信息与网络安全的主要威胁之一,软件漏洞攻防也是网络攻防对抗中的重要环节,软件漏洞的挖掘在信息安全技术中处于十分重要的地位。本文以软件的洞挖掘及相关技术研究为目标。研究了目前主流的可执行程序文件结构,反汇编分析技术以及软件静态分析算法。本文作者在总结前人研究的基础上,分析各类漏洞实例进并行总结归类,提出了基于YAML语言的漏洞模式描述方法,相比之前已有的XML语言等描述方法,数据结构更加自然,易于漏洞分析研究人员理解漏洞模式,同时,在计算机处理方面,YAML也具有结构简单、解析成本低等优点。在漏洞模式的基础上,本文作者提出了一种面向模式检测的二进制程序漏洞模式建模方法,将漏洞模式相关内容提升为面向模式检测的漏洞模式建模,用于检测软件中存在的漏洞。并解决了两方面的问题:一、如何从二进制程序漏洞模式描述建立面向模式检测的模型。二、如何将缺陷函数调用、缓冲区溢出、整数溢出三类漏洞转换为本文的检测模型。最后,针对不同的环境与软件,本文将漏洞挖掘的理论方法进行了三个方面的实际转换研究工作:(1)缺陷函数漏洞检测研究设计了缺陷函数调用的漏洞检测模型框架。主要实现了漏洞特征匹配链,漏洞会话管理模块等核心模块,并研究了在不同编译环境下函数参数匹配算法。(2)Android内核驱动漏洞挖掘研究研究了 Android内核设备驱动的攻击界面,提出并实现了一套Android内核驱动漏洞挖掘fuzzing框架。通过实验测试,该工具有较好的挖掘效率及稳定的crash复现能力,本文作者利用该Fuzzing程序,发现了驱动设备程序Oday漏洞。(3)浏览器漏洞挖掘研究针对浏览器常见的UAF内存破坏漏洞,提出基于浏览器UAF漏洞的漏洞挖掘方法,实现了基于分布式节点的漏洞挖掘工具。发现多处漏洞,将一处IE浏览器高危可利用漏洞提交给微软官方,并获得致谢及漏洞CVE编号CVE-2015-6154。

关键词：软件漏洞漏洞模式 Fuzzing

来源：评论

学校读者我要写书评

暂无评论

工业嵌入式软件开发安全漏洞模式研究

引用

信息安全研究 2022年第6期8卷 595-604页

作者：高庆陈静许平张世琨北京大学软件工程国家工程研究中心北京100871 北京北大软件工程股份有限公司北京100080 中国电子科技集团公司第三十研究所成都610041

随着工业化和信息化的深度融合,针对工业互联网的安全事件频发,越来越多的攻击者把攻击目标锁定在国家关键基础设施上.近年来,嵌入式软件的规模及复杂程度急剧增大,尤其在国防、轨道交通、汽车、民航以及工业控制等领域的用户对嵌入式... 详细信息

随着工业化和信息化的深度融合,针对工业互联网的安全事件频发,越来越多的攻击者把攻击目标锁定在国家关键基础设施上.近年来,嵌入式软件的规模及复杂程度急剧增大,尤其在国防、轨道交通、汽车、民航以及工业控制等领域的用户对嵌入式软件质量要求更加严格,要求嵌入式软件更加安全.在收集和分析嵌入式软件安全编码标准的基础上,对嵌入式软件安全漏洞模式进行梳理,提出国内首套比较全面的嵌入式软件开发安全漏洞模式清单,包括嵌入式特有的安全漏洞模式、导致嵌入式系统崩溃或者拒绝服务等严重后果的漏洞模式以及其他缺陷模式.最后,针对这些安全漏洞模式简要介绍了使用这些安全漏洞模式如何保障嵌入式软件安全的静态分析技术,从而在软件开发过程的源头发现安全问题并得到及时解决,确保证工业软件的安全.

关键词：工业互联网嵌入式软件安全编码标准静态分析漏洞模式

来源：评论

学校读者我要写书评

暂无评论

基于XML的面向二进制漏洞模式形式化描述研究

引用

信息网络安全 2012年第12期 21-24页

作者：康凯郭颖崔宝江北京邮电大学计算机学院北京100876 中国信息安全测评中心北京100085

研究人员通过深入分析大量已公开漏洞的触发成因,将存在安全缺陷的代码抽象为漏洞模式。二进制静态漏洞挖掘技术的核心思想,就是在对二进制程序反汇编得到汇编代码的基础上,以漏洞模式为指导进行安全缺陷检测。文章对缓冲区溢出漏洞、... 详细信息

研究人员通过深入分析大量已公开漏洞的触发成因,将存在安全缺陷的代码抽象为漏洞模式。二进制静态漏洞挖掘技术的核心思想,就是在对二进制程序反汇编得到汇编代码的基础上,以漏洞模式为指导进行安全缺陷检测。文章对缓冲区溢出漏洞、数组越界漏洞、写污点值到污点地址漏洞模式进行了总结,并使用XML对漏洞模式作了形式化描述。

关键词：二进制静态漏洞挖掘漏洞模式 XML

来源：评论

学校读者我要写书评

暂无评论

Android平台软件漏洞模式的自动化构建方法

Android平台软件漏洞模式的自动化构建方法

引用

作者：梁洪亮陈奕修谢卓思 100085 北京市海淀区上地东路1号院1号楼4层401-A020

一种Android平台软件漏洞模式的自动化构建方法，其包括如下步骤：步骤1)针对Android平台上的软件漏洞，定义漏洞模式模版VP，VP＝(C，A，EF，TF，CF，TCT，TT)；步骤2)对于一种漏洞v，收集其先验知识，例如漏洞所在的组件，该组件与漏... 详细信息

标准号: CN111859387A

一种Android平台软件漏洞模式的自动化构建方法，其包括如下步骤：步骤1)针对Android平台上的软件漏洞，定义漏洞模式模版VP，VP＝(C，A，EF，TF，CF，TCT，TT)；步骤2)对于一种漏洞v，收集其先验知识，例如漏洞所在的组件，该组件与漏洞相关的属性，相关函数等；步骤3)结合前一步收集的先验知识、CVE漏洞描述和Android应用开发者文档，使用自然语言处理技术抽取与漏洞模式相关的特征数据，进而构建漏洞模式VPv。本发明为Android平台软件漏洞提供了一种通用的漏洞模式定义和自动化的构建方式，实现了对多种漏洞信息的全面描述，具有良好的可扩展性，支持对后续新漏洞的模式定义和检测。

关键词：漏洞模式漏洞构建软件漏洞先验知识自然语言处理技术自动化软件漏洞模式可扩展性漏洞信息特征数据相关函数通用的模版文档抽取检测

来源：评论

学校读者我要写书评

暂无评论

用于半监督漏洞模式修订的方法、系统及存储介质

用于半监督漏洞模式修订的方法、系统及存储介质

引用

作者：索纳尔·马哈詹穆库尔·R·普拉萨德日本神奈川县

公开了一种用于半监督漏洞模式修订的方法、系统及存储介质。操作可以包括从一个或更多个网站获得多个帖子，每个帖子包括源代码的包含对应错误的相应有漏洞片段。操作还可以包括从多个帖子生成多个漏洞模式，其中，每个相应漏洞模式与... 详细信息

标准号: CN115221526A

公开了一种用于半监督漏洞模式修订的方法、系统及存储介质。操作可以包括从一个或更多个网站获得多个帖子，每个帖子包括源代码的包含对应错误的相应有漏洞片段。操作还可以包括从多个帖子生成多个漏洞模式，其中，每个相应漏洞模式与相应有漏洞片段对应并且指示对应漏洞场景，对应漏洞场景导致与相应漏洞模式对应的相应有漏洞片段的对应错误。操作还可以包括针对相应漏洞模式确定相似性，以及基于相似性确定来选择多个漏洞模式中的第一漏洞模式以供修订。此外，操作可以包括获得作为第一漏洞模式的修订版本的经修订漏洞模式。

关键词：漏洞模式漏洞帖子修订源代码相似性确定场景存储介质多个网站半监督

来源：评论

学校读者我要写书评

暂无评论

基于多模式匹配的安全漏洞在线发现方法

基于多模式匹配的安全漏洞在线发现方法

引用

作者：温泉陈志浩贾琼刘健雄吴明杰于石林毛俐旻达小文庄杰查尤平 100854 北京市海淀区永定路51号

本发明涉及一种基于多模式匹配的安全漏洞在线发现方法，属于网络安全技术领域。本发明具有如下优点：综合性：本发明具有对已知漏洞和未知漏洞的综合在线发现的能力，已知漏洞方面通过软件版本特征匹配及漏洞匹配方式进行发现，未知漏... 详细信息

标准号: CN107273751B

本发明涉及一种基于多模式匹配的安全漏洞在线发现方法，属于网络安全技术领域。本发明具有如下优点：综合性：本发明具有对已知漏洞和未知漏洞的综合在线发现的能力，已知漏洞方面通过软件版本特征匹配及漏洞匹配方式进行发现，未知漏洞方面通过漏洞模式匹配进行在线发现。准确性：本发明通过多模式匹配方式提高已知漏洞和未知漏洞的在线发现能力。已知漏洞方面，结合版本特征匹配和插件扫描方式进行综合漏洞发现，未知漏洞方面运用漏洞模式匹配规则进行漏洞定位，结合模糊用例生成准确发现漏洞，均提高了发现准确度。

关键词：漏洞发现漏洞模式匹配方式特征匹配多模式匹配网络安全技术安全漏洞匹配规则软件版本扫描方式用例生成综合漏洞准确度插件模糊

来源：评论

学校读者我要写书评

暂无评论

基于多模式匹配的安全漏洞在线发现方法

基于多模式匹配的安全漏洞在线发现方法

引用

作者：温泉陈志浩贾琼刘健雄吴明杰于石林毛俐旻达小文庄杰查尤平 100854 北京市海淀区永定路51号

标准号: CN107273751A

关键词：漏洞发现漏洞模式匹配方式特征匹配多模式匹配网络安全技术安全漏洞匹配规则软件版本扫描方式用例生成综合漏洞准确度插件模糊

来源：评论

学校读者我要写书评

暂无评论

一种基于值依赖图的源库模式Java安全漏洞检测方法

一种基于值依赖图的源库模式Java安全漏洞检测方法

引用

作者：徐善彤孙永杰于微王强王博任望 100084 北京市海淀区农大南路1号硅谷亮城2B-71A

本发明公开一种基于值依赖图的源库模式Java安全漏洞检测方法，包括以下步骤：漏洞模式提取、构建Java的值依赖图和实现安全漏洞检测；本发明考虑了Java语言特性，第三方库的特性，结合上下文敏感，对象敏感等技术，提高了值依赖图对程... 详细信息

标准号: CN113722721A

本发明公开一种基于值依赖图的源库模式Java安全漏洞检测方法，包括以下步骤：漏洞模式提取、构建Java的值依赖图和实现安全漏洞检测；本发明考虑了Java语言特性，第三方库的特性，结合上下文敏感，对象敏感等技术，提高了值依赖图对程序表达的能力，具有检测速度快，准确度高的优点，且取决于提取的通用jar包，Source‑Sink模版及Filter模版的完备程度，检测结果的误漏报情况会有区别，开发者及测试者可以利用本发明方法查找被检程序中大部分的Java输入验证类的漏洞。

关键词：依赖图安全漏洞检测模版准确度检测结果漏洞模式输入验证敏感第三方构建漏报源库测试查找漏洞通用检测开发

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：