智能合约的安全研究现状与检测方法分析综述

• 作者: 王朝栋 蔡佳浩 郑忠斌
• 来源期刊: 信息安全与通信保密
• 学科: 工学
• 关键词: 智能合约 安全漏洞 检测方法 实验分析
• 年，卷（期）: 2020,（7）
• 所属期刊栏目: 学术争鸣
• 页码范围: 93-105
• 页数: 13页
• 分类号: TP393
• 字数: 8030字
• 语种: 中文

摘要

随着密码学和通信技术的发展,传统的纸质合约迎来了革命性的改变,基于密码学这种高科技上的数字化合同逐渐崭露头角,智能合约通过程序代码规定合约条款和触发条件,一旦满足出发条件合约便会自行执行.基于对智能合约存在的重入漏洞、整数溢出漏洞、拒绝服务攻击漏洞和时间戳依赖漏洞等安全漏洞进行的总结分析,提出了针对智能合约漏洞的形式化验证、符号执行、静态分析和污点分析等检测方法,并进行了相关的实验分析,最后提出了总结与展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑忠斌		12	1	1.0	1.0
2	王朝栋		5	0	0.0	0.0
3	蔡佳浩		2	0	0.0	0.0