以太坊庞氏骗局智能合约的早期检测方法研究

1

作者 张艳梅 郭思颖 +1 位作者 贾恒越 姜茸 《通信学报》 北大核心 2025年第9期292-306,共15页

以太坊是区块链的典型应用代表,它允许开发者创建和执行智能合约。以太坊技术的迅猛发展在推动智能合约普及的同时,也引发链上安全风险剧增,其中算法驱动的智能庞氏骗局给区块链应用带来了新的安全挑战。为了实现对智能合约庞氏骗局的... 以太坊是区块链的典型应用代表,它允许开发者创建和执行智能合约。以太坊技术的迅猛发展在推动智能合约普及的同时,也引发链上安全风险剧增,其中算法驱动的智能庞氏骗局给区块链应用带来了新的安全挑战。为了实现对智能合约庞氏骗局的早期检测,提出了一种基于图卷积网络(GCN)的检测方法PonziGCN。该方法融合了智能合约的语义特征和控制流图特征,通过提取字节码相似度、操作码频率等语义特征,以及控制流图的基本特征和结构特征,构建了多特征融合的检测框架。实验结果表明,所提方法在精确率、召回率、F值和AUC值等关键性能指标上均表现优异,精确率达到0.982,召回率为0.987,F值为0.978,AUC值为0.983,显著优于现有的算法。特征重要性分析表明,图结构特征和代码中与交易功能相关的操作码频率特征在模型中具有最高的重要性。 展开更多

关键词 以太坊 智能合约 庞氏骗局 图卷积神经网络 控制流图

在线阅读 下载PDF 职称材料

基于混合语义的切片级智能合约重入漏洞检测

2

作者 江姝晨 牛保宁 高彦 《计算机工程与应用》 北大核心 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 职称材料

基于异构合约图多维度特征深度融合的漏洞检测方法

3

作者 周涛 杜永萍 +1 位作者 谢润锋 韩红桂 《计算机科学》 北大核心 2025年第9期368-375,共8页

智能合约是在区块链上自动执行的代码,具有不可逆性且与金融交易密切相关,故其安全问题至关重要。然而,当前智能合约漏洞检测技术仍面临特征提取效率低、检测精度低以及过度依赖专家规则等问题。对此,提出一种基于异构合约图多维度特征... 智能合约是在区块链上自动执行的代码,具有不可逆性且与金融交易密切相关,故其安全问题至关重要。然而,当前智能合约漏洞检测技术仍面临特征提取效率低、检测精度低以及过度依赖专家规则等问题。对此,提出一种基于异构合约图多维度特征深度融合的漏洞检测方法。首先,针对智能合约数据集的代码进行去噪处理,采用代码函数交换等数据增强方法扩充数据集,进而将其表示为异构合约图。其次,结合图嵌入技术以及代码预训练技术高效获取智能合约图以及对应操作码中节点的高维度语义表示。最后,设计双层异构图注意力网络深度融合在两种维度下学习到的节点特征,以实现高效的漏洞检测。针对不同类型漏洞的实验结果表明,所提方法整体表现较对比方法均有所提升,F1指标平均值高于77.72%,在拒绝服务漏洞类型的检测上表现最佳,F1值最高达到84.88%,较传统的深度学习方法和图拓扑检测方法分别提升了10.62%和22.34%。所提方法不仅提高了检测的效率和准确性,而且通过学习节点特征减少了对专家规则的依赖,为智能合约的安全性提供了更为可靠的保障。 展开更多

关键词 智能合约 预训练模型 图嵌入 图注意力网络 漏洞检测 区块链

在线阅读 下载PDF 职称材料

基于路径融合的智能合约漏洞检测方法

4

作者 范亚生 谢春丽 +1 位作者 魏家劲 曾友 《计算机工程与应用》 北大核心 2025年第20期315-326,共12页

随着去中心化互联网的发展,智能合约因其不可修改性而需要在部署前确保安全性,以防范潜在的漏洞风险。尽管已有一些基于深度学习的方法用于智能合约的漏洞检测,但仍然存在以下两个问题:一是缺乏对合约结构和语义信息的充分理解;二是神... 随着去中心化互联网的发展,智能合约因其不可修改性而需要在部署前确保安全性,以防范潜在的漏洞风险。尽管已有一些基于深度学习的方法用于智能合约的漏洞检测,但仍然存在以下两个问题:一是缺乏对合约结构和语义信息的充分理解;二是神经网络模型受输入长度的制约,对长合约性能不佳。针对这两个问题,提出基于语法控制流图的合约分解和路径融合方法。基于抽象语法树构建智能合约的语法控制流图,并采用贪心策略将语法控制流图分解为多条结构简单的路径;使用预训练的代码模型学习路径的向量表示。融合不同路径的特征向量以实现漏洞检测。为验证模型的有效性,构建了一个包含7511个真实世界智能合约的数据集,实验结果表明,和主流方法相比该方法能够有效提高智能合约漏洞检测的精确率、召回率和F1值。 展开更多

