【Author】
Almakhour, Mouhamad; Sliman, Layth; Samhat, Abed Ellatif; Mellouk, Abdelhamid
【Source】PERVASIVE AND MOBILE COMPUTING
【Abstract】To achieve trust and continuity in the smart contracts-based business process execution, the verification of such smart contracts is mandatory. A blockchain-based smart contract should work as intended before using it. Due to the immutable nature of blockchain, any bugs or errors will become permanent once published and could lead to huge economic losses. To avoid such problems, verification is required to check the correctness and the security of the smart contract. In this survey, we consider the smart contracts and we investigate smart contacts formal verification methods. We also investigate the security assurance for smart contracts using vulnerabilities detection methods. In this context, we provide a detailed overview of the different approaches to verify the smart contracts and we present the used methods and tools. We show a description of each method as well as its advantages and limitations and we draw several conclusions. (c) 2020 Elsevier B.V. All rights reserved.
【Keywords】Smart contracts; Blockchain; Verification; Correctness; Security assurance
【摘要】为了在基于智能合约的业务流程执行中实现信任和连续性，对此类智能合约的验证是必须的。基于区块链的智能合约在使用之前应该按照预期工作。由于区块链的不可变特性，一旦发布，任何bug或错误将成为永久性的，并可能导致巨大的经济损失。为了避免此类问题，需要验证智能合约的正确性和安全性。在本次调查中，我们考虑了智能合约，我们研究了智能联系人的正式验证方法。我们还利用漏洞检测方法研究了智能合约的安全保证。在此背景下，我们提供了验证智能合约的不同方法的详细概述，并介绍了使用的方法和工具。我们展示了每种方法的描述以及它的优点和局限性，并得出了几个结论。(c)爱思唯尔公司2020版权所有。
【关键词】智能合约;区块链;验证;正确性;安全保证
评论