兰州大学机构库 >信息科学与工程学院
以太坊Solidity智能合约漏洞检测方法综述
张潆藜; 马佳利; 刘子昂; 刘新; 周睿
2022-03-15
Source Publication计算机科学
Volume49Issue:03Pages:52-61
Abstract以太坊Solidity智能合约基于区块链技术,作为一种旨在以信息化方式传播、验证或执行的计算机协议,为各类分布式应用服务提供了基础。虽然落地还不足6年,但因其安全漏洞事件频繁爆发,且造成了巨大的经济损失,使得其安全性检查方面的研究备受关注。首先基于以太坊相关技术对智能合约的一些特殊机制和运行原理进行介绍,并根据智能合约的自身特性对一些出现频率较高的智能合约漏洞进行分析,然后从符号执行、模糊测试、形式化验证和污点分析等方面分类阐述了传统的主流智能合约漏洞检测工具。此外,为了应对层出不穷的新型漏洞以及提高漏洞检测效率的需求,将近年来基于机器学习的漏洞检测技术依据其问题转化方式的不同做了分类总结,并从文本处理、非欧几里得图和标准图像3个角度进行了简要介绍。最后,针对两类检测方向的不足之处,提出了建立相关标准化、规范化信息库以及衡量指标的建议。
Keyword智能合约 区块链 安全漏洞 漏洞检测工具 机器学习
URL查看原文
Indexed By北大核心 ; CSCD
Language中文
CSCD IDCSCD:7162769
Original Document Type学术期刊
Citation statistics
Document Type期刊论文
Identifierhttps://ir.lzu.edu.cn/handle/262010/474742
Collection信息科学与工程学院
Affiliation兰州大学信息科学与工程学院
First Author AffilicationSchool of Information Science and Engineering
Recommended Citation
GB/T 7714
张潆藜,马佳利,刘子昂,等. 以太坊Solidity智能合约漏洞检测方法综述[J]. 计算机科学,2022,49(03):52-61.
APA 张潆藜,马佳利,刘子昂,刘新,&周睿.(2022).以太坊Solidity智能合约漏洞检测方法综述.计算机科学,49(03),52-61.
MLA 张潆藜,et al."以太坊Solidity智能合约漏洞检测方法综述".计算机科学 49.03(2022):52-61.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Altmetrics Score
Google Scholar
Similar articles in Google Scholar
[张潆藜]'s Articles
[马佳利]'s Articles
[刘子昂]'s Articles
Baidu academic
Similar articles in Baidu academic
[张潆藜]'s Articles
[马佳利]'s Articles
[刘子昂]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[张潆藜]'s Articles
[马佳利]'s Articles
[刘子昂]'s Articles
Terms of Use
No data!
Social Bookmark/Share
No comment.
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.