期刊文献+
共找到241篇文章
< 1 2 13 >
每页显示 20 50 100
基于回声状态网络的智能合约漏洞检测方法 被引量:1
1
作者 刘春霞 徐晗颖 +2 位作者 高改梅 党伟超 李子路 《计算机应用》 北大核心 2025年第1期153-161,共9页
区块链平台上的智能合约是为链上各方提供安全可信赖服务的去中心化应用程序,而智能合约漏洞检测能确保智能合约的安全性。然而,现有的智能合约漏洞检测方法在样本数量不均衡和语义信息挖掘不全面时,会出现特征学习不足和漏洞检测准确... 区块链平台上的智能合约是为链上各方提供安全可信赖服务的去中心化应用程序,而智能合约漏洞检测能确保智能合约的安全性。然而,现有的智能合约漏洞检测方法在样本数量不均衡和语义信息挖掘不全面时,会出现特征学习不足和漏洞检测准确率低的问题,而且,这些方法无法对新的合约漏洞进行检测。针对上述问题,提出一种基于回声状态网络(ESN)的智能合约漏洞检测方法。首先,根据合约图,对不同语义、语法边进行学习,并利用Skip-Gram模型训练得到特征向量;其次,结合ESN和迁移学习,实现对新合约漏洞的迁移扩展,以提高漏洞检测率;最后,在Etherscan平台搜集的智能合约数据集上进行实验。实验结果表明,所提方法的准确率、精确率、召回率和F1分数分别达到了94.30%、97.54%、91.68%和94.52%,与双向长短时记忆(BLSTM)网络、自注意力机制的双向长短时记忆(BLSTM-ATT)相比,所提方法的准确率分别提高了5.93和11.75个百分点,漏洞检测性能更优。消融实验也进一步验证了ESN对智能合约漏洞检测的有效性。 展开更多
关键词 漏洞检测 智能合约 回声状态网络 迁移学习 区块链
在线阅读 下载PDF
基于深度学习的混合语言源代码漏洞检测方法 被引量:1
2
作者 张学军 郭梅凤 +3 位作者 张潇 张斌 黄海燕 蔡特立 《湖南大学学报(自然科学版)》 北大核心 2025年第4期103-113,共11页
现有基于深度学习的源代码漏洞检测方法主要针对单一编程语言进行特征学习,难以对混合编程语言软件项目因代码单元间的关联和调用产生漏洞进行有效检测.因此,本文提出了一种基于深度学习的混合语言源代码漏洞检测方法DL-HLVD.首先利用B... 现有基于深度学习的源代码漏洞检测方法主要针对单一编程语言进行特征学习,难以对混合编程语言软件项目因代码单元间的关联和调用产生漏洞进行有效检测.因此,本文提出了一种基于深度学习的混合语言源代码漏洞检测方法DL-HLVD.首先利用BERT层将代码文本转换为低维向量,并将其作为双向门控循环单元的输入来捕获上下文特征,同时使用条件随机场来捕获相邻标签间的依赖关系;然后对混合语言软件中不同类型编程语言的函数进行命名实体识别,并将其和程序切片结果进行重构来减少代码表征过程中的语法和语义信息的损失;最后设计双向长短期记忆网络模型提取漏洞代码特征,实现对混合语言软件漏洞检测.在SARD和CrossVul数据集上的实验结果表明,DL-HLVD在两类漏洞数据集上识别软件漏洞的综合召回率达到了95.0%,F1值达到了93.6%,比最新的深度学习方法VulDeePecker、SySeVR、Project Achilles在各个指标上均有提升,说明DL-HLVD能够提高混合语言场景下源代码漏洞检测的综合性能. 展开更多
关键词 漏洞检测 命名实体识别 程序切片 混合语言
在线阅读 下载PDF
基于双模态交叉注意力机制的智能合约漏洞检测方法 被引量:1
3
作者 陈锦富 胡心怡 +1 位作者 蔡赛华 闵玺润 《通信学报》 北大核心 2025年第6期218-232,共15页
针对智能合约漏洞检测中现有深度学习方法依赖单一模态进行特征提取、对上下文信息捕获不足导致检测准确率较低的问题,提出了一种基于双模态交叉注意力机制的智能合约漏洞检测方法,设计了特定的注意力机制,同时分析合约的源代码和字节码... 针对智能合约漏洞检测中现有深度学习方法依赖单一模态进行特征提取、对上下文信息捕获不足导致检测准确率较低的问题,提出了一种基于双模态交叉注意力机制的智能合约漏洞检测方法,设计了特定的注意力机制,同时分析合约的源代码和字节码,实现源代码中的高级语义特征与字节码中的底层执行流程双向映射和互补增强,丰富特征表示。引入的残差连接有效地保持和传递原始特征信息,缓解深层网络训练中的梯度消失问题。在公开数据集上进行广泛测试,实验结果表明,所提方法相较基线提高了检测准确率2%以上;消融实验结果显示,跨模态特征融合和注意力机制的设计相互协同,显著提升检测性能。 展开更多
关键词 智能合约 漏洞检测 深度学习 双模态 交叉注意力
在线阅读 下载PDF
基于节点中心性和大模型的漏洞检测数据增强方法
4
作者 张学旺 卢荟 谢昊飞 《信息网络安全》 北大核心 2025年第4期550-563,共14页
智能系统源代码漏洞是影响其安全的重要因素,基于深度学习的源代码漏洞检测存在因数据集不平衡、规模小、质量低而引发的模型检测能力与泛化能力不足的问题。虽然采样技术和数据增强技术可改善一部分问题,但在真实数据集上效果不佳。为... 智能系统源代码漏洞是影响其安全的重要因素,基于深度学习的源代码漏洞检测存在因数据集不平衡、规模小、质量低而引发的模型检测能力与泛化能力不足的问题。虽然采样技术和数据增强技术可改善一部分问题,但在真实数据集上效果不佳。为解决这些问题,文章提出基于节点中心性和大模型的漏洞检测数据增强方法DA_GLvul。该方法首先利用代码属性图将源代码抽象为图结构,并借助图节点中心性分析计算代码优先级值,将最大值对应节点的对应代码行作为关键代码语句,以实现在无已知漏洞语句信息的原始数据集的前提下定位关键代码语句。其次定义一个包含全面的变异规则的变异指令模板,填入原始样本与关键代码后输入至不同的大模型中以生成增强后的代码样本,最终使用增强代码样本与原始样本共同训练漏洞检测模型。实验结果表明,该方法生成的数据中有效样本占73.82%,较两个主流的基于图神经网络的漏洞检测模型在各项评估指标上均对原始结果有优化,其中F1值相比无增强方法平均提升168.85%,相比最优基线方法平均提升8.21%。 展开更多
关键词 漏洞检测 代码生成 数据增强 大语言模型
在线阅读 下载PDF
一种基于路径表示和预训练模型的软件漏洞检测方法
5
作者 陆璐 万童 《华南理工大学学报(自然科学版)》 北大核心 2025年第5期56-65,共10页
软件漏洞是导致计算机系统安全性受损的关键薄弱环节,易于被攻击者利用来实施非法操控,从而导致数据泄露、系统崩溃甚至更严重的安全事故。因此,如何精准、高效地检测软件漏洞已经成为计算机安全领域的核心研究课题。现有的基于深度学... 软件漏洞是导致计算机系统安全性受损的关键薄弱环节,易于被攻击者利用来实施非法操控,从而导致数据泄露、系统崩溃甚至更严重的安全事故。因此,如何精准、高效地检测软件漏洞已经成为计算机安全领域的核心研究课题。现有的基于深度学习的漏洞检测方法已取得一定进展,但大多受限于单一代码表示,无法全面反映代码语义与结构信息间的互补性。鉴于此,该文创新性地提出了一种基于路径表示和预训练代码模型的漏洞检测方法(简称VDPPM),以有效提升代码语义解析能力和漏洞检测精度。该方法集成了从抽象语法树、控制流图和程序依赖图抽取的路径表示,并借助对比学习框架SimCSE优化后得到的SimCodeBERT模型来增强模型对漏洞特征的捕捉能力。实验中,首先从源代码中提取3种代码表示,并从这些表示中提取路径表示来构建语料库以训练Doc2vec模型,形成通用嵌入模型,将路径序列转化为向量表示。在此基础上,融入预训练的CodeBERT模型,将其在对比学习框架下进行训练,以更精准地捕捉代码深层次语义特征。最后,通过融合Doc2vec和SimCodeBERT模型生成的向量来构建高质量的代码表示以完成漏洞检测。实验结果表明,在多个公开的漏洞检测基准数据集中,VDPPM的性能优于目前的主流方法,在漏洞检测任务上的多个指标有显著提高,证明了该方法的有效性和优越性。 展开更多
关键词 软件漏洞 漏洞检测 路径表示 预训练 对比学习
在线阅读 下载PDF
基于异构图表征的源代码漏洞检测方法
6
作者 张学军 梁书滨 +4 位作者 白万荣 张奉鹤 黄海燕 郭梅凤 陈卓 《浙江大学学报(工学版)》 北大核心 2025年第8期1644-1652,共9页
针对现有的源代码漏洞检测模型对异构特征和底层信息提取不足导致的检测准确率不高的问题,提出基于异构图表征的源代码漏洞检测方法.从中间代码表示(IR)中提取8种指令级特征作为程序依赖图的节点嵌入,解决底层信息提取不足的问题.在节... 针对现有的源代码漏洞检测模型对异构特征和底层信息提取不足导致的检测准确率不高的问题,提出基于异构图表征的源代码漏洞检测方法.从中间代码表示(IR)中提取8种指令级特征作为程序依赖图的节点嵌入,解决底层信息提取不足的问题.在节点层和依赖层分别构建基于注意力机制的聚合模块来提取图表征数据中的异构性特征,通过调整注意力系数捕获关键节点信息.对图数据的聚合结果进行分类,预测是否存在漏洞.在合成数据集和2个真实项目数据集上的实验表明,相比于现有方法,本文方法具有更强的异构特征提取能力和更高的漏洞检测综合性能. 展开更多
关键词 漏洞检测 图表征 注意力机制 异构特征 中间代码表示
在线阅读 下载PDF
基于图神经网络的嵌入式设备固件漏洞检测
7
作者 姚军 慕涛涛 《计算机应用与软件》 北大核心 2025年第9期255-262,共8页
随着嵌入式设备的种类和数量日益繁多,嵌入式设备的安全性也面临着巨大的挑战。通常,安全专家可以手动识别嵌入式设备的固件程序中存在的软件漏洞,但是人工分析非常耗时费力。针对上述问题,提出一种基于代码属性图及双向图神经网络的固... 随着嵌入式设备的种类和数量日益繁多,嵌入式设备的安全性也面临着巨大的挑战。通常,安全专家可以手动识别嵌入式设备的固件程序中存在的软件漏洞,但是人工分析非常耗时费力。针对上述问题,提出一种基于代码属性图及双向图神经网络的固件程序漏洞检测方法,从源代码级别自动检测固件程序中存在的软件漏洞。为了验证本方法的可行性,对从SARD收集的软件漏洞数据集和真实世界漏洞数据集进行实验验证,实验结果表明,漏洞检测精度和F1分数最高分别达到了93.4%和86.54%,可以显著提高软件漏洞的检测能力。 展开更多
关键词 嵌入式设备 图神经网络 代码属性图 漏洞检测
在线阅读 下载PDF
基于符号执行的权限控制和转账漏洞检测方法 被引量:1
8
作者 张艺琼 文伟平 刘成杰 《计算机工程与设计》 北大核心 2025年第1期81-87,共7页
针对权限控制漏洞和任意转账漏洞会让用户遭受经济损失的问题,提出一种基于符号执行的权限控制漏洞和任意转账漏洞检测方法。总结漏洞特征,设计漏洞检测算法,利用符号执行构建交易路径,通过漏洞特征构建约束条件并求解,实现工具PTGuard... 针对权限控制漏洞和任意转账漏洞会让用户遭受经济损失的问题,提出一种基于符号执行的权限控制漏洞和任意转账漏洞检测方法。总结漏洞特征,设计漏洞检测算法,利用符号执行构建交易路径,通过漏洞特征构建约束条件并求解,实现工具PTGuard。实验结果表明,PTGuard的准确率、精确率、召回率和F1值相比其它漏洞检测工具有较大的提升;PTGuard已应用于科技部国家重点项目,挖掘出17个漏洞,已成功上报到国家共享漏洞数据库,验证了PTGuard的实际应用价值。 展开更多
关键词 符号执行 以太坊 智能合约 权限控制漏洞 任意转账漏洞 合约漏洞 漏洞检测工具
在线阅读 下载PDF
融合语义与属性特征的跨架构漏洞检测
9
作者 李坤 李斌 +1 位作者 朱文静 周清雷 《计算机科学与探索》 北大核心 2025年第3期787-801,共15页
二进制漏洞检测在程序安全领域有着重要的作用,为应对大规模的漏洞检测任务,越来越多的神经网络技术被应用到跨架构漏洞检测中,这些技术显著提高了漏洞检测的准确率,但是现有方法仍然面临提取到的信息单一、不能进行跨架构漏洞检测等问... 二进制漏洞检测在程序安全领域有着重要的作用,为应对大规模的漏洞检测任务,越来越多的神经网络技术被应用到跨架构漏洞检测中,这些技术显著提高了漏洞检测的准确率,但是现有方法仍然面临提取到的信息单一、不能进行跨架构漏洞检测等问题。提出了一种融合语义与属性特征的跨架构漏洞检测方法。使用二进制函数的汇编代码和属性控制流图作为输入,提取基本块中所有汇编代码的语义信息,将基本块级的语义信息与属性特征信息进行特征融合,生成139维的基本块级向量表示,以此来更全面地表示函数的语义和属性信息。使用基于卷积神经网络的孪生网络模型生成函数级的嵌入向量,以此来提取不同基本块中不同空间层次结构的特征并减少神经网络的参数量,通过计算函数级嵌入向量的距离来判断待检测的两个二进制函数是否相似。在进行跨架构漏洞检测时,只需要输入二进制文件中的函数和已知漏洞函数的汇编代码和属性控制流图即可完成漏洞检测。实验结果表明,该方法检测的准确率为95.64%,AUC(area under curve)值为0.9969,与现有方法相比,准确率可以提升0.26~7.04个百分点,AUC可以提升0.11~1.59个百分点,在真实环境的漏洞检测中表现优异。 展开更多
关键词 漏洞检测 神经网络 跨架构 特征融合 函数级
在线阅读 下载PDF
面向源代码细粒度漏洞检测的集成学习方案
10
作者 朱文静 李斌 +1 位作者 李坤 周清雷 《小型微型计算机系统》 北大核心 2025年第7期1767-1775,共9页
近年来,基于深度学习的源代码漏洞检测研究取得了重大进展.然而,大多数现有方法检测性能较低,且主要侧重于粗粒度漏洞检测,即在函数级别或切片级别检测漏洞,无法准确确定导致漏洞的代码行.针对以上问题,本文提出了一种用于细粒度漏洞检... 近年来,基于深度学习的源代码漏洞检测研究取得了重大进展.然而,大多数现有方法检测性能较低,且主要侧重于粗粒度漏洞检测,即在函数级别或切片级别检测漏洞,无法准确确定导致漏洞的代码行.针对以上问题,本文提出了一种用于细粒度漏洞检测的集成学习方案.该方案针对增强代码属性图的切片子图,集成了基于图和基于序列的神经网络以捕获C语言源代码的局部和全局上下文信息,充分理解了代码语义和结构信息.同时,将切片级别的漏洞检测作为图分类任务,将语句级别漏洞检测任务作为节点分类任务,利用集成学习策略得到漏洞切片和漏洞代码行.实验结果表明,在切片级漏洞检测方面,相比于其他工具和方法,在合成数据集与真实数据集上检测的F1分数分别最大提高了46.12%和40.44%.在细粒度的漏洞语句定位方面,相比于解释器与基于深度学习的方法,Top-5 Accuracy在真实数据集上提升了9%~12.1%. 展开更多
关键词 细粒度漏洞检测 图神经网络 TRANSFORMER 集成学习 深度学习
在线阅读 下载PDF
基于隐式流分析和深度学习的代码漏洞检测
11
作者 贺正源 何成万 +2 位作者 陈伟 余秋惠 叶庭瑞 《计算机工程与设计》 北大核心 2025年第7期1951-1958,共8页
为降低漏洞检测中的高误报率,提出一种基于隐式流静态污点分析和深度学习相结合的代码漏洞检测方法。基于定量信息流中的信息熵与条件熵对隐式流进行定量分析,提取污染路径,降低代码漏洞检测中的误报率;将包含污染路径的代码片段转换成... 为降低漏洞检测中的高误报率,提出一种基于隐式流静态污点分析和深度学习相结合的代码漏洞检测方法。基于定量信息流中的信息熵与条件熵对隐式流进行定量分析,提取污染路径,降低代码漏洞检测中的误报率;将包含污染路径的代码片段转换成代码向量后输入到双向循环神经网络中进行训练。实验通过分别选取包含路径遍历、跨站脚本(XSS)和SQL注入攻击3种类型的数据集进行训练和检测,验证了所提方法能够有效提高漏洞检测的准确率和效率。 展开更多
关键词 隐式流 定量信息流 深度学习 漏洞检测 双向循环神经网络 静态污点分析 信息熵
在线阅读 下载PDF
基于抽象语法树嵌入的智能合约漏洞检测技术
12
作者 徐瀅 傅紫薇 +1 位作者 张伟 陈云芳 《计算机工程》 北大核心 2025年第9期149-157,共9页
在目前基于深度学习的智能合约漏洞检测方案中,直接使用字节码或源码进行文本序列的特征表达存在对程序语义特征理解不足的问题。基于抽象语法树(AST)嵌入的智能合约漏洞检测技术充分考虑了合约向量化表达需要的语法和语义特征以及合适... 在目前基于深度学习的智能合约漏洞检测方案中,直接使用字节码或源码进行文本序列的特征表达存在对程序语义特征理解不足的问题。基于抽象语法树(AST)嵌入的智能合约漏洞检测技术充分考虑了合约向量化表达需要的语法和语义特征以及合适的处理粒度,能够更加准确地捕捉智能合约漏洞特征。根据Solidity语法树解析设计一种AST嵌入的智能合约向量化方法,对语句级别的节点类型递归划分生成一系列语句树,然后采用递归神经网络自底向上地对每个语句树进行编码,将复杂的AST结构转化为语句级别的特征向量,在此基础上构建基于注意力机制的双向门控循环神经网络(BiGRU-ATT)模型,实现对语句树序列特征的学习,完成对重入漏洞、未校验返回值、时间戳依赖、访问权限控制和拒绝服务攻击5种典型漏洞的检测及分类。实验结果表明,基于AST嵌入的向量化方法相较于直接将源码视为文本序列进行向量化的方法在微观F1值(micro-F1)和宏观F1值(macro-F1)指标上分别提高了13和10百分点,在时间戳依赖、访问权限控制以及拒绝服务攻击漏洞分类任务中,BiGRU-ATT模型的F1值高达88%以上。 展开更多
关键词 区块链安全 智能合约 漏洞检测 抽象语法树 深度学习
在线阅读 下载PDF
基于异构合约图多维度特征深度融合的漏洞检测方法
13
作者 周涛 杜永萍 +1 位作者 谢润锋 韩红桂 《计算机科学》 北大核心 2025年第9期368-375,共8页
智能合约是在区块链上自动执行的代码,具有不可逆性且与金融交易密切相关,故其安全问题至关重要。然而,当前智能合约漏洞检测技术仍面临特征提取效率低、检测精度低以及过度依赖专家规则等问题。对此,提出一种基于异构合约图多维度特征... 智能合约是在区块链上自动执行的代码,具有不可逆性且与金融交易密切相关,故其安全问题至关重要。然而,当前智能合约漏洞检测技术仍面临特征提取效率低、检测精度低以及过度依赖专家规则等问题。对此,提出一种基于异构合约图多维度特征深度融合的漏洞检测方法。首先,针对智能合约数据集的代码进行去噪处理,采用代码函数交换等数据增强方法扩充数据集,进而将其表示为异构合约图。其次,结合图嵌入技术以及代码预训练技术高效获取智能合约图以及对应操作码中节点的高维度语义表示。最后,设计双层异构图注意力网络深度融合在两种维度下学习到的节点特征,以实现高效的漏洞检测。针对不同类型漏洞的实验结果表明,所提方法整体表现较对比方法均有所提升,F1指标平均值高于77.72%,在拒绝服务漏洞类型的检测上表现最佳,F1值最高达到84.88%,较传统的深度学习方法和图拓扑检测方法分别提升了10.62%和22.34%。所提方法不仅提高了检测的效率和准确性,而且通过学习节点特征减少了对专家规则的依赖,为智能合约的安全性提供了更为可靠的保障。 展开更多
关键词 智能合约 预训练模型 图嵌入 图注意力网络 漏洞检测 区块链
在线阅读 下载PDF
LHG-VD:一种可学习的层次化图表示漏洞检测方法
14
作者 胡菘 罗嘉驰 +3 位作者 万文凯 闫阳 郭帆 曲彦文 《计算机研究与发展》 北大核心 2025年第9期2348-2361,共14页
软件漏洞严重威胁了计算机系统和软件的安全稳定运行,因此针对其自动检测的相关研究一直受到广泛关注.与传统静态漏洞检测工具采用人类专家提供的预定义规则进行代码分析不同,基于图神经网络(GNN)的漏洞检测方法通过自动学习易受攻击的... 软件漏洞严重威胁了计算机系统和软件的安全稳定运行,因此针对其自动检测的相关研究一直受到广泛关注.与传统静态漏洞检测工具采用人类专家提供的预定义规则进行代码分析不同,基于图神经网络(GNN)的漏洞检测方法通过自动学习易受攻击的代码模式,在一些数据集上的检测效果已经超越传统方法.然而,目前基于GNN的漏洞检测方法中,由于未结合代码自身特点对GNN模型进行设计,导致在真实漏洞代码数据集上检测效果较差.提出一种可学习的层次化图表示的漏洞检测方法 LHG-VD,其特点是针对传统读出函数的局限提出一种可学习的读出函数,针对图池化过程中的代码局部结构信息保持问题设计了一种基于对比学习思想的跨粒度损失函数.在真实漏洞数据集的实验结果表明,LHG-VD的F1值为71.5%,与切片级检测方法 DeepWukong相比提升4.9个百分点,与函数级检测方法 AMPLE相比提升8.9个百分点. 展开更多
关键词 漏洞检测 深度学习 图神经网络 对比学习 图池化
在线阅读 下载PDF
基于GNN因果推断的结构增强漏洞检测模型
15
作者 司文 赵富成 +2 位作者 李硕 杨帅林 任家东 《燕山大学学报》 北大核心 2025年第4期309-318,共10页
针对现有漏洞检测方法基于单纯的图神经网络模型来提取图结构特征会出现信息标签与图结构直接存在分布外泛化情况从而导致检测效率低的问题,提出了一种基于图神经网络因果推断结合的结构增强漏洞检测模型。该模型将源代码视为一个线性... 针对现有漏洞检测方法基于单纯的图神经网络模型来提取图结构特征会出现信息标签与图结构直接存在分布外泛化情况从而导致检测效率低的问题,提出了一种基于图神经网络因果推断结合的结构增强漏洞检测模型。该模型将源代码视为一个线性化的令牌序列,首先基于词共现关系构建图结构,然后通过图神经网络的剩余连接将图分成因果图和混淆图,分层混淆变量,模拟因果变量与标签之间的因果性关系。最后对因果图和混淆图进行节点嵌入,实现图结构特征的增强。并在CodeXGLUE的真实基准数据集上进行了验证,检测结果在准确率、精确率、F1值上比最优基线方法分别提升了3.15%、3.77%、2.57%,在漏洞检测的性能上取得了显著提升。 展开更多
关键词 深度学习 图神经网络 因果推断 结构增强 漏洞检测
在线阅读 下载PDF
基于漏洞异构图的图卷积网络漏洞检测方法
16
作者 陈梓豪 金大海 宫云战 《小型微型计算机系统》 北大核心 2025年第3期697-703,共7页
漏洞检测是软件安全领域重要的研究问题.软件漏洞的迅速发现和修补可以最大程度降低损失.相比静态检测方法,基于深度学习的漏洞检测方法学习漏洞隐含特征,提高检测能力.但目前利用图神经网络的相关研究将代码生成的图视为同构图,图中的... 漏洞检测是软件安全领域重要的研究问题.软件漏洞的迅速发现和修补可以最大程度降低损失.相比静态检测方法,基于深度学习的漏洞检测方法学习漏洞隐含特征,提高检测能力.但目前利用图神经网络的相关研究将代码生成的图视为同构图,图中的控制和数据依赖关系被视为相同类型边,模型无法通过感知不同的边关系提取隐藏特征.本文利用已有漏洞位置和代码的控制依赖和数据依赖构建漏洞异构图,提出多层异构图漏洞检测模型.实验结果显示,本文方法相较于已有的漏洞检测工具模型准确率提高最多39%,其余指标均有明显提升,表明本文方法能够有效提升漏洞识别能力. 展开更多
关键词 漏洞检测 图神经网络 异构图 深度学习
在线阅读 下载PDF
基于双曲图卷积神经网络的切片级漏洞检测方法
17
作者 陈旭 陈子雄 +2 位作者 景永俊 王叔洋 宋吉飞 《计算机工程与科学》 北大核心 2025年第5期851-863,共13页
针对源代码漏洞检测领域中存在的挑战,特别是现有方法在代码图精准嵌入和捕获其复杂层次结构方面的不足,提出了一种创新的基于双曲图卷积神经网络的切片级源代码漏洞检测方法VulDHGCN。该方法融合了图卷积神经网络和双曲几何的强大表达... 针对源代码漏洞检测领域中存在的挑战,特别是现有方法在代码图精准嵌入和捕获其复杂层次结构方面的不足,提出了一种创新的基于双曲图卷积神经网络的切片级源代码漏洞检测方法VulDHGCN。该方法融合了图卷积神经网络和双曲几何的强大表达能力,更全面地嵌入和保留了源代码的结构特征,有效降低了代码图嵌入过程中的信息失真。为了全面评估VulDHGCN的有效性,选择了3种传统的基于规则的静态漏洞检测方法和3种先进的基于模型的漏洞检测方法作为对比基线方法。实验结果表明,在多个关键性能指标上,VulDHGCN均优于基线方法。具体而言,VulDHGCN的准确率、精确率、召回率和F_(1)得分分别达到了96.52%,92.31%,85.12%和88.57%,相较于基线漏洞检测方法,F_(1)分数提高了6.62%~153.92%,具有明显的优势。这不仅证明了VulDHGCN方法的有效性,也为深度学习在源代码漏洞检测领域的进一步应用提供了新的视角和方法。 展开更多
关键词 漏洞检测 切片级别 低失真嵌入 双曲空间 图卷积神经网络
在线阅读 下载PDF
基于混合语义的切片级智能合约重入漏洞检测
18
作者 江姝晨 牛保宁 高彦 《计算机工程与应用》 北大核心 2025年第1期321-329,共9页
针对现有基于深度学习的漏洞检测方法主要集中在源代码的单一表现形式上,无法完全捕获源代码中包含的丰富语义信息和结构信息,以及大多数方法基于函数粒度,检测样本存在大量与漏洞无关的冗余代码导致检测精度下降的问题,聚焦于智能合约... 针对现有基于深度学习的漏洞检测方法主要集中在源代码的单一表现形式上,无法完全捕获源代码中包含的丰富语义信息和结构信息,以及大多数方法基于函数粒度,检测样本存在大量与漏洞无关的冗余代码导致检测精度下降的问题,聚焦于智能合约最严重的漏洞之一,即重入漏洞,提出一种基于混合语义的切片级智能合约重入漏洞检测方法SCHyVulDect。根据漏洞特征关键字对智能合约进行切片操作,获得合约切片;构建合约切片的代码图,通过图注意力网络(graph attention network,GAT)提取其深层语义信息。并使用双向长短期记忆网络(bidirectional long-short term memory,Bi-LSTM)和注意力机制,提取切片代码的上下文序列特征,将提取的图结构特征和序列特征进行融合,从而进行漏洞检测。实验结果表明,SCHyVulDect检测重入漏洞的精确率、召回率和F1值分别为96.36%、94.45%、91.70%,比现有的基于深度学习的智能合约漏洞检测方法的精确率提高13.03~18.00个百分点,具有较好的检测效果。 展开更多
关键词 区块链 智能合约 漏洞检测 图注意力网络 混合语义
在线阅读 下载PDF
智能合约漏洞检测与修复研究综述 被引量:1
19
作者 刘哲旭 李雷孝 +3 位作者 刘东江 杜金泽 林浩 史建平 《计算机科学与探索》 北大核心 2025年第4期854-876,共23页
智能合约是区块链的关键技术之一,它不依赖第三方权威机构,能够直接为用户双方提供可信的定制化服务,是区块链2.0的重要标志。随着智能合约应用范围的不断扩大,保障其安全可靠运行成为区块链安全领域的迫切问题。提出智能合约漏洞检测... 智能合约是区块链的关键技术之一,它不依赖第三方权威机构,能够直接为用户双方提供可信的定制化服务,是区块链2.0的重要标志。随着智能合约应用范围的不断扩大,保障其安全可靠运行成为区块链安全领域的迫切问题。提出智能合约漏洞检测与修复研究框架,分别从漏洞数据集、机器学习方法、漏洞修复技术和补丁部署策略这4个方面分析总结现有智能合约漏洞检测与修复研究进展。对基于机器学习的智能合约漏洞检测方法进行研究,对比总结了8种智能合约漏洞类型、15个开源数据集现状以及传统机器学习方法、深度学习方法和大模型方法等现有模型方法优缺点,并提出使用符号执行、模糊测试、污点分析、形式化验证和集成框架5类漏洞检测工具与置信学习相结合的智能合约高质量数据集制作思路;分类介绍了自动化修复技术、机器学习修复技术和以太坊增强技术3类智能合约漏洞修复方案,全面比较了不同方案的优缺点,并总结了未来可以用于智能合约漏洞修复领域的相关技术;分析了智能合约安全现存问题并展望了未来研究方向。 展开更多
关键词 区块链 智能合约安全 漏洞检测 漏洞修复 机器学习
在线阅读 下载PDF
多模态深度学习的区块链智能合约漏洞检测方法
20
作者 常萨 冯勇 《小型微型计算机系统》 北大核心 2025年第4期958-965,共8页
智能合约推动了区块链技术的深化发展,然而其存在的安全隐患给区块链应用带来了诸多挑战.在现有研究中,源代码通常被视为序列,以向量形式进行表示,或者被建模为图结构,利用图神经网络进行分析.在此基础上,本文提出了一种基于多模态深度... 智能合约推动了区块链技术的深化发展,然而其存在的安全隐患给区块链应用带来了诸多挑战.在现有研究中,源代码通常被视为序列,以向量形式进行表示,或者被建模为图结构,利用图神经网络进行分析.在此基础上,本文提出了一种基于多模态深度学习的区块链智能合约漏洞检测方法.该方法充分利用智能合约的计算机视觉特征、代码语义特征和图特征进行漏洞检测.具体而言,该方法首先提取智能合约的代码属性图(CPG),并利用计算机视觉模型SwinV2学习CPG图像视觉特征;同时,利用预训练模型UniXcoder学习智能合约源代码的代码语义特征;最后,利用多组交错的GNN块学习CPG的图特征.将这3个特征向量拼接,构建出一个特征向量,实现特征融合.为了验证多模态检测方法的有效性,本文在真实智能合约的数据集上,与多种主流的智能合约漏洞检测方法进行对比实验.实验结果表明,多模态检测方法在检测重入漏洞方面的召回率、准确率和F1值分别可以达到0.94、0.92和0.93. 展开更多
关键词 区块链 智能合约 多模态 预训练模型 漏洞检测
在线阅读 下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部