지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2021.12
- 수록면
- 2,006 - 2,014 (9page)
- DOI
- 10.5370/KIEE.2021.70.12.2006
이용수
초록· 키워드
오류제보하기
A blockchain is a growing list of cryptographically secured blocks to maintain shared data on decentralized systems, in order to archive transactions between untrusted participants. Smart contracts are computer programs that automatically execute legal events according to the terms of contracts. Although the Ethereum blockchain has been successfully applied to a number of interesting applications, there have been several events that subtle flaws in smart contracts induce a huge amount of financial loss such as the DAO attack. Accordingly, to analyze smart contracts, we propose a novel formal verification technique to employ ATL (Alternating-time Temporal Logic) model checking. Our methodology represents the interaction between users and smart contracts with a two-player game and verify game properties by using MCMAS that is an efficient ATL model checker.
목차
Abstract
1. 서론
2. ATL 모델 체킹
3. 스마트 컨트랙트에 대한 ATL 모델 체킹
4. 사례 연구
5. 결론
References
참고문헌 (15)
참고문헌 신청
A. M. Antonopoulos / 2015 / Mastering Bitcoin: Unlocking Digital Cryptocurrencies / O'Reilly Media
L. Luu / 2016 / Aquinas Hobor Making Smart Contracts Smarter / Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security :254~269
Q. Dupont / 2017 / Bitcoin and Beyond: Cryptocurrencies, Blockchains and Global Governance :157~177
G. Destefanis / 2018 / Smart contracts vulnerabilities:a call for blockchain software engineering? / 2018 International Workshop on Blockchain Oriented Software Engineering :19~25
P. Praitheeshan / 2019 / Security analysis methods on Ethereum smart contract vulnerabilities: A survey / CoRR, abs/1908.08605
L. Luu / 2016 / Aquinas Hobor Making Smart Contracts Smarter / Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security :254~269
Q. Dupont / 2017 / Bitcoin and Beyond: Cryptocurrencies, Blockchains and Global Governance :157~177
G. Destefanis / 2018 / Smart contracts vulnerabilities:a call for blockchain software engineering? / 2018 International Workshop on Blockchain Oriented Software Engineering :19~25
P. Praitheeshan / 2019 / Security analysis methods on Ethereum smart contract vulnerabilities: A survey / CoRR, abs/1908.08605
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
ATL 1.0: 인공지능 기술 수준 정의
[ETRI] 전자통신동향분석
2020 .06
-
ATL 모델 체커 Mocha를 위한 strategy 트리 생성
한국정보과학회 학술발표논문집
2016 .06
-
Ethereum 상의 전력 거래를 위한 Smart Contract 개발
한국통신학회 학술대회논문집
2019 .01
-
이더리움 스마트 컨트랙트의 실시간 정적 분석
한국정보과학회 학술발표논문집
2017 .12
-
Blockchain-Enabled Secured Land Transaction Framework using Smart Contract
한국통신학회 학술대회논문집
2024 .06
-
블록체인에서 스마트 컨트랙트 관련 연구
한국정보과학회 학술발표논문집
2019 .06
-
Lightweight Project Bidding Smart Contract for Industial Sector on Ethereum Blockchain
한국통신학회 학술대회논문집
2022 .02
-
블록체인 기반의 스마트 컨트랙트 정적/동적 설계 기법
한국산학기술학회 논문지
2018 .06
-
이더리움 스마트 컨트랙트 성능 저하 현상 실험 및 분석
정보과학회 컴퓨팅의 실제 논문지
2018 .07
-
비밀공유 기법을 적용한 스마트 컨트랙트 플랫폼에 대한 연구
한국정보기술학회논문지
2020 .11
-
이더리움 스마트 컨트랙트 상태 모니터링 시스템의 설계 및 구현
소프트웨어공학 소사이어티 논문지
2019 .12
-
개인정보보호를 고려한 스마트 컨트랙트 설계 방안 연구
보안공학연구논문지
2018 .01
-
Ethereum, EOS를 통한 스마트 컨트랙트 이용 플랫폼 비교 분석 연구
한국정보과학회 학술발표논문집
2018 .12
-
이더리움 스마트 컨트랙트를 이용한 금융상품 설계 및 구현
한국통신학회 학술대회논문집
2019 .01
-
이더리움 스마트 컨트랙트 보안 취약점 분석 및 대응방안에 대한 연구
한국통신학회 학술대회논문집
2023 .02
-
이더리움 스마트 계약 취약점 검출기
한국정보과학회 학술발표논문집
2018 .06
-
이더리움 스마트 컨트랙트의 저비용 업그레이드 전략
한국정보과학회 학술발표논문집
2022 .06
-
이더리움 스마트 컨트랙트 기반 팀 빌딩 및 매칭 서비스
한국정보과학회 학술발표논문집
2019 .06
-
이더리움 스마트 컨트랙트의 보안약점과 분석도구의 지원 현황 연구
한국정보과학회 학술발표논문집
2018 .12
-
스마트 컨트랙트의 지연검증과 병렬실행을 지원하는 블록체인 설계와 구현
정보과학회 컴퓨팅의 실제 논문지
2020 .08
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0