최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 서경대학교 |
---|---|
연구책임자 | 이양선 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2022-03 |
과제시작연도 | 2021 |
주관부처 | 과학기술정보통신부 Ministry of Science and ICT |
등록번호 | TRKO202200015095 |
과제고유번호 | 1711130787 |
사업명 | 개인기초연구(과기정통부)(R&D) |
DB 구축일자 | 2022-11-09 |
키워드 | 블록체인.스마트 컨트랙트.보안약점.실행환경.시큐어 코딩.Blockchain.Smart Contract.Security Weakness.Runtime Environments.Secure Coding. |
□ 연구개요
본 연구의 최종 목표는 블록체인 환경에서 사용자간의 투명하고 신뢰성 있는 계약을 안전하게 제공할 수 있는 보안약점 분석 기술 및 시큐어 실행환경을 개발하는 것이다. 이를 위해, 스마트 컨트랙트 내의 보안약점을 실행전에 미리 분석하여 탐지할 수는 기술과 스마트 컨트랙트의 의미구조를 올바르게 실행하고 동적으로 모니터링할 수 있는 가상기계(virtual machine) 기반의 시큐어 실행환경 모델을 제안하고, 그 모델로부터 야기되는 다음과 같은 네 가지 분야의 연구를 수행하였다:
(1) 스마트 컨트랙트 코드와 프로
※ AI-Helper는 부적절한 답변을 할 수 있습니다.