지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.48 No.6
- 발행연도
- 2021.6
- 수록면
- 668 - 679 (12page)
- DOI
- 10.5626/JOK.2021.48.6.668
이용수
초록· 키워드
오류제보하기
이더리움은 대표적인 블록체인 기반 암호화폐 플랫폼으로, 튜링 완전 언어인 솔리디티를 제공하여 다양한 응용을 위한 스마트 컨트랙트를 개발하는데 활용될 수 있다. 본 논문은 콘콜릭 테스팅 기법을 사용하여 스마트 컨트랙트 내의 보안약점을 사전에 찾아내는 분석기를 제시한다. 심볼릭 수행과 테스팅 기법이 합쳐진 콘콜릭 테스팅은 일반적인 정적 분석과 비교하여 오탐이 없는 심볼릭 수행의 장점을 유지하면서, 심볼릭 수행보다 성능 면에서 효율적인 장점이 있다. 또한, 개발된 분석기는 이더리움의 실행 환경인 게스 테스트넷을 사용하여 실제적인 수행상황을 최대한 반영하여 동작한다. 분석기는 정수 넘침과 처리되지 않은 예외 보안약점의 검출을 지원하며, 구현 결과에 대하여 기존 분석기와의 비교를 통해 개발된 분석기의 성능을 분석하였다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. 스마트 컨트랙트 콘콜릭 테스팅 시스템
4. 성능 분석
5. 결론
References
참고문헌 (24)
참고문헌 신청
V.Buterin, 2014, "A-next-generation smart contract and decentralized application platform," [Online], Av ailable : https://blockchainlab.com/pdf/Ethereum_wh ite_paper-a_next_generation_smart_contract_and_de centralized_application_platform-vitalik-buterin.pdf (downloaded 2020, DEC.10)
Purathani Praitheeshan, Lei Pan, Jiangshan Yu, Joseph Liu, and Robin Doss, 2019, "Security Analysis Methods on Ethereum Smart Contract Vulnerabilities - A Survey," [Online]. Available: https://arxiv.org/abs/1908.08605 (downloaded 2020, DEC. 10)
F. Nielson, H. Riis Nielson, and C. Hankin, "Principles of Program Analysis," New York: Springer-Verlag, 1999.
P. Cousot and R. Cousot "Abstract interpretation a unified lattice model for static analysis of programs by construction or approximation of fixpoints," Proc. of the 4th Annual ACM POPL 238-252, 1977.
X. Rival and K. Yi, "Introduction to Static Analysis: An Abstract Interpretation Perspective," Cambridge Massachusetts, London England, 2020.
P. Cousot and R. Cousot "Abstract interpretation a unified lattice model for static analysis of programs by construction or approximation of fixpoints," Proc. of the 4th Annual ACM POPL 238-252, 1977.
X. Rival and K. Yi, "Introduction to Static Analysis: An Abstract Interpretation Perspective," Cambridge Massachusetts, London England, 2020.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
이더리움 스마트 컨트랙트의 보안약점과 분석도구의 지원 현황 연구
한국정보과학회 학술발표논문집
2018 .12
-
Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System
Journal of KIISE
2019 .09
-
Improving Reliability of Smart Contracts and DApps by Applying Property-based and Model-based Test Methods to Different Test Levels
Journal of KIISE
2019 .08
-
블록체인에서 스마트 컨트랙트 관련 연구
한국정보과학회 학술발표논문집
2019 .06
-
블록체인 기반의 스마트 컨트랙트 정적/동적 설계 기법
한국산학기술학회 논문지
2018 .06
-
공유로그 기반 Solidity 스마트 컨트랙트 실행 환경
한국정보과학회 학술발표논문집
2022 .06
-
허가형 블록체인의 트랜잭션 최적화를 위한 스마트 컨트랙트 관리 기법
정보과학회 컴퓨팅의 실제 논문지
2022 .06
-
Assert 삽입을 통한 Concolic 단위 테스팅의 결함 검출력 향상
한국자동차공학회 춘계학술대회
2019 .05
-
로그 기반의 이더리움 스마트 컨트랙트 동적 테스트 도구 설계 및 구현
정보과학회 컴퓨팅의 실제 논문지
2020 .07
-
병렬적 실행을 지원하는 스마트 컨트랙트의 블록체인 프로토콜 설계
한국정보과학회 학술발표논문집
2019 .12
-
Concolic 단위 테스팅 기법을 사용한 효과적인 자동차SW 커버리지 향상
한국자동차공학회 추계학술대회 및 전시회
2018 .11
-
이더리움 스마트 컨트랙트 보안 취약점 분석 및 대응방안에 대한 연구
한국통신학회 학술대회논문집
2023 .02
-
Improving Applicability and Usability of a Concolic Testing Tool CROWN
Journal of KIISE
2018 .10
-
이더리움 스마트 컨트랙트의 실시간 정적 분석
한국정보과학회 학술발표논문집
2017 .12
-
스마트 컨트랙트의 지연검증과 병렬실행을 지원하는 블록체인 설계와 구현
정보과학회 컴퓨팅의 실제 논문지
2020 .08
-
스마트 컨트랙트 취약점 자동 분류 시스템
ICT플랫폼학회 하계학술발표대회논문집
2023 .07
-
이더리움 스마트 컨트랙트 상태 모니터링 시스템의 설계 및 구현
소프트웨어공학 소사이어티 논문지
2019 .12
-
허가형 블록체인에서의 스마트 컨트랙트 관리 기법
한국정보과학회 학술발표논문집
2021 .06
-
Bitfield 심볼릭 지원을 통한 Concolic 테스팅 효과 향상
한국정보과학회 학술발표논문집
2018 .06
-
블록체인 관련 보안약점 연구
한국컴퓨터정보학회 학술발표논문집
2020 .07
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0