과제 상세정보
목록블록체인 합의 알고리즘 평가를 위한 모델 기반 검증 프레임워크 개발
작성자
관리자
조회수
38
등록일
2024-05-21
사업 정보
| 내역사업 | 창의도전연구기반지원 |
|---|
과제 기본정보
| 과제명 | 블록체인 합의 알고리즘 평가를 위한 모델 기반 검증 프레임워크 개발 | ||||
|---|---|---|---|---|---|
| 과제고유번호 | 1345331898 | ||||
| 부처명 | 교육부 | ||||
| 시행계획 내 사업명 | |||||
| 시행계획 내 사업유형 | 예산출처지역 | 대전광역시 | 사업수행지역 | 대전광역시 | |
| 계속/신규 과제구분 | 신규과제 | ||||
| 과제수행연도 | 2021 | 총연구기간 | 2019-06-01 ~ 2022-05-31 | 당해연도 연구기간 | 2021-03-01 ~ 2022-02-28 |
요약 정보
| 연구목표 | 본 연구는 블록체인 네트워크의 핵심인 합의 알고리즘들을 체계적으로 평가할 수 있는 검증 프레임워크 기술 개발을 목표로 한다. 합의 알고리즘에 대한 모델링을 기반으로, 시뮬레이션 및 정형 검증을 수행하여 해당 합의 알고리즘이 안전성, 활동성, 결함허용성과 같은 주요 품질속성을 만족시키는지 검증을 수행하고 평가한다. 세부 목표는 다음과 같다.- 주요 블록체인 ... | ||
|---|---|---|---|
| 연구내용 | 블록체인(blockchain)은 검증 가능한 영구적인 방식으로 당사자 간의 거래를 기록할 수 있는 일종의 분배 원장으로, 각 노드는 독립적인 원장을 가지며 모든 노드의 원장의 내용은 합의 알고리즘에 의해 동일하게 유지된다. 합의 알고리즘은 모든 블록체인 네트워크의 핵심적 요소로, 분산된 시스템의 무결성과 보안을 유지시키는 역할을 한다. 합의 알고리즘에 여러... | ||
| 기대효과 | - 본 연구과제의 산출물인 블록체인 합의 알고리즘 평가를 위한 모델 기반 검증 프레임워크를 통해 어떤 합의 알고리즘이 안전성, 활동성, 결함허용성 등의 측면에서 어떠한지 체계적 검증을 통해 확인할 수 있다. - 블록체인은 암호화폐 뿐만 아니라 변하지 않는 검증된 기록이 필요한 다양한 분야에 활용이 가능하다. 본 연구에서 개발하는 프레임워크를 통해 여러 합의... | ||
| 키워드 | 블록체인, 합의 알고리즘, 모델링, 정형 검증, 시뮬레이션 | ||
위탁/공동여부 정보
| 단독연구 | 기업 | 대학 | 국공립(연)/출연(연) | 외국연구기관 | 기타 |
|---|---|---|---|---|---|
|
기술 정보
| 연구개발단계 | 기초연구 | 산업기술분류 | |
|---|---|---|---|
| 미래유망신기술(6T) | IT(정보기술) | 기술수명주기 | |
| 연구수행주체 | 학 | 과학기술표준분류 | 인공물 > 정보/통신 > 정보이론 > 소프트웨어 공학 |
| 주력산업분류 | 적용분야 | 출판, 영상, 방송통신 및 정보서비스업 | |
| 중점과학기술분류 | 과제유형 |
과제수행기관(업) 정보
| 과제수행기관(업) 정보 | 과제수행기관(업)명 | 한국과학기술원 | 사업자등록번호 | |
|---|---|---|---|---|
| 연구책임자 | 소속기관명 | 한국과학기술원 | 사업자등록번호 | |
| 최종학위 | 박사 | 최종학력전공 | 공학 |
사업비
| 국비 | 49,860,000 | 지방비(현금+현물) | 0 |
|---|---|---|---|
| 비고 | |||