关键词 智能合约 漏洞检测 控制流图 预训练模型

在线阅读 下载PDF 职称材料

基于代码控制流图的庞氏骗局合约检测

5

作者 黄静 王梦晓 韩红桂 《软件学报》 北大核心 2025年第10期4628-4644,共17页

区块链在加密货币投资领域展现出强劲的生命力,吸引了大量投资者的参与.然而,由于区块链的匿名性,导致了许多欺诈行为,其中庞氏骗局智能合约就是一种典型的欺诈性投资活动,给投资者带来了巨大的经济损失.因此,对以太坊上的庞氏骗局合约... 区块链在加密货币投资领域展现出强劲的生命力,吸引了大量投资者的参与.然而,由于区块链的匿名性,导致了许多欺诈行为,其中庞氏骗局智能合约就是一种典型的欺诈性投资活动,给投资者带来了巨大的经济损失.因此,对以太坊上的庞氏骗局合约进行检测变得尤为重要.但是,现有研究大都忽略了庞氏骗局合约源代码中的控制流信息.为提取庞氏骗局合约更丰富的语义信息和结构信息,提出一种基于代码控制流图的庞氏骗局合约检测模型.首先,该模型将获取的合约源代码构建成控制流图的形式.然后,使用Word2Vec算法提取了包括数据流信息和代码结构信息在内的关键特征.考虑到每个智能合约的功能不同、代码篇幅差异明显,导致提取的特征向量维度差异较大,对不同智能合约生成的特征向量进行对齐操作,使得所有的特征向量具有相同的维度,便于之后处理.其次,利用基于图卷积和Transformer的特征学习模块,引入多头注意力机制,来学习节点特征的依赖关系.最后,使用多层感知机实现对庞氏骗局合约的识别.通过在XBlock网站提供的数据集上将该模型与传统的图特征学习模型进行对比,验证该模型引入的多头注意力机制的性能.实验结果证明,该模型有效地提升了对庞氏骗局合约的检测能力. 展开更多

关键词 智能合约 庞氏骗局 控制流图 图Transformer

在线阅读 下载PDF 职称材料

内力封闭自适应机构初始运动链综合的胚图支链法 被引量：2

6

作者 罗金良 黄茂林 文群 《中国机械工程》 EI CAS CSCD 北大核心 2007年第12期1470-1474,共5页

根据内力封闭型自适应机构初始运动链的自由度特征,提出了一种运动链构型综合的新方法,即胚图支链法。此方法视运动链由多元素杆和支链两部分构成,并通过一种有序分步的方法构建运动链的拓扑胚图,然后在拓扑胚图上配置支链形成广义拓扑... 根据内力封闭型自适应机构初始运动链的自由度特征,提出了一种运动链构型综合的新方法,即胚图支链法。此方法视运动链由多元素杆和支链两部分构成,并通过一种有序分步的方法构建运动链的拓扑胚图,然后在拓扑胚图上配置支链形成广义拓扑图,再转化为运动链。利用此方法,综合出了自由度为0或-1的9杆、10杆运动链的全部独立构型,为内力封闭自适应机构的创新设计提供了理论依据。 展开更多

关键词 内力封闭自适应机构 初始运动链 型综合 胚图支链法

在线阅读 下载PDF 职称材料

可伸缩图和极小图的一些性质 被引量：2

7

作者 陈仪朝 苏健基 《广西师范大学学报（自然科学版）》 CAS 2004年第2期32-36,共5页

Ivashchenko将分子空间(拓扑空间)与图建立一种对应,并将分子空间中的可伸缩变换等概念引入图中,Ivashchenko与Yeong-NanYeh又引入了极小图的概念,得到可伸缩图与极小图的一些性质.继续探讨可伸缩图与极小图的性质,引进3种图的运算,通... Ivashchenko将分子空间(拓扑空间)与图建立一种对应,并将分子空间中的可伸缩变换等概念引入图中,Ivashchenko与Yeong-NanYeh又引入了极小图的概念,得到可伸缩图与极小图的一些性质.继续探讨可伸缩图与极小图的性质,引进3种图的运算,通过这些运算由可伸缩图与极小图得到一些新的可伸缩图与极小图. 展开更多

