보안취약점 탐지를 위한 정적 분석기법 비교 연구 (A Comparative Study on Static Analysis Techniques for Detecting Software Vulnerabilities)

서지정보

· 발행기관 : 한국정보기술학회
· 수록지 정보 : 한국정보기술학회논문지 / 23권 / 2호 / 241 ~ 251페이지
· 저자명 : 이은영

초록

소프트웨어 보안취약점은 소프트웨어 시스템 침해 사고를 일으키기 위해서 공격자가 악용할 수 있는 시스템 내부의 약점을 말한다. 대부분의 보안취약점은 소프트웨어 내부의 보안약점으로 인하여 발생하기 때문에 소프트웨어를 실행하기 전에 시스템을 구성하는 소스 코드를 분석하여 코드 내부에 존재하는 보안취약점을 찾아내는 작업은 소프트웨어로 인하여 발생하는 많은 침해사고를 예방하는데 중요한 역할을 한다. 소프트웨어 분석을 위한 다양한 기법 중에서 정적 분석은 소프트웨어가 실행 전에 소스 코드를 이용하여 분석을 수행하는 기법이다. 본 논문에서는 보안취약점을 탐지하기 위한 정적분석 기법 중에서 정보 흐름과 접근 제어의 영역에 대한 기법을 중심으로 최근까지의 연구 동향을 분석하고 앞으로의 연구 방향에 대하여 논의하고자 한다.

영어초록

Software security vulnerabilities are weaknesses within a system that an attacker can exploit to cause a software system intrusion. Most security vulnerabilities are caused by security weaknesses within the software source code. Therefore, it is important to analyze the software that makes up the system before it is executed in order to find the security weaknesses and vulnerabilities that exist within it; the analysis can help prevent many system intrusions caused by the software vulnerabilities. Among the various techniques proposed for analyzing source code, the analysis technique of the source code before the execution is called static analysis. In this paper, the recent trends of the static analysis techniques are analyzed, and future research issues are discussed. The analysis in this paper is focused on the areas of information flow and access control for the discovery of security vulnerabilities.

참고자료

· 없음