퍼즈 테스팅과 자동 프로그램 수정의 보완적 통합을 통한 제로 데이 공격 원천 차단 기술 선제 연구
● 연구 목표: 본 연구 과제의 주요 목표는 그간 별도로 연구되어온 퍼즈 테스팅과 자동 프로그램 수정을 통합하여 보안 취약성의 탐지와 수정을 함께 달성하는 데에 있음.● 단순 나열식 통합은 지양하며 상호 시너지가 일어날 수 있는 통합 기술 개발을 목표로 함 (그림 1 참조) 일례로, 자동 프로그램 수정을 통해 얻어진 패치를 퍼즈 테스팅을 통해 철저하게 테스...
제로 데이 공격
퍼즈 테스팅
자동 프로그램 수정
2
2024년 3월-2026년 12월
|1,573,575,000원
SW공급망 운영환경에서 역공학 한계를 넘어서는 자동화된 마이크로 보안 패치 기술 개발
○ SW공급망 관리를 통해 식별된 SW 취약성에 대해서 바이너리기반 최소 패치 생성 및 적용 기술 개발을 목표로 하며, 보다 세부적으로 다음의 속성을 만족시키고자 함.● 역공학의 불완전성 및 부정확성에 구애받지 않음.● 생성된 패치에 대한 보안성과 안전성이 담보됨.
취약점 자동 패칭
실시간 패칭
SW 공급망
바이너리 역공학
인공지능 기반 취약성 분석
3
2024년 3월-2026년 12월
|1,524,240,000원
SW공급망 운영환경에서 역공학 한계를 넘어서는 자동화된 마이크로 보안 패치 기술 개발
○ SW공급망 관리를 통해 식별된 SW 취약성에 대해서 바이너리기반 최소 패치 생성 및 적용 기술 개발을 목표로 하며, 보다 세부적으로 다음의 속성을 만족시키고자 함.● 역공학의 불완전성 및 부정확성에 구애받지 않음.● 생성된 패치에 대한 보안성과 안전성이 담보됨.
취약점 자동 패칭
실시간 패칭
SW 공급망
바이너리 역공학
인공지능 기반 취약성 분석
4
2023년 3월-2025년 12월
|834,106,000원
거대언어모델 기반의 레거시코드와 로우코드간 변환규칙추출 및 검증 기술과 이를 활용한 상호운용 SW 기술 개발
레거시 코드와의 통합 운영(연동)을 위해 레거시 연계 코드를 거대언어모델 기반으로 생성하는 로우코드 기반 SW 기술 개발
코드변환
거대언어모델
상호운용성
비즈니스 언어 변환 검증
로우 코드
5
2023년 3월-2025년 12월
|823,920,000원
거대언어모델 기반의 레거시코드와 로우코드간 변환규칙추출 및 검증 기술과 이를 활용한 상호운용 SW 기술 개발
레거시 코드와의 통합 운영(연동)을 위해 레거시 연계 코드를 거대언어모델 기반으로 생성하는 로우코드 기반 SW 기술 개발