关键词 图论 分子空间 可伸缩变换 可伸缩图 极小图

在线阅读 下载PDF 职称材料

区块链数字取证:技术及架构研究 被引量：5

8

作者 范伟 李海波 张珠君 《通信学报》 CSCD 北大核心 2024年第12期124-141,共18页

针对传统数字取证存在场景适应性差、证据保全能力弱以及取证效率低的问题,分析将去中心化、不可篡改的区块链技术引入数字取证的可行性。首先,基于区块链取证技术的层次架构,提出了阶段化取证流程,并剖析了区块链技术在证据获取、保全... 针对传统数字取证存在场景适应性差、证据保全能力弱以及取证效率低的问题,分析将去中心化、不可篡改的区块链技术引入数字取证的可行性。首先,基于区块链取证技术的层次架构,提出了阶段化取证流程,并剖析了区块链技术在证据获取、保全和呈现阶段的研究进展。其次,通过分析现有研究的不足,结合区块链的分布式优势,设计了一套区块链全流程参与的数字取证架构,将证据信息融入链上数据结构并提出了配套的图分析算法,统一了各场景下的证据采集形式;利用链下分布式数据库实现了高效扩容存储;借助智能合约模板提升了同类型取证事务的合约复用性。最后,展望了区块链技术在未来取证应用中的研究方向。 展开更多

关键词 数字取证 区块链 取证元数据 智能合约 图分析算法

在线阅读 下载PDF 职称材料

3连通图中的可缩边与可去边 被引量：1

9

作者 石民勇 苏健基 《广西师范大学学报（自然科学版）》 CAS 1998年第3期10-15,共6页

综述了３连通图中可缩边和可去边的性质以及它们在图中的分布情形．

关键词 连通图 可缩边 可去边 无向图

在线阅读 下载PDF 职称材料

极大平面图的结构与着色理论 (2)多米诺构形与扩缩运算 被引量：7

10

作者 许进 《电子与信息学报》 EI CSCD 北大核心 2016年第6期1271-1327,共57页

业已证明四色猜想的数学证明可归结为刻画4-色漏斗型伪唯一4-色极大平面图的特征。为刻画此类极大平面图的结构特征,本文提出一种构造极大平面图的方法——扩缩运算。研究发现：此方法的关键问题是需要清楚一种构形,称为多米诺构形。文... 业已证明四色猜想的数学证明可归结为刻画4-色漏斗型伪唯一4-色极大平面图的特征。为刻画此类极大平面图的结构特征,本文提出一种构造极大平面图的方法——扩缩运算。研究发现：此方法的关键问题是需要清楚一种构形,称为多米诺构形。文中构造性地给出了多米诺构形的充要条件;在此基础上提出并建立了一个图的祖先图与子孙图理论与构造方法。特别证明了：任一最小度≥4的n（≥9）-阶极大平面图必含（n-2）-阶或（n-3）-阶祖先图;给出极大平面图的递推构造法,并用此方法构造出6~12-阶所有最小度≥4的极大平面图。扩缩运算是本系列文章的基石。 展开更多

关键词 极大平面图 扩缩运算 多米诺构形 祖先图 子孙图 递推构造法

在线阅读 下载PDF 职称材料

MAS故障诊断系统中的任务分解与分配 被引量：2

11

作者 严建峰 李伟华 《计算机科学》 CSCD 北大核心 2008年第7期115-118,共4页

多Agent系统的很多特点使其成功应用于故障诊断系统。为提高MAS故障诊断系统的通用性和智能性,首先分析了某型飞机的任务分解的层次结构,据此设计了任务分解的知识表示机制。其次应用了改进的合同网协议进行任务分配:重视利用任务分配... 多Agent系统的很多特点使其成功应用于故障诊断系统。为提高MAS故障诊断系统的通用性和智能性,首先分析了某型飞机的任务分解的层次结构,据此设计了任务分解的知识表示机制。其次应用了改进的合同网协议进行任务分配:重视利用任务分配经验知识,缩小任务招标的有效对象范围,对同一任务允许多种方法求解。在某型飞机故障诊断的应用中,该任务分配分解机制显示出较高的准确性和智能性。 展开更多

关键词 多AGENT系统 故障诊断 任务规约图 合同网 任务规则

