[論文レビュー] DPerm: Assisting the Migration of Android Apps to Runtime Permissions

Denis Bogdanas|arXiv (Cornell University)|Jun 15, 2017

Advanced Malware Detection Techniques参考文献 11被引用数 6

ひとこと要約

本稿では、公式SDKドキュメンテーションおよびソースコード解析から得られた包括的かつ正確なAndroidパーミッション仕様である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%.

研究の動機と目的

• 特に保護されたフィールドおよびメソッドについて、包括的で正確かつ最新のAndroidパーミッション仕様が不足している問題に対処すること。
• SDKのソースコードが入手できない状況下でも、複雑なコールグラフにおいて実行時パーミッションリクエストの正しい挿入ポイントを特定する課題を克服すること。
• Android 6以降の実行時パーミッションモデルへのAndroidアプリの自動的かつ高精度な移行を可能にすることで、開発者の生産性とセキュリティを向上させること。
• 進化を続けるAndroidアプリにおける実行時パーミッション処理の長期的メンテナンスを支援するための基盤を提供すること。

提案手法

• Javaアノテーション、XMLアノテーション、Javadocコメントを含む複数のAndroid SDKドキュメンテーション形式からパーミッションを統合し、手動での検証と曖昧な点の慎重な解釈を加えることでDPSpecを構築する。
• F-Droidの22のオープンソースアプリの静的解析から得た推定マッピングを用いてDPSpecを拡張し、保護されたフィールドを含め、完全性を向上させる。
• パーミッションチェックポイントから後向き到達可能性解析を実行することで、有効なリクエスト挿入位置を同定する文脈に敏感な静的解析ツールDPermを設計する。
• ヒューリスティクスおよびAPI挙動に基づいて安全なエッジを追加する一般化されたコールグラフ拡張アルゴリズムを用いて、SDKソースへのアクセス不完全さを補填するためのコールグラフ再現率を向上させる。
• インタープロシージャル正しさを保持しつつ、Android Studio風のインスペクションと統合して、パーミッションリクエスト挿入位置の推奨を行う。
• DPSpecを基準事実として用い、32の実世界Androidアプリを対象にDPermの精度と再現率を測定する評価を実施する。

実験結果

リサーチクエスチョン

• RQ1 公式Android SDKドキュメンテーションから得られたパーミッション仕様は、既存の自動化アプローチと比較して、どの程度包括的で正確であるか？
• RQ2 SDKソースコードが入手不可の状況下でも、文脈に敏感な静的解析とコールグラフ拡張を組み合わせることで、パーミッションリクエスト挿入位置の推奨再現率はどの程度向上するか？
• RQ3 Android Studioの組み込みインスペクションと比較して、提案されたDPermツールは、正しい実行時パーミッションリクエスト挿入位置を特定する際、精度と再現率でどの程度優れているか？
• RQ4 DPSpecのような仕様は、将来のパーミッション仕様マイニングツールの評価および改善のための信頼できるベンチマークとして機能できるか？
• RQ5 実世界において、パーミッション仕様が不完全または不正確であると、Androidアプリの実行時パーミッション移行にどのような影響を与えるか？

主な発見

• DPSpecは保護されたメソッドについて120のマッピングを含み、最先端のAxplorer仕様と比較して2.5倍多く、2倍以上のアプリで危険なパーミッションの使用を検出できる。
• DPSpecは、保護されたフィールドを含む最初のパーミッション仕様であり、既存のツールと比較して大幅にカバレッジを向上させた。
• DPermは、32の実世界Androidアプリにおいて、実行時パーミッションリクエスト挿入位置の推奨において96%の精度と89%の再現率を達成した。
• DPermに組み込まれたコールグラフ拡張アルゴリズムは、安全なエッジを追加することで、不完全なSDKソースコードへのアクセスを補填し、再現率を効果的に向上させた。
• 評価の結果、SDKソースへのアクセスが限定的であっても、DPermは高い正確性で正しい挿入位置を同定でき、Android Studioのインスペクションなどの既存ツールを上回った。
• 著者らはDPSpecをGoogleのエンジニアに提供し、実世界での適用可能性と、将来のAndroidツールチェーンおよびドキュメンテーションへの統合可能性を示した。