典型文献
智能合约安全漏洞检测技术研究综述
文献摘要：
智能合约是区块链技术最成功的应用之一,为实现各式各样的区块链现实应用提供了基础,在区块链生态系统中处于至关重要的地位.然而,频发的智能合约安全事件不仅造成了巨大的经济损失,而且破坏了基于区块链的信用体系,智能合约的安全性和可靠性成为国内外研究的新关注点.首先从Solidity代码层、EVM执行层、区块链系统层这3个层面介绍了智能合约常见的漏洞类型和典型案例;继而,从形式化验证法、符号执行法、模糊测试法、中间表示法、深度学习法这5类方法综述了智能合约漏洞检测技术的研究进展,针对现有漏洞检测方法的可检测漏洞类型、准确率、时间消耗等方面进行了详细的对比分析,并讨论了它们的局限性和改进思路;最后,根据对现有研究工作的总结,探讨了智能合约漏洞检测领域面临的挑战,并结合深度学习技术展望了未来的研究方向.
文献关键词：
区块链;智能合约;以太坊;漏洞检测;自动化工具
中图分类号：
作者姓名：
钱鹏;刘振广;何钦铭;黄步添;田端正;王勋
作者机构：
浙江工商大学 计算机与信息工程学院, 浙江 杭州 310018;浙江大学 计算机科学与技术学院, 浙江 杭州 310058
文献出处：
引用格式：
[1]钱鹏;刘振广;何钦铭;黄步添;田端正;王勋-.智能合约安全漏洞检测技术研究综述)[J].软件学报,2022(08):3059-3085
A类：
B类：
智能合约,安全漏洞检测技术,各式各样,现实应用,安全事件,信用体系,安全性和可靠性,关注点,Solidity,代码,EVM,执行层,区块链系统,形式化验证,验证法,符号执行,模糊测试,测试法,中间表示,表示法,方法综述,测漏,改进思路,检测领域,深度学习技术,技术展望,以太坊,自动化工具
AB值：
0.363746
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
