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

计算机科学 2023年第12期50卷 58-65页

作者：徐威武泽慧王子木陆丽数学工程与先进计算国家重点实验室郑州450001 北京计算机技术及应用研究所北京100854 网络空间安全技术国家地方联合工程实验室郑州450001

网络协议作为设备之间交互的规范,在计算机网络中发挥着至关重要的作用。协议实体中的漏洞会使设备遭受远程攻击,存在巨大的安全隐患。模糊测试是发现程序中安全漏洞的重要方法。在协议进行模糊测试之前需要对其进行逆向分析,在协议格... 详细信息

网络协议作为设备之间交互的规范,在计算机网络中发挥着至关重要的作用。协议实体中的漏洞会使设备遭受远程攻击,存在巨大的安全隐患。模糊测试是发现程序中安全漏洞的重要方法。在协议进行模糊测试之前需要对其进行逆向分析,在协议格式以及状态机模型的指导下生成高质量的测试用例。但上述过程中,测试用例生成需要手工构造,并且构造的测试用例难以覆盖深层次状态。针对上述问题,提出了一种自动化的测试用例生成技术。在模板中定义测试用例生成规则,基于状态迁移路径生成算法构建完备的测试路径,有效地对协议程序进行模糊测试。实验结果表明,与当前先进的协议模糊器Boofuzz相比,所提方法的有效测试用例生成数量增加了51.8%。在4个真实软件中进行测试,验证了3个已公开漏洞,同时发现了一个新的缺陷并得到了开发人员的确认。

关键词：网络协议模糊测试测试用例生成协议状态探测漏洞挖掘

来源：评论

学校读者我要写书评

暂无评论

网络协议模糊测试综述

引用

计算机应用研究 2023年第8期40卷 2241-2249页

作者：徐威李鹏张文镔陆丽数学工程与先进计算国家重点实验室郑州450001 北京计算机技术及应用研究所北京100854 网络空间安全技术国家地方联合工程实验室郑州450001

