典型文献
基于局部图匹配的智能合约重入漏洞检测方法
文献摘要：
针对以太坊中智能合约遭受重入漏洞攻击的问题,文章提出一种基于局部图匹配的智能合约重入漏洞检测方法.该方法首先将智能合约源代码转化为包含基本结构信息的抽象语法树,并根据重入漏洞的特点裁剪抽象语法树;然后从抽象语法树中提取更加丰富的控制流和数据流,进而生成包含语法和语义信息的局部抽象语义图数据.文章利用图匹配神经网络对局部抽象语义图进行模型训练和测试,使用开源智能合约漏洞样本数据集生成测试数据并对方案进行评估.实验结果表明,该方法能够有效检测智能合约中的重入漏洞.
文献关键词：
智能合约;图匹配神经网络;重入漏洞;抽象语义图
中图分类号：
作者姓名：
张玉健;刘代富;童飞
作者机构：
东南大学网络空间安全学院,南京 211189;江苏省泛在网络安全工程研究中心,南京 211189
文献出处：
引用格式：
[1]张玉健;刘代富;童飞-.基于局部图匹配的智能合约重入漏洞检测方法)[J].信息网络安全,2022(08):1-7
A类：
重入漏洞,抽象语义图,图匹配神经网络
B类：
局部图,智能合约,漏洞检测,以太坊,受重,漏洞攻击,源代码,基本结构,结构信息,抽象语法树,裁剪,控制流,数据流,语义信息,图数据,对局,模型训练,开源,样本数据集,数据集生成,测试数据,有效检测
AB值：
0.216764
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
