High Assurance of Smart Contract for Secure Software Development Life Cycle
데이터 경제를 위한 블록체인 기술개발(R&D) · 블록체인기반기술
2025년
2710082271
과학기술정보통신부
정보통신기획평가원
고려대학교산학협력단
IN HOH PETER
34명
2025.01.01 ~ 2025.12.31
2021.04.01 ~ 2025.12.31
12.0억원
12.9억원
기초연구
대학
기타 기타
정보/통신 > 소프트웨어 > 달리 분류되지 않는 소프트웨어
스마트 컨트랙트 개발, 배포, 실행의 전주기에 걸친 신뢰성이 강화된 지능형 스마트 컨트랙트 제작을 위한 자동화된 취약점 탐지 및 시큐어 코딩 기술개발 - 스마트 컨트랙트 취약점 분석 및 안전성 보장 기술개발 - 시큐어 코딩을 고려한 지능형 스마트 컨트랙트 작성 기술개발 - 스마트 컨트랙트 실행 개선 기술개발 - 스마트 컨트랙트 보안사고 예측/예방 기...
Secure SDLC 사전조사스마트 컨트랙트 Secure SDLC 정의스마트 컨트랙트 요구사항 분석을 위한 정형명세 기법 사전 조사정적 분석을 위한 요약 공간 및 의미 (abstract domain and semantics) 설계스마트 컨트랙트 반복문 불변 성질 추론(loop invariant inference) 기술스마트 컨트랙트 취약점 검증을 위한 자동...
ㆍ 록체인 스마트 컨트랙트의 기술적인 신뢰성 확보▷ 스마트 컨트랙트 가시화 기술을 통한 스마트 컨트랙트의 기술 신뢰성 확보▷ 블록체인의 근간이 되는 스마트 컨트랙트의 안정성 보장▷ 악의적 조작자에 대한 보안 부담 문제를 근본적으로 해소할 수 있음ㆍ 검증된 스마트 컨트랙트의 작성 지원 체계 확립▷ 다양한 블록체인의 스마트 컨트랙트 속성에 대응 가능▷ 스마트 컨트랙트 ...