스마트 컨트랙트 보안 취약점 분석 및 보안 자동화 모델

다국어 초록 (Multilingual Abstract)

Smart contracts are a key component of blockchain technology and are used in various fields that require reliability for digital data because they are automatically implemented when contract conditions are met. However, smart contracts have several security vulnerabilities and privacy threats; thus, measures to strengthen security are needed. In this paper, security vulnerabilities for each operation process of smart contracts were analyzed, and a security automation model for each step was presented. The security of smart contracts is important throughout its entire life cycle, and automating the security steps to be performed at each operation stage can minimize errors and reduce security maintenance. A security analysis of the proposed security automation model revealed that all security requirements against threats at each stage were satisfied. By applying and implementing the proposed model in the future to various real-world cases, it will be possible to strengthen the security and reliability of blockchain technology and provide a safe blockchain environment to a wide range of users.