Exploring SE for Android

Tratado técnico avanzado escrito por William Confer y William Roberts que desentraña el funcionamiento, configuración y despliegue de Security-Enhanced (SE) for Android (la implementación de SELinux adaptada al sistema operativo de Google en las ramas AOSP de Android 4.4 KitKat y 5.0 Lollipop). Está dirigido a ingenieros de firmware, desarrolladores de plataformas AOSP, arquitectos de sistemas embebidos e investigadores de seguridad móvil de nivel intermedio a avanzado que posean una base sólida en sistemas Linux, comandos de terminal, C/C++ y la estructura del kernel.

La obra explica la transición desde el modelo tradicional de control de acceso discrecional (DAC) basado en permisos de usuarios y grupos hacia el control de acceso obligatorio (MAC) de SELinux, examinando vulnerabilidades históricas de escalada de privilegios como GingerBreak o Rage Against the Cage. Analiza minuciosamente las peculiaridades de Android: el mecanismo de comunicación entre procesos Binder, el proceso de inicio init, el demonio Zygote y el servicio de propiedades del sistema. Enseña a interactuar con el sistema de archivos virtual SELinuxFS (/sys/fs/selinux), examinar la caché de vectores de acceso (AVC), descifrar registros de auditoría (denegaciones AVC en dmesg y logcat), y escribir y compilar archivos de políticas de seguridad (sepolicy, Android.mk, file_contexts, property_contexts, seapp_contexts y mac_permissions.xml).

En el plano práctico, los autores guían la instalación, configuración del kernel y despliegue de políticas personalizadas de SE for Android sobre hardware real utilizando una placa de desarrollo embebida UDOO, conectada mediante interfaces serie y ADB. El principal aporte del libro es su visión interna y autorizada sobre la capa de seguridad más profunda del sistema operativo, inaccesible en los manuales habituales de desarrollo de aplicaciones. Deja completamente de lado el desarrollo de aplicaciones comerciales en Java/Android SDK para enfocarse en la ingeniería de plataforma y el confinamiento del sistema, por lo que resulta imprescindible para quienes diseñan dispositivos dedicados, ROMs personalizadas o distribuciones industriales basadas en Android.