在线阅读 下载PDF 职称材料

4-连通图中圈上的可去边和可收缩边 被引量：7

12

作者 吴吉昌 李学良 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第5期555-558,共4页

给出某些4 连通图中圈上的可收缩边和可去边的分布情况,得到如下结果:最小度至少为4或围长至少为5的4 连通图,其任一圈上至少有两条可去边;对4 连通图中的某些最长圈上至少有两条可收缩边.

关键词 4-连通图 圈 可去边 可收缩边 最小度 围长 有限简单图 图论

在线阅读 下载PDF 职称材料

收缩临界5连通图中的5度顶点 被引量：8

13

作者 苏健基 《广西师范大学学报（自然科学版）》 CAS 1997年第3期12-16,共5页

袁旭东证明收缩临界５连通图中每一个顶点至少与１个５度顶点相邻，现证明这类图中每一个顶点至少与２个５度顶点相邻，并由此推出收缩临界５连通图Ｇ中至少有（２｜Ｇ｜）／５个５度顶点．

关键词 断片 可收缩边 收缩临界连通图 连通图

在线阅读 下载PDF 职称材料

收缩临界6连通图中的6度顶点 被引量：1

14

作者 齐恩凤 袁旭东 《广西科学》 CAS 2006年第2期85-89,共5页

证明对于收缩临界6连通图中的任一个6度点x,或者它与一个6度点相邻,或者在它的邻域中存在一点y,在y的邻域中一定有2个相邻的6度点.

关键词 连通图 断片 可收缩边

在线阅读 下载PDF 职称材料

6连通图完美匹配上的可收缩边 被引量：1

15

作者 卢建立 张志芳 《江西师范大学学报（自然科学版）》 CAS 北大核心 2010年第6期590-593,共4页

采用分类讨论的方法,研究了6-连通图中可收缩边在完美匹配上的分布情况,得到了如下新结果.设G是阶大于12的6-连通图,M是G的一个完美匹配,若图G的任意断片的阶都大于3,则M上至少有2条可收缩边.

关键词 连通图 完美匹配 可收缩边

在线阅读 下载PDF 职称材料

基于双注意力机制图神经网络的智能合约漏洞检测方法 被引量：2

16

作者 李鹏超 张全涛 胡源 《信息网络安全》 CSCD 北大核心 2024年第11期1624-1631,共8页

随着区块链技术的广泛应用,智能合约的内部逻辑越来越复杂。然而,目前大多数智能合约漏洞检测方法存在假阳性率高、检测准确率低等问题。为此,文章提出一种基于双注意力机制图神经网络的智能合约漏洞检测方法,用于智能合约漏洞检测,旨... 随着区块链技术的广泛应用,智能合约的内部逻辑越来越复杂。然而,目前大多数智能合约漏洞检测方法存在假阳性率高、检测准确率低等问题。为此,文章提出一种基于双注意力机制图神经网络的智能合约漏洞检测方法,用于智能合约漏洞检测,旨在提升检测的准确性和效率。文章在图卷积网络的卷积层中引入了多头注意力机制,并在特征传播阶段动态计算邻接节点信息对应的注意力权重。该机制使模型在特征聚合时更加关注与当前节点最相关的邻居节点,从而提升对重要特征的辨识能力。在图池化阶段,采用注意力池化机制选择和聚合节点特征,进一步提升对关键节点的关注度,提高了对漏洞检测影响较大特征的识别能力。文章采用以太坊智能合约漏洞样本数据集(ESC)进行实验,实验结果表明,与其他检测技术相比,文章所提方法在识别复杂智能合约漏洞方面具有更快的检测速度和更高的准确性。 展开更多

关键词 智能合约 漏洞检测 注意力机制 图神经网络

在线阅读 下载PDF 职称材料

混合图在无向图割集生成中的应用

17

作者 梁勇强 朱晓姝 谢妙 《计算机工程与设计》 CSCD 北大核心 2010年第11期2648-2653,共6页

为了进一步提高生成无向图割集的递归收缩算法的执行效率,将无向图转换为一类特殊的混合图,并将转换结果代替无向图输入递归收缩算法进行处理,修改了递归收缩算法中相应的算法步骤,使得改进算法可以更高效地生成无向图的割集。在理论上... 为了进一步提高生成无向图割集的递归收缩算法的执行效率,将无向图转换为一类特殊的混合图,并将转换结果代替无向图输入递归收缩算法进行处理,修改了递归收缩算法中相应的算法步骤,使得改进算法可以更高效地生成无向图的割集。在理论上论证了改进算法的正确性,并通过理论分析和实验比较了改进算法和现有算法的时间复杂度和空间复杂度。理论分析结果和实验比较结果均表明改进算法明显比现有算法高效。 展开更多

