안드로이드 미디어 프레임워크 취약점 검출 및 분류를 위한 Java 연결지점과 C/C++ 취약지점 간의 양방향 자료흐름 정적분석 (A Bidirectional Static Dataflow Analysis between Java Interfacing Points and C/C++ Vulnerable Points for Detecting and Leveling Severity of Vulnerabilities in Android Media Framework)

서지정보

· 발행기관 : 한국정보과학회
· 수록지 정보 : 정보과학회 컴퓨팅의 실제 논문지 / 27권 / 10호 / 459 ~ 470페이지
· 저자명 : 정현지, 목성균, 조은선

초록

다양한 안드로이드 취약점들은 스마트 기기 사용자에게 위협이 되고 있다. 그 중 안드로이드미디어 프레임워크 취약점은 악의적인 사용자가 미디어 파일을 조작하여 입력하여 공격할 수 있는 가능성이 있으므로 높은 보안 위험성을 내포하고 있다. 본 논문에서는 안드로이드 미디어 프레임워크 영역에서 발생하는 취약점들의 심각 정도를 분석하는 프로그램 분석도구를 제안한다. 제안하는 도구는 취약점들이 공격가능한지 여부를 판별함으로써 그 심각도를 판별하고 결과적으로 심각도가 높은 취약점을 먼저 패치할 수 있도록 돕는다. 이를 위해 본 논문에서 제안하는 분석도구는 취약한 C/C++코드에 대해 JNI 및 사용자 입력과의 연관성을 탐지하기 위해 순방향 및 역방향 정적 분석을 실시하고 있으며, 취약한 안드로이드 미디어 프레임워크 코드에 대한 실험을 통해 유효성을 보였다.

영어초록

Various vulnerabilities of Android have been reported, threatening users. Among them, vulnerabilities from Android Media Framework are known to be highly dangerous because they allow malicious users to manipulate media data inputs. This paper proposes an analysis tool for triaging vulnerabilities of Android Media Framework in order to identify urgent patches. The proposed tool identifies the severity of a vulnerability by figuring out the exploitability. We conduct forward and backward static analysis to determine the relationship between vulnerable C/C++ code and JNI (thus Java applications and user inputs), and we demonstrate the feasibility of our approach by experimenting with vulnerabilities in Android Media Framework.

참고자료

· 없음