본문 바로가기
KERD
논문KCI 등재

함수 호출의 안전성 향상을 돕는 스마트 계약 코드 재작성기

Smart Contract Code Rewritter for Improving Safety of Function Calls

정형근|조은선|이수연
한국정보보호학회 (Korea Institute Of Information Security And Cryptology)|2019.02|정보보호학회논문지 (Journal of The Korea Institute of Information Security and Cryptology)|제29권 제1호|pp. 67-75|DOI https://doi.org/10.13089/JKIISC.2019.29.1.67

0

조회

0

다운로드

2

인용

0

참고문헌

키워드

SolidityPreprocessorRewritterFallback functions
주제분류컴퓨터학

초록

Solidity에서 다른 계약의 함수를 호출할 때 특정 문제로 인해 호출할 수 없으면 fallback 함수가 실행된다. 이fallback 함수는 임의로 작성될 수 있는 함수로 어떤 동작을 하는지 정해지지 않았기 때문에 함수의 동작을 알 수없어 공격에 이용되기 쉽다. 본 논문에서는 이러한 위험성을 개발자의 부담 없이 줄이기 위해 전처리기를 이용한 해결방법을 제안한다. 개발자는 새롭게 정의된 키워드를 이용해서 의사표시를 하고, 전처리기는 해당 키워드에 따라상태변수와 조건문을 이용해서 전처리 과정을 진행하여 위험성을 줄인다.

Abstract

When a Solidity smart contract has a problem in calling a function of another contract, the fallback function is supposedto be executed automatically. However, it may be are arbitrarily created, with their behaviors unknown to developers, andfallback function execution is vulnerable to exploits by attackers. in In this paper, we propose a preprocessing based methodto reduce the risk with less overhead of developers’. Developers mark the intention using the newly defined keywords inthis paper, and the preprocessor reduces the risk by preprocessing the conditional variables and conditional statementsaccording to the keywords.

참고문헌 (17)

  1. "Solidity, Solidity"[URL]
  2. "smart contract. smart contract", 스마트계약[URL]
  3. "Ethereum. ethereum"[URL]
  4. Nicola Atzei, "A survey of attacks on Ethereum smart contracts", Proceedings of the 6th International Conference on Principles of Security and Trust, pp.164~186 (2017)
  5. Loi Luu, "Prateek Saxena and Aquinas Hobor, “Making Smart Contracts Smarter", Proceedings of the 2016ACM SIGSAC Conference on Computer and Communications Security, pp.254~269 (2016)
  6. Thomas Cook, "DappGuard : Active Monitoring and Defense for Solidity Smart Contracts", mit, ~ (2017)
  7. Jack Pettersson, "Safer smart contracts through type-driven development Using dependent and polymorphic types for safer development of smart contracts", Master’s, Department of Computer Science and Engineering Computing Science, pp.2016
  8. Ahmed Kosba, "Hawk: The blockchain model of cryptography and privacypreserving smart contracts", Proceedings of the 2016 IEEE Symposium on Security and Privacy, SP '16 (2016), IEEE Computer Society
  9. "EVM"[URL]
  10. "remix"[URL]
  11. Sukrit Kalra, "ZEUS:Analyzing Safety of Smart Contracts", Network and Distributed Systems Security (NDSS) Symposium 2018, IBM Research and IIT Delhi (2018)
  12. "Symbolic execution, Symbolic executi on"[URL]
  13. "The Z3 theorem prover, The Z3theorem prover"[URL]
  14. "LLVM"[URL]
  15. "solidity decompil er"[URL]
  16. "Solidity require"[URL]
  17. "ANTLR"[URL]

관련 논문AI추천

DeFi 스마트 컨트랙트 접근 제어 취약점 탐지를 위한 지능형 정적 분석 프레임워크의 설계 및 평가김남령, 이일구, 조효빈한국정보보호학회 · 정보보호학회논문지2025 · 제35권 제6호버퍼 오버플로우 공격 방지를 위한 취약 함수 변환기 구현김익수, 조용윤(사)디지털산업정보학회 · (사)디지털산업정보학회 논문지2010 · 제6권 제1호Solana CPI 기반의 스마트 컨트랙트 보안 취약점 및 경량 보안 기법에 관한 연구김혜영, 남시영, 박정민, 우재영한국정보보호학회 · 정보보호학회논문지2025 · 제35권 제5호TCST : 신뢰실행환경 내에서 스마트 컨트랙트의 제어 흐름 무결성 검증을 위한 기술권동현, 박성환한국정보보호학회 · 정보보호학회논문지2022 · 제32권 제6호블록체인 이더리움 기반 스마트 거래 시 거래내역 보호를 위한 위협요소 탐지 및 대응방법 연구 = 안드로이드 OS 기반 -민연아한국컴퓨터정보학회 · 한국컴퓨터정보학회논문지2019 · 제24권 제4호이더리움 스마트 계약 프로그램의 ERC-20 API 기능 명세의관례상 표준과 적합성 리뷰 방법문현아, 박수용한국정보처리학회 · 정보처리학회 논문지2022 · 제11권 제10호

이 간행물의 다른 논문 (20건)

전투기 데이터 변조 공격행위에 대한 탐지모듈 제안김호근, 홍병진, 임재성, 김완주pp. 5-16안전한 6LoWPAN Neighbor Discovery 주소 등록 프로토콜박창섭, 한상우pp. 17-28SDWSN 환경의 PUF 기반 그룹 키 분배 방법 개선정익래, 변진욱, 오정민pp. 29-43DEX와 ELF 바이너리 역공학 기반 안드로이드 어플리케이션 호출 관계 분석에 대한 연구안진웅, 박정수, 정수환, 응웬부렁pp. 45-55이중요소를 이용한 상황인지 기반 드론 제어 메커니즘 설계오윤석, 서승현, 김애영pp. 57-66
원문 보기