관리자
65
2024-05-22
내역사업 | 신임교원정착연구비 |
---|
과제명 | 확장성 있는 사이버 추론 시스템의 개발 | ||||
---|---|---|---|---|---|
과제고유번호 | 1711151034 | ||||
부처명 | 과학기술정보통신부 | ||||
시행계획 내 사업명 | |||||
시행계획 내 사업유형 | 예산출처지역 | 대전광역시 | 사업수행지역 | 대전광역시 | |
계속/신규 과제구분 | 신규과제 | ||||
과제수행연도 | 2021 | 총연구기간 | 2021-02-01 ~ 2024-12-31 | 당해연도 연구기간 | 2021-02-01 ~ 2021-12-31 |
연구목표 | 현대 컴퓨터 시스템과 소프트웨어의 규모와 복잡성 증가로 인해 다양한 보안 취약점들이발생하고 있지만 이를 자동으로 탐지하기란 쉽지 않습니다 대표적인 . 자동화 취약점 탐지 기술인 퍼징 과 (Fuzzing) (Concolic Execution) (Semantic bugs) 컨컬릭 익스큐션 은 시맨틱 버그나 프로그램 깊숙이 숨겨져 있는 취약점들을 찾기에 적합하지... | ||
---|---|---|---|
연구내용 | 이. 목표를 이루기 위해 이 정착 연구에서는 다음과 같은 두가지 주제에 주목하려고 합니다.1.1. (Operating systems) 운영체제 에 적용 가능한 하이브리드 퍼징 기술 개발 . 현대 컴퓨터 시스템의 근간을 이루는 가장 중요한 프로그램 중의 하나는 운영체제입니다운영 체제는 하드웨어의 관리를 담당하며 다양한 보안 메커니즘들을 제공합니다 이로 . 인... | ||
기대효과 | 본 정착 연구를 통하여 기존에는 이루지 못한 운영체제와 보안 할당자의 체계적이고 자동화된 점검이 가능해지며 이는 , CRS 저와 많은 보안 연구자들이 궁극적으로 목표하는 에 큰 기여를 할 것으로 예상됩니다 | ||
키워드 | 퍼징, 하이브리드 퍼징, 보안 분석 |
단독연구 | 기업 | 대학 | 국공립(연)/출연(연) | 외국연구기관 | 기타 |
---|---|---|---|---|---|
|
연구개발단계 | 기초연구 | 산업기술분류 | |
---|---|---|---|
미래유망신기술(6T) | IT(정보기술) | 기술수명주기 | |
연구수행주체 | 연 | 과학기술표준분류 | 인공물 > 정보/통신 > 정보보호 > 네트워크 시스템 보안 |
주력산업분류 | 적용분야 | 기타 공공목적 | |
중점과학기술분류 | 과제유형 |
과제수행기관(업) 정보 | 과제수행기관(업)명 | 한국과학기술원 | 사업자등록번호 | |
---|---|---|---|---|
연구책임자 | 소속기관명 | 한국과학기술원 | 사업자등록번호 | |
최종학위 | 박사 | 최종학력전공 | 공학 |
국비 | 75,000,000 | 지방비(현금+현물) | 0 |
---|---|---|---|
비고 |