論文の概要: A Systematic Study of Security Enforcement at Android Inter-Component Boundaries
- arxiv url: http://arxiv.org/abs/2610.13597v1
- Date: Fri, 09 Oct 2026 13:47:34 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-13 04:06:29.604635
- Title: A Systematic Study of Security Enforcement at Android Inter-Component Boundaries
- Title（参考訳）: Androidのコンポーネント間境界におけるセキュリティ強化に関する体系的研究
- Abstract要約: 我々は,Android 17の30以上のGoogleおよびAOSPパッケージ(API 37)において,120評価(5つのインターフェースカテゴリにわたる99のコンポーネント間インターフェース評価,10のプラットフォームセキュリティ制御評価,11の専用のポジティブコントロール)からなるセキュリティ執行の体系的研究を行った。
ゼロパーミッション攻撃モデルに基づく予測観測フレームワークを用いて,各境界の強制機構が設計通りに機能するかどうかを評価する。
97の執行ギャップ(80.8%)と23の執行ホールド(19.2%)がある。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Android's inter-process communication (IPC) mechanisms (Activities, Services, BroadcastReceivers, ContentProviders, and URI scheme handlers) form the primary interface between applications and between applications and the system. We present a systematic study of security enforcement comprising 120 evaluations (99 inter-component interface evaluations across five interface categories, 10 platform security-control evaluations, and 11 dedicated positive controls) in over 30 Google and AOSP packages on Android 17 (API 37). Using an expected-versus-observed framework under a zero-permission attacker model, we evaluate whether each boundary's enforcement mechanism functions as designed. We find 97 enforcement gaps (80.8%) and 23 enforcement holds (19.2%). From these observations, we derive a 14-category enforcement gap taxonomy organized across manifest, code, platform, and architectural layers. Within our purposively selected corpus, observed enforcement outcomes differ substantially across interface categories: evaluated Activities and BroadcastReceivers exhibit a 100% gap rate, while ContentProviders, which benefit from framework-provided defenses such as setStrict(), achieve a 27.6% holds rate. We find that all seven evaluated platform compatibility changes with security intent are either disabled or gated at a targetSdkVersion that none of the applications in our evaluated corpus targets. We document 18 custom URI scheme registrations handling sensitive data (authentication tokens, payment credentials, medical information) despite the known unverifiability of custom schemes (RFC 8252 Section 8.1). Our study includes 23 positive controls, calibration cases demonstrating that the evaluation procedure distinguishes functioning enforcement from observed enforcement failures.
- Abstract（参考訳）: Androidのプロセス間通信(IPC)機構(Activities、Service、BroadcastReceivers、ContentProviders、URIスキームハンドラ)は、アプリケーションとシステムの間の主要なインターフェースを形成する。
本報告では,Android 17 (API 37) 上の30以上の Google および AOSP パッケージにおいて,120評価(5つのインターフェースカテゴリにわたる99のコンポーネント間インターフェース評価,10のプラットフォームセキュリティ制御評価,11の専用ポジティブコントロール)からなるセキュリティ適用に関する体系的研究を行う。
ゼロパーミッション攻撃モデルに基づく予測逆オブザーバフレームワークを用いて,各境界の強制機構が設計通りに機能するかどうかを評価する。
97の執行ギャップ(80.8%)と23の執行ホールド(19.2%)がある。
これらの観察から、マニフェスト層、コード層、プラットフォーム層、アーキテクチャ層にまたがって組織された14のカテゴリの強制的ギャップの分類を導出する。
評価されたアクティビティとブロードキャストレシーバーは100%のギャップレートを示し、コンテンツプロバイダはsetStrict()のようなフレームワークが提供する防御の恩恵を受け、27.6%の保持率を得る。
セキュリティ意図で評価された7つのプラットフォーム互換性の変更はすべて、ターゲットSdkVersionで無効または無効化されていることが分かりました。
本稿では, 機密データ(認証トークン, 支払証明書, 医療情報)を扱うカスタムURIの登録を18件記録する(RFC 8252条8.1)。
本研究は,23の正の制御,評価手順が観察された施行失敗と機能的実施を区別することを示す校正事例を含む。
関連論文リスト
- Beyond Predefined Sinks: Security-Aware Dependency Analysis for LLM Agents [0.712511675782289]
本稿では,セキュリティに敏感な各操作に対して,候補中心のSecurity-Aware Agent Dependency Graphを構築するための静的解析フレームワークを提案する。
AgentSecGraphは、エージェントの関連性、ソースと依存性のエビデンス、信頼境界コンテキスト、ガードエビデンス、外部影響セマンティクスによるオペレーションのアイデンティティを強化する。
論文 参考訳（メタデータ） (2026-10-02T08:48:09Z) - API Benchmark Scores Do Not Reliably Transfer to Chatbot Interfaces [34.03423347846195]
ベンチマークスコアの主な前提は、APIを通じて測定されたモデルパフォーマンスが、デプロイされたシステムの振る舞いを忠実に反映していることである。
APIの体系的な違いは,正確性と一貫性の両面にある。
ChatGPTでは、APIとインターフェースアクセスのパフォーマンスの違いは、APIのみの違いであるGPT 5.3とGPT 5.4に匹敵する。
論文 参考訳（メタデータ） (2026-09-08T15:08:37Z) - EvoSafeHarness: Evolving Model- and Domain-Specific Harnesses for Securing Agents [74.54929751174289]
EvoSafeHarnessは、ターゲットドメイン内の凍結モデルのためのデプロイ可能なハーネスを合成する、安全固有の最適化フレームワークである。
これは平均攻撃成功率を3.3ポイントのユーティリティコストで45.6%から10.0%に下げる。
また、Agent-SafetyBenchでは、すべての犠牲者に対してベストスコアを獲得している。
論文 参考訳（メタデータ） (2026-09-05T05:56:41Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - Understanding and Evaluating Claw-like Agent Security Through a Computer-Systems Lens [65.53494487819053]
クローのようなAIエージェント(OpenClawなど)は、認証情報、ファイル、ツール、外部サービスへの永続的なアクセスを伴う、常にオンのプロセスである。
我々はClawのようなエージェントをエージェントコンピュータシステムとして扱い、そのゲートウェイランタイムがOSのような仲介の役割を担っている。
我々は、4つの攻撃面にわたる406の敵タスクのベンチマークであるSafeClawArenaを開発した。
論文 参考訳（メタデータ） (2026-06-29T18:00:45Z) - IMPACT-HOI: Supervisory Control for Onset-Anchored Partial HOI Event Construction [72.51952455865155]
我々は,エゴセントリックなプロシージャビデオに注釈を付けるための混合開始型フレームワークIMPACT-HOIを提案する。
IMPACT-HOIは、このタスクを部分的に指定され、オンセットされたイベント状態の漸進的な解決として捉えている。
9人の参加者によるユーザスタディでは、手動のアノテーションアクションが13.5%減少し、46.67%のイベントマッチレート、確認されたフィールド違反がゼロである。
論文 参考訳（メタデータ） (2026-05-03T01:37:40Z) - Parallax: Why AI Agents That Think Must Never Act [0.0]
本稿では,4つの原則に基づく自律型AI実行のパラダイムであるParallaxを紹介する。
本稿では、Goのオープンソースリファレンス実装であるOpenParallaxを紹介し、Assume-Compromise Evaluationを用いて評価する。
9つの攻撃カテゴリにおける280件の敵の試験ケースのうち、パララックスは98.9%の攻撃をブロックし、デフォルト設定ではゼロの偽陽性、最大セキュリティ設定では100%の攻撃をブロックした。
論文 参考訳（メタデータ） (2026-04-14T17:20:48Z) - Automated Self-Testing as a Quality Gate: Evidence-Driven Release Management for LLM Applications [51.56484100374058]
我々は,エビデンスに基づくリリース決定を伴う品質ゲートを導入する自動自己テストフレームワークを提案する。
内部展開型多エージェント対話型AIシステムの縦型ケーススタディにより,本フレームワークの評価を行った。
論文 参考訳（メタデータ） (2026-03-13T20:44:15Z) - ReasAlign: Reasoning Enhanced Safety Alignment against Prompt Injection Attack [52.17935054046577]
本稿では、間接的インジェクション攻撃に対する安全性アライメントを改善するためのモデルレベルのソリューションであるReasAlignを提案する。
ReasAlignには、ユーザクエリの分析、競合する命令の検出、ユーザの意図したタスクの継続性を維持するための構造化された推論ステップが組み込まれている。
論文 参考訳（メタデータ） (2026-01-15T08:23:38Z) - AI Transparency Atlas: Framework, Scoring, and Real-Time Model Card Evaluation Pipeline [2.1787849426740364]
我々は5つのフロンティアモデル(Gemini 3, Grok 4.1, Llama 4, GPT-5, Claude 4.5)と100台のHugging Faceモデルカードからドキュメントを分析した。
安全クリティカルな開示を優先する8つのセクションと23のサブセクションからなる重み付き透明性フレームワークを開発した。
論文 参考訳（メタデータ） (2025-12-13T19:48:44Z) - Prompt, Divide, and Conquer: Bypassing Large Language Model Safety Filters via Segmented and Distributed Prompt Processing [1.4201040196058878]
大規模言語モデル(LLM)はタスクの自動化とさまざまな領域にわたるコンテンツ生成を変革した。
本稿では,分散プロンプト処理と反復改良を組み合わせた新しいジェイルブレイク機構を導入し,安全性対策を回避した。
10のサイバーセキュリティカテゴリで500の悪意あるプロンプトでテストされたこのフレームワークは、悪意のあるコードを生成する上で73.2%の成功率(SR)を達成した。
論文 参考訳（メタデータ） (2025-03-27T15:19:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。