A Smart Contract Weakness and Security Hole Analyzer Using Virtual Machine Based Dynamic Monitor
- Authors
- Son, Yunsik; Lee, YangSun
- Issue Date
- 2022
- Publisher
- Success Culture Press
- Keywords
- Blockchain; security-level information flow; semantics; smart contract; software weakness
- Citation
- Journal of Logistics, Informatics and Service Science, v.9, no.1, pp 36 - 52
- Pages
- 17
- Indexed
- SCOPUS
- Journal Title
- Journal of Logistics, Informatics and Service Science
- Volume
- 9
- Number
- 1
- Start Page
- 36
- End Page
- 52
- URI
- https://scholarworks.dongguk.edu/handle/sw.dongguk/3808
- DOI
- 10.33168/LISS.2022.0104
- ISSN
- 2409-2665
2409-2665
- 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. © 2022, Success Culture Press. All rights reserved.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - College of Advanced Convergence Engineering > Department of Computer Science and Artificial Intelligence > 1. Journal Articles

Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.