典型文献
智能合约漏洞检测研究综述
文献摘要：
智能合约作为区块链技术中的重要组成部分,通过其编写的去中心化应用被广泛用于各领域中,为区块链的发展与应用提供了重要的技术支持.但智能合约发展的同时也带来了安全问题,大量针对智能合约的漏洞攻击,让研究者不得不加强对智能合约安全漏洞的重视.如何快速准确地进行漏洞检测成为一个亟待解决的问题.首先,通过对重入攻击漏洞、整数溢出以及访问控制漏洞等常见漏洞的分析使研究者对常见漏洞得到充分的了解.其次,通过对形式化验证、符号执行、机器学习等漏洞检测方法及其对应工具的国内外现状进行调研并分析讨论工具的优缺点,同时通过复现部分工具进行实验,以检测速度、准确率以及支持检测的漏洞数量为标准,展示漏洞检测工具的性能.最后,根据对智能合约漏洞检测工具的分析结果对未来的研究方向给出建议.
文献关键词：
区块链;智能合约;漏洞检测;安全
中图分类号：
作者姓名：
李雷孝;郑岳;高昊昱;熊啸;牛铁铭;杜金泽;高静
作者机构：
内蒙古工业大学 数据科学与应用学院,呼和浩特 010080;内蒙古自治区基于大数据的软件服务工程技术研究中心,呼和浩特 010080;内蒙古工业大学 信息工程学院,呼和浩特 010080;内蒙古农业大学 计算机与信息工程学院,呼和浩特 010011
文献出处：
引用格式：
[1]李雷孝;郑岳;高昊昱;熊啸;牛铁铭;杜金泽;高静-.智能合约漏洞检测研究综述)[J].计算机科学与探索,2022(11):2456-2470
A类：
整数溢出
B类：
智能合约,去中心化,发展与应用,漏洞攻击,不加,安全漏洞,快速准确,重入,访问控制,形式化验证,符号执行,国内外现状,分析讨论,复现,检测速度,漏洞检测工具
AB值：
0.239829
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