关键词 混合图 无向图 割集 边被收缩图 递归收缩算法

在线阅读 下载PDF 职称材料

基于图论的虚拟企业制造伙伴选择优化算法 被引量：10

18

作者 尚耀华 万威武 《系统工程学报》 CSCD 北大核心 2006年第4期375-380,共6页

虚拟企业是21世纪企业进行生产经营和市场竞争的主要模式,确定合适的,有竞争力的合作伙伴直接关系到虚拟企业的市场反应速度及合作的绩效和成败.针对此问题,提出了基于图论的优化算法的解决方案.首先描述了虚拟企业制造任务,明确了虚拟... 虚拟企业是21世纪企业进行生产经营和市场竞争的主要模式,确定合适的,有竞争力的合作伙伴直接关系到虚拟企业的市场反应速度及合作的绩效和成败.针对此问题,提出了基于图论的优化算法的解决方案.首先描述了虚拟企业制造任务,明确了虚拟企业在选择制造伙伴时应考虑的因素,在此基础上,建立了虚拟企业制造伙伴选择的数学模型,提出以“合同网”方法选择制造伙伴,针对评标中对投标者如何选择的问题,论文给出了两种基于图论的优化算法,并以实例说明了算法的有效性. 展开更多

关键词 图论 虚拟企业 伙伴选择 合同网 制造伙伴

在线阅读 下载PDF 职称材料

基于源码结构和图注意力网络的以太坊蜜罐合约检测方法 被引量：2

19

作者 王友卫 侯玉栋 凤丽洲 《通信学报》 EI CSCD 北大核心 2023年第9期161-172,共12页

针对目前蜜罐合约检测方法准确率不高以及泛化性较差等问题,提出了基于源码结构和图注意力网络的以太坊蜜罐合约检测(CSGDetector)方法。首先,为了提取出智能合约Solidity源码的结构信息,对源码进行语法分析,将其转换为XML解析树;然后,... 针对目前蜜罐合约检测方法准确率不高以及泛化性较差等问题,提出了基于源码结构和图注意力网络的以太坊蜜罐合约检测(CSGDetector)方法。首先,为了提取出智能合约Solidity源码的结构信息,对源码进行语法分析,将其转换为XML解析树;然后,筛选出可以表达合约结构特征和内容特征的特征词集,并构造出合约源码结构图;最后,为避免数据集不平衡性带来的影响,在集成学习理论基础上引入教师模型和学生模型的概念,分别从全局和局部的角度训练图注意力网络模型,并融合所有模型的输出作为合约最终检测结果。实验表明,与已有方法KOLSTM相比,CSGDetector在二分类与多分类实验中的F1值分别提升了1.27%与7.21%,验证了其具有较高的蜜罐检测能力;与已有方法XGB相比,CSGDetector在掩蔽蜜罐检测实验中针对不同类型蜜罐合约的平均召回率提升了7.57%,验证了所提方法在提升算法泛化性能方面的有效性。 展开更多

关键词 以太坊 蜜罐合约 源码结构 图注意力网络 集成学习

在线阅读 下载PDF 职称材料

生成有向装配连接图有向割集的递归收缩算法 被引量：1

20

作者 梁勇强 钟艳如 张庆霞 《计算机集成制造系统》 EI CSCD 北大核心 2008年第2期329-335,共7页

为解决有向装配图有向割集的求解,给出一个生成有向装配连接图有向割集的高效算法,该算法优先考虑检查有向割集两个子图间边的方向。算法首先利用边收缩图的概念,递归生成有向装配连接图的具有一个连通子图的一部分有向断集,接着通过判... 为解决有向装配图有向割集的求解,给出一个生成有向装配连接图有向割集的高效算法,该算法优先考虑检查有向割集两个子图间边的方向。算法首先利用边收缩图的概念,递归生成有向装配连接图的具有一个连通子图的一部分有向断集,接着通过判断另一个子图是否连通,从这些有向断集的集合中筛选出全部的有向割集。理论分析和实验分析均表明,该改进算法可行且高效,时间复杂度明显低于已有算法。 展开更多

关键词 有向装配连接图 有向割集 递归收缩算法

在线阅读 下载PDF 职称材料