智能合约的漏洞与开放问题：一项系统性映射
软件工程
2021-05-27 v2 密码学与安全
摘要
智能合约（SCs）是存储在区块链中用于确保两方或多方之间协议执行的程序。由于区块链不可更改的本质，SCs 中的故障或错误一旦发布便永久存在。SCs 的可靠性对于避免财务损失至关重要。因此，必须检查 SCs 以确保无错误。为此，许多研究提出了用于 SCs 中零缺陷软件的新方法和工具。本文进行了系统性文献映射，识别用于分析 SCs 及处理已识别漏洞的举措和工具。此外，本工作识别了可能导致未来研究工作课题的空白。
引用
@article{arxiv.2104.12295,
title = {Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping},
author = {Gabriel de Sousa Matsumura and Luciana Brasil Rebelo dos Santos and Arlindo Flavio da Conceição and Nandamudi Lankalapalli Vijaykumar},
journal= {arXiv preprint arXiv:2104.12295},
year = {2021}
}