최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 강원대학교 Kangwon National University |
---|---|
연구책임자 | 임현승 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2022-03 |
과제시작연도 | 2021 |
주관부처 | 과학기술정보통신부 Ministry of Science and ICT |
과제관리전문기관 | 한국연구재단 National Research Foundation of Korea |
등록번호 | TRKO202200016152 |
과제고유번호 | 1711147126 |
사업명 | 개인기초연구(과기정통부)(R&D) |
DB 구축일자 | 2022-11-16 |
키워드 | 스마트 컨트랙트.정적 분석.프로그램 검증.기계학습.블록체인.Smart Contract.Static Analysis.Program Verification.Machine Learning.Blockchain. |
□ 연구개요
본 연구의 최종 목표는 전통적인 프로그램 정적 분석 및 검증 기법에 기계학습 분야의 방법론을 적용하여 스마트 컨트랙트의 취약점을 데이터를 기반으로 자동으로 분석하는 시스템을 개발하는 것이다. 이를 위해 본 연구에서는 이더리움 스마트 컨트랙트 분석을 위한 기본 프레임워크를 개발 및 구현하고, 개발한 프레임워크를 이용하여 개발자들이 이더리움 스마트 컨트랙트의 다양한 취약점을 분석하고 탐지하는 것을 지원하고자 한다. 특히, Dasp Top 10에서 지정한 Access Control, Denial of Services,
※ AI-Helper는 부적절한 답변을 할 수 있습니다.