模糊测试作为最有效的漏洞挖掘方法,在网络协议安全检测领域应用广泛,并且诞生了大量的研究成果。目前还没有工作对协议模糊测试技术进行全面的总结和分析。首先回顾了协议模糊测试的发展历程,按照其工作流程(预处理,种子生成,执行过程... 详细信息

模糊测试作为最有效的漏洞挖掘方法,在网络协议安全检测领域应用广泛,并且诞生了大量的研究成果。目前还没有工作对协议模糊测试技术进行全面的总结和分析。首先回顾了协议模糊测试的发展历程,按照其工作流程(预处理,种子生成,执行过程监测以及结果分析)总结现有协议模糊测试所做的工作以及不足;之后,分析了不同环境下协议模糊测试技术的挑战以及解决方法;最后讨论了当前协议测试方法存在的局限性,以及未来的发展方向。

关键词：协议模糊测试漏洞挖掘工作流程固件设备安全

来源：评论

学校读者我要写书评

暂无评论

一种基于协议格式智能推断的灰盒测试技术

引用

计算机工程 2023年第12期49卷 129-135,145页

作者：刘华玉甘水滔尹小康柳晓龙刘胜利李宏亮战略支援部队信息工程大学网络空间安全学院郑州450001 数学工程与先进计算国家重点实验室江苏无锡214215 清华大学网络研究院北京100084 江南计算技术研究所江苏无锡214083

通信协议可保障网络应用和物联网设备之间的通信,但其在设计或实现中存在的脆弱性会带来严重的安全威胁和隐患。模糊测试技术作为一种软件安全分析的有效方法,在针对网络协议的脆弱性分析中表现出高效的性能和无可比拟的优势。现有的针... 详细信息

通信协议可保障网络应用和物联网设备之间的通信,但其在设计或实现中存在的脆弱性会带来严重的安全威胁和隐患。模糊测试技术作为一种软件安全分析的有效方法,在针对网络协议的脆弱性分析中表现出高效的性能和无可比拟的优势。现有的针对网络协议的灰盒测试技术仍依赖于人工识别协议格式来辅助测试,并且变异策略的设计更偏向于位和字节的变异,忽略了协议消息本身的格式信息,导致在测试时性能不佳。针对上述问题,提出一种基于对齐聚类的智能化协议格式推断模型ProCluster,用于指导灰盒测试中协议状态机构建和种子的变异。该模型通过自动提取协议关键字和推断相应类型,辅助协议灰盒测试模型构建更精准的种子变异策略,从而生成更符合协议规范的测试用例,以此加速提升模糊测试的代码覆盖能力和脆弱路径发现能力。实验结果表明,在对TinyDTLS、OpenSSL等程序的模糊测试中,与典型协议灰盒测试工具AFLNet相比,ProCluster的边覆盖率能够提升75%~182%,并且在TinyDTLS中发现一个缓冲区溢出漏洞样本。

关键词：灰盒测试协议逆向变异策略网络协议漏洞挖掘

来源：评论

学校读者我要写书评

暂无评论

融合HowNet和词林信息含量的词语相似度计算

引用

小型微型计算机系统 2022年第6期43卷 1303-1308页

作者：陈靖元周刚卢记仓郑州大学中原网络安全研究院郑州450000 数学工程与先进计算国家重点实验室郑州450000

目前基于信息含量的中文词语相似度算法普遍使用单一的知识库,存在信息不完备的问题.本文在现有的基于HowNet信息含量的词语相似度算法和基于同义词词林信息含量的词语相似度算法基础上,改进了信息含量的计算方法,并根据词语的不同分布... 详细信息

目前基于信息含量的中文词语相似度算法普遍使用单一的知识库,存在信息不完备的问题.本文在现有的基于HowNet信息含量的词语相似度算法和基于同义词词林信息含量的词语相似度算法基础上,改进了信息含量的计算方法,并根据词语的不同分布情况将两种算法进行动态融合,充分利用了HowNet和同义词词林中的体系结构信息,改善了现有方法的局限性.经Miller&Charles(MC30)数据集测评,该算法所得到的词语相似度值与人工判定值之间的皮尔森相关系数为0.927,验证了融合多知识库策略的可行性,也证明了本文方法在实用方面可以达到符合人类主观判断的效果.

关键词： HowNet 同义词词林信息含量词语相似度计算

来源：评论

学校读者我要写书评

暂无评论

模型学习与符号执行结合的安全协议代码分析技术

引用

网络与信息安全学报 2021年第5期7卷 93-104页

作者：张协力祝跃飞顾纯祥陈熹数学工程与先进计算国家重点实验室河南郑州450001 网络密码技术河南省重点实验室河南郑州450002

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;... 详细信息

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与Dropbear自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。

关键词：模型学习符号执行安全协议代码状态驱动

来源：评论

学校读者我要写书评

暂无评论

Windows平台恶意软件智能检测综述

引用

计算机研究与发展 2021年第5期58卷 977-994页

作者：汪嘉来张超戚旭衍荣易清华大学网络科学与网络空间研究院北京100084 北京信息科学与技术国家研究中心北京100084 数学工程与先进计算国家重点实验室郑州450002 清华大学软件学院北京100084

近年来,恶意软件给信息技术的发展带来了很多负面的影响.为了解决这一问题,如何有效检测恶意软件则一直备受关注.随着人工智能的迅速发展,机器学习与深度学习技术逐渐被引入到恶意软件的检测中,这类技术称之为恶意软件智能检测技术.相... 详细信息

近年来,恶意软件给信息技术的发展带来了很多负面的影响.为了解决这一问题,如何有效检测恶意软件则一直备受关注.随着人工智能的迅速发展,机器学习与深度学习技术逐渐被引入到恶意软件的检测中,这类技术称之为恶意软件智能检测技术.相比于传统的检测方法,由于人工智能技术的应用,智能检测技术不需要人工制定检测规则.此外,具有更强的泛化能力,能够更好地检测先前未见过的恶意软件.恶意软件智能检测已经成为当前检测领域的研究热点.主要介绍了当前的恶意软件智能检测相关工作,包含了智能检测所需的主要环节.从智能检测中常用的特征、如何进行特征处理、智能检测中常用的分类器、当前恶意软件智能检测所面临的主要问题4个方面对智能检测相关工作进行了系统地阐述与分类.最后,总结了先前智能检测相关工作,阐明了未来潜在的研究方向,旨在能够助力恶意软件智能检测的发展.

关键词：恶意软件恶意软件智能检测人工智能机器学习深度学习

来源：评论

学校读者我要写书评

暂无评论

针对BMP格式掩盖的JPEG同步重压缩检测方法

引用

软件学报 2024年第12期35卷 5653-5670页

作者：王金伟王伟王昊罗向阳马宾数字取证教育部工程研究中心(南京信息工程大学) 江苏南京210044 南京信息工程大学计算机学院、网络空间安全学院江苏南京210044 数学工程与先进计算国家重点实验室河南郑州450001 南京理工大学自动化学院江苏南京210094 中国人民解放军战略支援部队信息工程大学河南郑州450001 齐鲁工业大学网络空间安全学院山东济南250353

检测JPEG(joint photographic experts group)同步重压缩是数字图像取证中一项具有挑战性的任务.已有的研究提出了一些能够有效检测同步JPEG重压缩的方法,但这些方法基本上都是在JPEG解压缩过程中获取的特征,如果以BMP格式保存同步JPEG... 详细信息

检测JPEG(joint photographic experts group)同步重压缩是数字图像取证中一项具有挑战性的任务.已有的研究提出了一些能够有效检测同步JPEG重压缩的方法,但这些方法基本上都是在JPEG解压缩过程中获取的特征,如果以BMP格式保存同步JPEG重压缩图像,则这些方法将难以直接应用.为了解决该问题,提出一种基于双阈值的量化步长估计方法,从而获取量化表并提取特征.此外,根据质量因子100时JPEG压缩的特殊性定义最小误差,通过去除特征中的最小误差,进一步提高特征的检测性能.最后,基于反量化后JPEG系数的收敛特性提取一阶相对误差特征,进一步提高所提方法在质量因子较低时的检测性能.实验结果表明,所提方法在不同质量因子时的性能均优于当前先进算法.

关键词：数字图像取证 JPEG重压缩量化步长估计最小误差收敛特性

来源：评论

学校读者我要写书评

暂无评论

基于度约束最小生成树的域间路由恢复算法

引用

北京邮电大学学报 2020年第4期43卷 113-119页

作者：王禹张连成张宏涛郭毅河南工程学院计算机学院郑州451191 数学工程与先进计算国家重点实验室网络密码研究室郑州450002 解放军信息工程大学网络空间安全学院郑州450002 郑州大学网络管理中心郑州450001

低速拒绝服务攻击对于域间路由系统造成威胁,已有失效恢复算法未能有效解决恢复拓扑计算的时间复杂度高和节点聚合控制等问题,为此,提出一种基于度约束最小生成树的失效恢复算法.通过设计基础迁移子算法和复杂迁移子算法,在满足度约束... 详细信息

低速拒绝服务攻击对于域间路由系统造成威胁,已有失效恢复算法未能有效解决恢复拓扑计算的时间复杂度高和节点聚合控制等问题,为此,提出一种基于度约束最小生成树的失效恢复算法.通过设计基础迁移子算法和复杂迁移子算法,在满足度约束的条件下根据遭袭路由系统生存拓扑构建新的恢复拓扑,并针对上述两类迁移子算法,分别提出关键点选择子算法,用于判定和计算迁移过程所需的关键节点.理论分析和仿真实验结果证明,该算法生成的恢复拓扑在有效控制节点度的同时,具有较优的性能.

关键词：域间路由系统失效恢复度约束最小生成树时间复杂度节点聚合控制

来源：评论

学校读者我要写书评

暂无评论

一种针对线性循环结构的非线性静态调度策略

引用

计算机工程 2022年第1期48卷 155-162页

作者：李亚朋庞建民徐金龙聂凯郑州大学中原网络安全研究院郑州450001 中国人民解放军战略支援部队信息工程大学数学工程与先进计算国家重点实验室郑州450001 中国人民解放军战略支援部队信息工程大学郑州450001

现有OpenMP调度策略通常采用动态策略处理程序中的线性循环结构,存在负载不均衡和调度开销大的问题。提出一种针对线性递增或线性递减循环结构的非线性静态调度策略Nonlinear;tatic。将线性循环负载均匀变化参数与总负载、负载峰值、线... 详细信息

现有OpenMP调度策略通常采用动态策略处理程序中的线性循环结构,存在负载不均衡和调度开销大的问题。提出一种针对线性递增或线性递减循环结构的非线性静态调度策略Nonlinear;tatic。将线性循环负载均匀变化参数与总负载、负载峰值、线程数相结合构建调度模型,计算循环迭代在线程上的映射,使迭代块大小呈非线性递增或递减趋势。将线性循环的负载平均地分配在每个线程上,并在开源OMPi编译器中进行编码。在Adjoint Convolution、Compute Pots、Matrix Multiplication、Mandelbrot Set应用程序上进行多线程调度,实验结果表明,相比静态调度、动态调度、指导调度等策略,Nonlinear;tatic调度策略在处理线性循环结构时执行时间缩短了5%~10%,且具有无调度开销的优点。

关键词： OpenMP调度策略负载均衡调度开销静态调度线性循环

来源：评论

学校读者我要写书评

暂无评论

基于增强灰度共生矩阵的深度恶意代码可视化分类方法

引用

信息安全学报 2025年第2期10卷 84-102页

作者：王金伟陈正嘉谢雪罗向阳马宾南京信息工程大学数字取证教育部工程研究中心南京210044 南京信息工程大学计算机学院南京210044 数学工程与先进计算国家重点实验室 450001 中国科学技术大学网络空间安全学院合肥230031 中国航天系统科学与工程研究院北京100048 中国人民解放军战略支援部队信息工程大学郑州450001 齐鲁工业大学网络空间安全学院济南250353

随着恶意代码规模和种类的增加,传统恶意代码分析方法由于需要人工提取特征,变得耗时且易出错。同时,恶意代码制作者也在不断研究和使用新技术手段逃避这些传统方法,因此传统分析方法不再适用。近年来,恶意代码可视化方法因其能够在图... 详细信息

随着恶意代码规模和种类的增加,传统恶意代码分析方法由于需要人工提取特征,变得耗时且易出错。同时,恶意代码制作者也在不断研究和使用新技术手段逃避这些传统方法,因此传统分析方法不再适用。近年来,恶意代码可视化方法因其能够在图像中显示恶意代码的核心特征而成为研究热点。然而,目前恶意代码可视化方法中存在一些问题。首先,部分算法的模型训练复杂度较高,导致了较长的训练时间和更高的计算成本。其次,一些算法仅关注恶意代码的二进制级别特征,可能无法捕捉到更高层次的特征信息。另外,现有的算法大多针对恶意代码家族分类任务设计,而这些算法在针对恶意代码类型分类方面的适用性较低。为了解决这些问题,本文提出了一种基于增强灰度共生矩阵的深度恶意代码可视化分类方法。该方法将常应用于机器学习的灰度共生矩阵与深度学习相结合,避免了手动特征提取的复杂度和难度。在预处理方面,本文首先利用Nataraj矢量化方法将恶意代码数据集转化为灰度图像,随后对其提取灰度共生矩阵并转化为灰度共生矩阵灰度图,接着采用像素值乘积以实现图像增强,有效减少图像中黑色像素点的个数,增加图像亮度。在模型设计方面,本文基于残差连接和密集连接的特性,构建了D-ResNet18网络模型用于灰度图分类任务,该模型能够充分利用每个层次的特征信息,有效提取恶意代码的核心特征。实验结果表明,本文提出的方法取得了优越的分类效果,具有准确率高、训练速度快等优点,且预处理操作简单,适用于大规模恶意代码样本的快速分类等即时性要求较高的场景。更重要的是,该方法在恶意代码家族分类和恶意代码类型分类两个任务上均表现出优越的性能,相较于之前的方法,准确率分别提高了0.22%和4.86%,同时训练一轮所需时间分别缩短了52.68%和86.11%,具有实际应用价值。

关键词：深度学习数据可视化恶意代码检测和分类灰度共生矩阵

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：