Security Analysis for Safe Software
연구 내용
소프트웨어 실행 구조와 취약점 유발 조건을 분석하여 공격 가능성을 평가하고 방어 설계를 지원하는 보안 연구
소프트웨어 컴포넌트의 코드 구조와 실행 흐름을 기준으로 취약점의 발생 경로를 규명하는 보안 분석을 수행합니다. 프로그램/AI 포렌식과 연계하여, 문제 재현이 가능한 입력 조건과 관찰 가능한 단서를 중심으로 위험도를 평가하는 절차를 구성합니다. 또한 보안 검증에 필요한 테스트 시나리오와 검증 기준을 설계하여, 개발 단계에서의 보안 점검과 운영 중 이상 징후 대응을 함께 고려합니다. 이를 통해 침해 원인 분석과 예방 활동에 공통으로 활용 가능한 분석 체계를 확보합니다.
관련 연구 성과
관련 논문
0편
관련 특허
0건
관련 프로젝트
0건
연구 흐름
초기에는 소프트웨어에서 취약점이 드러나는 관찰 지점을 정의하고, 코드 수준의 특징과 실행 조건을 연결하는 분석 방법을 정리합니다. 이후 공격 관점에서 재현 가능한 입력과 환경 조건을 구성하여 위험 시나리오를 체계화합니다. 중기에는 보안 점검 결과를 포렌식 단서로 전환하는 관점에서 로그 및 이벤트 설계를 보완하고, 개발-운영 연계 검증 흐름을 확립합니다. 최근에는 AI가 포함된 시스템에서 공격 표면을 확장해 분석 범위를 넓히는 방향으로 연구를 진행합니다.
활용 가능성
활용 가능성은 알앤디써클 특화 AI 에이전트가 생성한 내용으로, 실제 연구 가능 여부는 연구실과의 논의가 필요합니다.