[논문 리뷰] I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis

Li Li, Alexandre Bartel외 7명|TUbilio (Technical University of Darmstadt)|2014. 04. 29.

Advanced Malware Detection Techniques참고 문헌 27인용 수 67

한 줄 요약

이 논문은 Android의 라이프사이클, 콜백 메서드, 그리고 Intent 기반 컴포넌트 간 통신을 높은 정밀도로 모델링함으로써 Android 앱 내의 컴포넌트 간 및 앱 간 개인정보 유출을 탐지하는 정적 타인트 분석 도구인 IccTA를 제시한다. DroidBench에서 95.0%의 정밀도와 82.6%의 재현율을 달성했으며, 14개 앱에서 실제 존재하는 147개의 개인정보 유출을 탐지했고, 이 중 88.4%의 정밀도를 기록했다.

ABSTRACT

Android applications may leak privacy data carelessly or maliciously. In this work we perform inter-component data-flow analysis to detect privacy leaks between components of Android applications. Unlike all current approaches, our tool, called IccTA, propagates the context between the components, which improves the precision of the analysis. IccTA outperforms all other available tools by reaching a precision of 95.0% and a recall of 82.6% on DroidBench. Our approach detects 147 inter-component based privacy leaks in 14 applications in a set of 3000 real-world applications with a precision of 88.4%. With the help of ApkCombiner, our approach is able to detect inter-app based privacy leaks.

연구 동기 및 목표

• 기존 도구들이 컴포넌트 간 통신 모델링에 한계를 가진 데서 비롯된 컴포넌트 간 및 앱 간 개인정보 유출을 탐지하는 데 도전하는 것.
• 이전 정적 타인트 분석 도구들이 Android의 라이프사이클 콜백과 Intent 기반 컴포넌트 간 통신(ICC)을 정확히 모델링하지 못하는 한계를 극복하는 것.
• 동적 Intent 해석과 라이프사이클 관리로 인한 제어 흐름 단절을 코드 인스트루먼테이션을 통해 모델링함으로써 개인정보 유출 탐지 정밀도를 향상시키는 것.
• 민감한 소스(예: 연락처, 위치)에서 외부 싱크(예: 네트워크 호출)로 이르는 내부 컴포넌트 및 복잡한 컴포넌트 간 또는 앱 간 데이터 흐름을 탐지할 수 있도록 하는 것.
• 개인정보 유출 외의 다른 보안 취약점을 탐지할 수 있도록 확장 가능한 일반적인 컴포넌트 간 데이터 흐름 분석 프레임워크를 제공하는 것.

제안 방법

• Android 앱 원본 코드를 인스트루먼트하여 Android의 라이프사이클 콜백(예: onCreate, onResume)과 동적 해석된 Intent 흐름을 모델링한다.
• 컴파일 시점에 Intent 필터와 Intent 객체를 해석함으로써 컴포넌트 경계와 Intent 기반 통신을 고려한 정확한 제어 흐름 그래프를 구축한다.
• 메서드 호출, 매개변수, 반환 값(Android OS 메서드를 포함)을 통해 타인트를 전파함으로써 컴포넌트 간의 문맥 민감한 타인트 분석을 수행한다.
• 모든 Android OS 메서드(네이티브 메서드를 제외)를 더미 메인 메서드로 모델링하여 타인트 전파 정확도를 유지하고, 보수적인 가정을 피한다.
• 정적 타인트 추적과 컴포넌트 수준 분석의 조합을 사용하여 민감한 소스(예: 연락처, 위치)에서 외부 싱크(예: 네트워크 호출)로의 데이터 흐름을 탐지한다.
• ApkCombiner를 활용하여 여러 APK를 하나의 단위로 분석함으로써 앱 간 개인정보 유출 탐지를 가능하게 한다.

실험 결과

연구 질문

• RQ1 라이프사이클 콜백과 Intent 기반 통신을 모델링함으로써 정적 타인트 분석이 Android 앱의 컴포넌트 간 개인정보 유출을 효과적으로 탐지할 수 있는가?
• RQ2 컴포넌트 간의 문맥 민감한 타인트 전파가 비문맥 민감하거나 유량 무관 기법에 비해 정밀도를 어떻게 향상시키는가?
• RQ3 Android의 동적 Intent 해석과 컴포넌트 라이프사이클을 모델링함으로써 실제 개인정보 유출 탐지 능력은 어느 정도 향상되는가?
• RQ4 표준화된 벤치마크에서 기존 도구들인 FlowDroid, AndroidLeaks, SCanDroid와 비교해 IccTA의 정밀도와 재현율은 어떻게 되는가?
• RQ5 제안된 방법은 앱 간 개인정보 유출을 탐지할 수 있으며, 실제 앱에서 실제로 얼마나 효과적인가?

주요 결과

• IccTA는 DroidBench 벤치마크에서 95.0%의 정밀도와 82.6%의 재현율을 달성하여 기존 도구들보다 컴포넌트 간 개인정보 유출 탐지에서 뛰어난 성능을 보였다.
• 14개의 실제 Android 앱에서 3,000개 앱의 세트에서 147개의 컴포넌트 간 개인정보 유출을 탐지했으며, 이 중 정밀도는 88.4%였다.
• 라이프사이클 콜백과 Intent 해석을 모델링함으로써 전통적인 정적 타인트 분석에서 흔히 발생하는 과도한 근사화를 피하여 거짓 긍정을 줄였다.
• 인스트루먼트된 제어 흐름 그래프 덕분에, 암시적 Intent로 호출되는 컴포넌트 간에도 정확한 타인트 전파가 가능했다.
• IccTA의 접근 방식은 SCanDroid나 SEFA와 같은 매칭 기반 도구보다 더 정밀한데, 이는 보수적인 히وري스틱이 아닌 코드 인스트루먼테이션을 사용하기 때문이다.
• ApkCombiner와의 통합을 통해 IccTA는 앱 간 개인정보 유출 탐지를 가능하게 하여 단일 앱 분석을 넘어서 적용 범위를 넓혔다.