Negación plausible en apps: qué es y por qué importa
La negación plausible significa que la existencia de datos ocultos no puede probarse.
La negación plausible en el cifrado es una propiedad de almacenamiento que permite a un usuario revelar un conjunto de datos sin dejar un artefacto estructural que demuestre que existe otro conjunto de datos. La afirmación debe nombrar su modelo de amenaza: una imagen estática de una bóveda cifrada con el relleno correcto es diferente de un dispositivo activo y comprometido, metadatos de servicios en la nube o copias guardadas en otro lugar. Esto es más que una característica oculta. Depende de que el cifrado, el diseño, el relleno y el diseño operativo funcionen juntos.
Esta guía explica cómo funciona la negación plausible en apps, la diferencia entre la negación criptográfica genuina y los modos señuelo cosméticos, escenarios del mundo real donde importa y cómo evaluar las afirmaciones de negabilidad.
Qué significa la negación plausible en cifrado
En el lenguaje cotidiano, la negación plausible significa que se puede negar algo de manera creíble. En criptografía de almacenamiento, el objetivo útil es más limitado: un examinador de la bóveda cifrada no debería poder distinguir el contenido oculto del espacio de relleno no utilizado dentro del modelo de amenaza declarado. Ninguna aplicación puede extender esa promesa a una bóveda ya abierta, entradas grabadas, copias externas o cualquier forma de compromiso del dispositivo.
El concepto se originó en el cifrado de disco. TrueCrypt (y su sucesor VeraCrypt) fue pionero del volumen oculto: un volumen cifrado dentro de otro volumen cifrado. Una contraseña revela el volumen exterior con archivos inocuos. Una contraseña diferente revela el volumen interior oculto con archivos sensibles. Un examinador forense no puede determinar si existe un volumen oculto porque el espacio no utilizado en el volumen exterior está lleno de datos aleatorios que son indistinguibles de los datos cifrados.
Para las apps, la negación plausible significa que diferentes credenciales (contraseñas, PINs, patrones) abren diferentes conjuntos de datos, y no hay metadatos, registro, indicador de configuración ni artefacto estructural que revele la existencia de conjuntos de datos adicionales.
Negabilidad genuina vs. modos señuelo cosméticos
Esta es la distinción crítica que la mayoría de las apps se equivoca.
Modo señuelo cosmético (no es negabilidad real)
Muchas apps de bóveda ofrecen una función de "señuelo" o "PIN falso". Estableces un PIN secundario que abre un espacio separado con diferentes fotos. El problema: estas apps típicamente almacenan un indicador booleano, una entrada de base de datos o un archivo de configuración que indica que el modo señuelo existe y está configurado.
Un examinador forense que entiende la app puede encontrar este indicador. Encontrar un modo señuelo configurado prueba que existen datos ocultos. La negabilidad es cosmética — funciona contra un espía casual pero falla bajo examen forense.
Señales de negabilidad cosmética:
- La app tiene un interruptor de "modo señuelo" en los ajustes
- Un archivo de configuración almacena si el modo señuelo está activado
- Una tabla de base de datos lista los IDs de bóveda con indicadores de tipo (principal/señuelo)
- La estructura de almacenamiento de la app cambia cuando se activa el modo señuelo
- Desinstalar y reinstalar la app revela comportamiento diferente cuando el modo señuelo estaba configurado
Negabilidad criptográfica genuina
La negabilidad genuina es una propiedad arquitectónica, no un interruptor de función. El almacenamiento cifrado debe estar diseñado de modo que:
Las credenciales alternativas solo revelan su propio conjunto de datos. El sistema no mantiene una bandera señuelo separada que identifique una credencial como camuflaje. Las credenciales no válidas pueden fallar, pero ese error no debe revelar si existe un conjunto de datos no divulgados.
No existe ningún registro de bóvedas. La app no puede enumerar cuántas bóvedas existen. No hay recuento, índice ni lista de IDs de bóvedas. Un examinador forense que examina el almacenamiento de la app encuentra un grupo indiferenciado de datos cifrados.
Ningún indicador de configuración revela bóvedas ocultas. No hay booleano, entrada de base de datos ni archivo de preferencias que indique si existen bóvedas adicionales.
El almacenamiento está rellenado. El almacenamiento total consumido no cambia según el número de bóvedas o archivos. Sin relleno, un examinador podría estimar el número de bóvedas a partir del tamaño total de los datos cifrados frente al contenido visible.
Los datos cifrados son indistinguibles del ruido aleatorio. No hay límites de archivos, encabezados ni marcadores estructurales que revelen dónde terminan los datos de una bóveda y comienzan los de otro.
| Propiedad | Señuelo cosmético | Negabilidad genuina |
|---|---|---|
| Datos separados por credencial | Sí | Sí |
| Sin registro de bóvedas | No (la base de datos rastrea bóvedas) | Sí |
| Sin indicadores de configuración | No (interruptor de señuelo almacenado) | Sí |
| Relleno de almacenamiento | Raramente | Sí |
| Oculta almacenamiento alternativo en una imagen estática | No | Sí, dentro del modelo de amenaza de almacenamiento indicado |
| Arquitectónico vs. función | Interruptor de función | Propiedad arquitectónica |
Escenarios del mundo real donde esto importa
La negación plausible no es una preocupación teórica. Aborda situaciones documentadas y recurrentes del mundo real.
Cruces fronterizos
En un cruce fronterizo, un examinador puede inspeccionar un dispositivo y solicitar credenciales. Si un diseño realmente proporciona negación a nivel de almacenamiento, una credencial puede revelar un conjunto de datos inofensivos, mientras que una imagen estática carece de un marcador estructural que distinga el contenido oculto del relleno. El diseño de almacenamiento actual de Vaultaire permite que un examinador con acceso al contenedor de aplicaciones estime el número de bóvedas, así que no ofrece esa garantía.
Abuso doméstico y relaciones coercitivas
Alguien en una relación abusiva puede necesitar almacenar evidencia (fotos de lesiones, mensajes amenazantes, documentos legales) en un dispositivo que el abusador monitorea. Si el abusador exige ver la bóveda, el usuario puede abrir una bóveda con contenido no sensible. Sin negabilidad genuina, un indicador de "modo señuelo" en la configuración de la app revelaría la existencia de contenido oculto.
Robo de dispositivo
Un ladrón con habilidades técnicas podría intentar extraer datos de un teléfono robado. Una bóveda negable con el relleno adecuado tiene como objetivo ocultar cuántos conjuntos de datos ocupan el grupo, aunque la asignación total, el estado del dispositivo, las copias de seguridad y los seguimientos operativos todavía pertenecen al modelo de amenaza. Actualmente, Vaultaire cifra el contenido, pero el número de archivos de almacenamiento aún acota cuántas bóvedas contienen archivos.
Protección legal y periodística
Los periodistas que protegen fuentes, los abogados que protegen archivos de clientes y los activistas en regímenes autoritarios enfrentan escenarios donde el contenido del dispositivo puede ser forzado. La negabilidad genuina proporciona una defensa creíble contra la incautación de datos.
Lo que Vaultaire implementa hoy
Vaultaire implementa acceso separado por patrones y una interfaz normal sin una lista de bóvedas visible. Esas propiedades ayudan durante el uso normal de la aplicación, pero no cumplen con todos los requisitos de la lista de verificación de negación genuina anterior.
Los patrones configurados abren bóvedas cifradas independientes. PBKDF2 deriva una clave de bóveda del patrón y una sal para todo el dispositivo. Una clave configurada autentica su índice cifrado y desenvuelve una clave maestra aleatoria. Un patrón no configurado muestra un estado vacío en lugar de un mensaje de "patrón incorrecto".
El formato local aún permite estimar el número de bóvedas. Vaultaire guarda un archivo raíz vault_index_<locator>.bin por bóveda, en un grupo de 64 o más con archivos de relleno. Las páginas y los archivos de almacenamiento de todas las bóvedas comparten una sola carpeta con nombres aleatorios. Los nombres no revelan el patrón, el nombre de la bóveda ni a qué bóveda pertenece cada archivo, pero alguien con acceso al contenedor de aplicaciones aún puede estimar cuántas bóvedas contienen archivos, porque el número de archivos de almacenamiento lo acota. La autenticación AES-GCM también proporciona una prueba fuera de línea para las claves de bóveda candidatas.
El almacenamiento local no tiene un tamaño constante. El contenido de los archivos y los metadatos están cifrados, y los fragmentos de copia de seguridad en la nube utilizan relleno de tamaño y registros señuelo. Los archivos raíz están en un grupo con archivos de relleno, y los archivos de almacenamiento de relleno mantienen su número dentro de una franja, pero el número de archivos de almacenamiento, el número de páginas del catálogo, las fechas de los archivos y el almacenamiento total aún exponen la estructura.
Existe un estado de recuperación y de coacción. Vaultaire mantiene la información de recuperación en una base de datos de Keychain cifrada con AES-GCM. El modo de coacción (Pro) elimina los índices, las páginas y los archivos de almacenamiento de las demás bóvedas de este dispositivo (borrado simple de archivos, sin sobrescritura), borra los datos de recuperación y aísla ese dispositivo de la sincronización. No borra las copias de seguridad en la nube ni las copias en dispositivos pares, y el tiempo de finalización depende del trabajo local realizado.
Por lo tanto, Vaultaire proporciona compartimentación de la interfaz y almacenamiento cifrado, no una prueba, en el sentido de la teoría de la información, de que no existe una bóveda adicional. El formato de almacenamiento incluido en la versión 1.0.17 oculta qué archivos pertenecen a cada bóveda, pero el número de archivos de almacenamiento aún da a una instantánea del contenedor de aplicaciones fuera de línea un límite del número de bóvedas.
Cómo evaluar afirmaciones de negabilidad
Cuando una app afirma negación plausible, pregunta:
- ¿Hay un interruptor de "modo señuelo"? Si hay uno, es cosmético. Un examinador forense puede encontrar el interruptor.
- ¿La app tiene una lista de bóvedas o una base de datos? Si es así, la existencia de la bóveda es demostrable.
- ¿Se pueden verificar las conjeturas sin conexión? El texto cifrado autenticado puede validar una clave candidata sin un hash de contraseña separado. Pregunta qué limita el costo de adivinar y si el diseño de almacenamiento ofrece alguna huella digital de clave más económica.
- ¿Cambia el consumo de almacenamiento con el recuento de bóvedas? Si es así, el análisis de disco puede estimar el recuento de bóvedas.
- ¿Puede la app enumerar bóvedas? Si la app puede mostrarte una lista de tus bóvedas, esa lista existe en el dispositivo y es detectable.
Preguntas frecuentes
¿Es legal la negación plausible?
Usar cifrado con negación plausible es legal en la mayoría de las democracias. No hay ley contra tener datos cifrados en tu dispositivo cuya existencia no puede probarse. En algunas jurisdicciones (Reino Unido bajo RIPA, Australia bajo la Ley de Asistencia y Acceso), las autoridades pueden compeler la divulgación de claves de cifrado. La pregunta legal es si obligar a divulgar una clave para datos cuya existencia no puede probarse es ejecutable. Esto sigue siendo un área del derecho en desarrollo.
¿Pueden las herramientas forenses detectar la negación plausible?
Un examinador que obtiene el contenedor de aplicaciones de Vaultaire puede detectar el almacenamiento cifrado. Los archivos raíz vault_index_*.bin están en un grupo de 64 o más con archivos de relleno, y las páginas y los archivos de almacenamiento de todas las bóvedas comparten una sola carpeta con nombres aleatorios. Los nombres de archivo no indican a qué bóveda pertenece cada archivo, pero el número de archivos de almacenamiento acota cuántas bóvedas contienen archivos, así que un examinador aún puede estimar cuántas bóvedas tienes. Los archivos no revelan nombres de bóvedas ni contenidos de texto sin formato. Por lo tanto, el diseño actual oculta las bóvedas a la navegación normal, no a todas las inspecciones forenses de almacenamiento.
¿Funciona la negación plausible contra un estado nación decidido?
AES-256-GCM proporciona un límite sólido de cifrado de contenido cuando las claves, los nonces y la implementación son sólidos. Eso no hace que el diseño de almacenamiento actual de Vaultaire sea negable para un examinador de un estado nación: un examinador aún puede estimar el número de bóvedas locales y un compromiso en vivo puede apuntar a patrones, claves, vistas previas o exportaciones mientras una bóveda está abierta. La característica actual separa los diferentes patrones que se abren en la interfaz; no promete que un examinador determinado no pueda probar la existencia de índices locales adicionales.
¿Cuál es la diferencia entre negación plausible y bóvedas ocultas?
Las bóvedas ocultas son bóvedas que no son visibles en la interfaz normal de la aplicación. La negación criptográfica fuerte es la propiedad separada de que los datos ocultos no se pueden distinguir del almacenamiento de relleno no utilizado. Vaultaire ofrece actualmente la primera propiedad. Su formato de almacenamiento actual aún permite que un examinador con acceso al contenedor de aplicaciones estime el número de bóvedas, así que no proporciona la segunda.
¿Puedo usar la negación plausible con copias de seguridad en la nube?
Vaultaire escribe manifiestos de copia de seguridad cifrados y fragmentos de archivo cifrados con relleno en la base de datos privada de CloudKit del usuario. Los nombres aleatorios de los registros de datos, el relleno de fragmentos de 10 MB y los registros señuelo reducen la divulgación directa de contenido. El recuento de registros, el volumen total, los tiempos y los patrones de actualización siguen siendo metadatos de servicio visibles, por lo que la copia de seguridad en la nube no crea una bóveda de tamaño constante negable en el sentido de la teoría de la información.
Conclusión
Una fuerte denegación de almacenamiento tiene como objetivo evitar que un examinador distinga los datos ocultos del espacio libre de relleno en una bóveda cifrada estática. La mayoría de las aplicaciones que afirman esta característica ofrecen modos de señuelo cosméticos con indicadores de configuración reconocibles. Cumplir con la definición más estricta requiere un modelo de amenaza preciso, sin registros de bóvedas contables, sin indicadores de configuración reveladores, relleno estable y registros cifrados que no expongan qué ranuras son reales.
Vaultaire utiliza patrones configurados para separar las bóvedas cifradas y mantiene los nombres y contenidos de las bóvedas fuera de la interfaz bloqueada. Su diseño de almacenamiento actual aún permite estimar el número de bóvedas mediante la inspección del contenedor de aplicaciones. Trátalo como una ocultación a nivel de interfaz respaldada por cifrado autenticado, no como una prueba de que no existe una bóveda adicional.