Abstract
Blockchain-based smart contracts are a technology for decentralized applications, and their usefulness and development potential have been highly evaluated. However, as a technology developed over an extremely short period, there are many flaws in the programming language and execution environment used for developing and executing smart contracts. In this study, a software weakness analyzer is proposed to detect possible software weaknesses in smart contracts. The proposed analyzer examines software weaknesses through a security-level information flow. For this purpose, the semantics of a smart contract when converted into an intermediate code are defined and analyzed on a dynamic monitor.
Original language | English |
---|---|
Pages (from-to) | 36-52 |
Number of pages | 17 |
Journal | Journal of Logistics, Informatics and Service Science |
Volume | 9 |
Issue number | 1 |
DOIs | |
State | Published - 2022 |
Keywords
- Blockchain
- security-level information flow
- semantics
- smart contract
- software weakness