[논문 리뷰] DPerm: Assisting the Migration of Android Apps to Runtime Permissions

Denis Bogdanas|arXiv (Cornell University)|2017. 06. 15.

Advanced Malware Detection Techniques참고 문헌 11인용 수 6

한 줄 요약

이 논문은 공식 SDK 문서와 소스 코드 분석을 바탕으로 한 포괄적이고 정밀한 안드로이드 권한 사양인 DPSpec과, 정확한 런타임 권한 요청 위치를 추천하는 맥락에 민감한 정적 분석 도구인 DPerm을 제시한다. DPerm은 런타임 권한 요청을 삽입할 위치를 식별하는 데 96%의 정밀도와 89%의 재현율을 달성하여, 안드로이드 앱이 런타임 권한 모델로의 이행을 크게 향상시킨다.

ABSTRACT

Android apps require permissions when accessing resources related to privacy or system integrity. Starting from Android 6, these permissions have to be asked at runtime. However, migrating to the new permission model poses multiple challenges for developers. First, developers have to discover where the app uses permissions, which requires a permission specification. To date several such specifications have been built, yet these are either imprecise, incomplete or don't support all types of protected resources. We first present DPSpec, a novel permission specification built from several documentation formats supplied with the Android SDK. Compared with the state the art specification, it contains 2.5x as many entries for protected methods and detects dangerous permission usages in more than twice as many apps. A second challenge for developers is where to insert permission requests, with possible locations restricted by the request mechanism. We also present DPerm, a static analysis for Android apps that recommends locations for permission requests in code. It achieves high precision through context sensitivity and improves recall through a general call graph augmentation algorithm for incomplete code. Our empirical evaluation on 32 apps shows a precision of 96% and recall of 89%.

연구 동기 및 목표

• 특히 보호된 필드와 메서드에 대해 완전하고 정밀하며 최신 상태인 권한 사양의 부재를 해결하기 위해.
• SDK 소스 코드가 가용하지 않을 경우 복잡한 콜 그래프에서 런타임 권한 요청의 정확한 삽입 지점을 식별하는 데 도전하는 문제를 해결하기 위해.
• 안드로이드 6 이상의 런타임 권한 모델로의 자동화된 고정밀도 이행을 통해 개발자 생산성과 보안을 향상시키기 위해.
• 진화하는 안드로이드 앱에서 런타임 권한 처리의 장기적 유지보수를 지원하는 향후 도구 기반을 마련하기 위해.

제안 방법

• 다양한 안드로이드 SDK 문서 형식(예: 자바 어노테이션, XML 어노테이션, Javadoc 주석)에서 권한을 통합하여 DPSpec을 구축하고, 수동 검증 및 모호성에 대한 보수적인 해석을 수행한다.
• F-Droid의 22개 오픈소스 앱에 대한 정적 분석을 통한 추론된 매핑을 추가하여 DPSpec을 보완함으로써 보호된 필드를 포함하고 완전성을 향상시킨다.
• 권한 확인 지점으로부터 역방향 도달 가능성 분석을 수행하여 유효한 요청 삽입 위치를 식별하는 맥락에 민감한 정적 분석 도구인 DPerm을 설계한다.
• 일반적인 콜 그래프 보완 알고리즘을 사용하여 콜 그래프의 재현율을 향상시키며, 히ュ리스틱과 API 동작 기반으로 안전한 간선을 추가함으로써 SDK 소스 접근이 불완전한 상황을 보완한다.
• 인터프로시저 정합성을 유지하면서 Android Studio 스타일의 점검 기능과 통합하여 권한 요청 위치를 추천한다.
• DPSpec을 기준으로 삼아 32개의 실제 안드로이드 앱에서 DPerm의 정밀도와 재현율을 측정하기 위해 평가를 수행한다.

실험 결과

연구 질문

• RQ1 공식 안드로이드 SDK 문서에서 유도된 권한 사양은 기존의 자동화된 접근 방식에 비해 얼마나 완전하고 정밀한가?
• RQ2 SDK 소스 코드가 가용하지 않은 상황에서 맥락에 민감한 정적 분석과 콜 그래프 보완을 통해 권한 요청 위치 추천의 재현율을 얼마나 향상시킬 수 있는가?
• RQ3 제안된 DPerm 도구는 기존 도구(예: 안드로이드 스튜디오 내장 점검)에 비해 런타임 권한 요청 위치를 식별하는 데 정밀도와 재현율에서 어떻게 비교되는가?
• RQ4 DPSpec과 같은 사양이 향후 권한 사양 추출 도구의 평가 및 향상에 신뢰할 수 있는 기준이 될 수 있는가?
• RQ5 실제 애플리케이션에서 권한 사양이 완전하거나 정밀하지 않은 경우 런타임 권한 모델로의 이행에 어떤 영향을 미치는가?

주요 결과

• DPSpec는 보호된 메서드에 대해 120개의 매핑을 포함하고 있으며, 최신 기술인 Axplorer 사양보다 2.5배 많고, 더 많은 앱에서 위험한 권한 사용을 탐지한다.
• DPSpec는 보호된 필드를 포함한 최초의 권한 사양으로, 기존 도구에 비해 커버리지가 크게 향상되었다.
• DPerm는 32개의 실제 안드로이드 앱에서 런타임 권한 요청 위치를 추천하는 데 96%의 정밀도와 89%의 재현율을 달성한다.
• DPerm의 콜 그래프 보완 알고리즘이 안전한 간선을 추가하여 재현율을 효과적으로 향상시키며, SDK 소스 접근이 불완전한 상황을 보완한다.
• 평가 결과, SDK 소스 접근이 제한된 상태에서도 DPerm은 높은 정확도로 정확한 요청 위치를 식별할 수 있었으며, 안드로이드 스튜디오 점검과 같은 기존 도구를 뛰어넘는 성능을 보였다.
• 저자들은 DPSpec를 구글 엔지니어에게 성공적으로 제공하여 실세계 적용 가능성과 향후 안드로이드 도구 및 문서화에의 통합 가능성을 입증했다.