Модель безопасности Android 2023

источник ↗ ·

Подробный анализ модели безопасности Android, её угроз, принципов multi-party authorization и реализации в AOSP.

android-security platform-security multi-party-authorization verified-boot selinux file-based-encryption threat-model aosp

privacy

Эта заметка участвует в semantic memory.

AI Summary

  1. Короткий обзор сути: Статья документирует модель безопасности Android (2023, на базе Android 14), основанную на multi-party authorization (пользователь, платформа, разработчик) и принципах defense-in-depth и safe-by-default. Она описывает экосистему, threat model и реализацию через sandboxing, шифрование, Verified Boot и обновления.

  2. Ключевые тезисы: Пять правил модели — multi-party authorization, open ecosystem, security as compatibility requirement, factory reset restores safe state, applications as security principals. Угрозы разделены на физические (T.P1–T.P4), сетевые (T.N1–T.N3), код (T.A1–T.A8) и данные (T.D1–T.D2). Реализация включает DAC/MAC (SELinux), runtime permissions, FBE, Keymint/Strongbox, AVB, CFI/SCS/MTE и Rust.

  3. Важные детали и нюансы: Sandboxing на всех уровнях (приложения, HAL, ядро, TEE, pKVM, firmware). Авторизация через manifest, runtime prompts, signature permissions и специальный доступ. Исключения: VPN, backup, FRP, Widevine, DPC. Совместимость обеспечивается CDD/CTS/VTS. Ключи: KC для VBMeta, KjE для APK, IAR для TRH.

  4. Практические выводы/следующие шаги: Использовать hardware-bound ключи, scoped storage, runtime permissions и app hibernation. Для разработчиков — targetSdkVersion, network security config, QUERY_ALL_PACKAGES. Для OEM — AVB 2, Strongbox, MTE. Будущие улучшения: формализация модели, IAR для всего ПО, reproducible builds, защита от RAM-атак.

Мои мысли

graph

Карта связей