智能合约安全漏洞挖掘技术研究

• 作者: 付梦琳 冯文博 吴礼发 洪征
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 区块链安全 智能合约 以太坊 漏洞挖掘 自动化工具
• 年，卷（期）: 2019,（7）
• 所属期刊栏目: 网络空间安全
• 页码范围: 1959-1966
• 页数: 8页
• 分类号: TR309|TP393.08
• 字数: 13181字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2019010082

摘要

近年来,以智能合约为代表的第二代区块链平台及应用出现了爆发性的增长,但频发的智能合约漏洞事件严重威胁着区块链生态安全.针对当前主要依靠基于专家经验的代码审计效率低下的问题,提出开发通用的自动化工具来挖掘智能合约漏洞的重要性.首先,调研并分析了智能合约面临的安全威胁问题,总结了代码重入、访问控制、整数溢出等10种出现频率最高的智能合约漏洞类型和攻击方式;其次,讨论了主流的智能合约漏洞的检测手段,并梳理了智能合约漏洞检测的研究现状;然后,通过实验验证了3种现有符号执行工具的检测效果.对于单一漏洞类型,漏报率最高达0.48,误报率最高达0.38.实验结果表明,现有研究涵盖的漏洞类型不完整,误报及漏报多,并且依赖人工复核;最后,针对这些不足展望了未来研究方向,并提出一种符号执行辅助的模糊测试框架,能够缓解模糊测试代码覆盖率不足和符号执行路径爆炸问题,从而提高大中型规模智能合约的漏洞挖掘效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	洪征	中国解放军陆军工程大学指挥控制工程学院	2	11	1.0	2.0
2	冯文博	中国解放军陆军工程大学指挥控制工程学院	2	11	1.0	2.0
3	吴礼发	中国解放军陆军工程大学指挥控制工程学院	2	11	1.0	2.0
4	付梦琳	中国解放军陆军工程大学指挥控制工程学院	1	11	1.0	1.0