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 un almacén cifrado correctamente rellenado 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 del almacén cifrado no debería poder distinguir el contenido oculto del espacio acolchado 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 almacén 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 almacén 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 sólo 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 almacenes. La app no puede enumerar cuántos almacenes existen. No hay recuento, índice ni lista de IDs de almacenes. Un examinador forense que examina el almacenamiento de la app encuentra un grupo indiferenciado de datos cifrados.
Ningún indicador de configuración revela almacenes ocultos. No hay booleano, entrada de base de datos ni archivo de preferencias que indique si existen almacenes adicionales.
El almacenamiento está rellenado. El almacenamiento total consumido no cambia según el número de almacenes o archivos. Sin relleno, un examinador podría estimar el número de almacenes 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 un almacén y comienzan los de otro.
| Propiedad | Señuelo cosmético | Negabilidad genuina |
|---|---|---|
| Datos separados por credencial | Sí | Sí |
| Sin registro de almacenes | No (la base de datos rastrea almacenes) | 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 actual de un archivo de índice por bóveda de Vaultaire no ofrece esa garantía a un examinador con acceso al contenedor de aplicaciones.
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 el almacén, el usuario puede abrir un almacén 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. Un almacén denegable adecuadamente acolchado 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 expone un índice local contable por bóveda configurada.
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
bóveda implementa acceso separado por patrones y una interfaz normal sin una lista de bóveda 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 es enumerable. Vaultaire almacena uno vault_index_<fingerprint>.bin archivo por bóveda. La huella digital no revela el patrón ni el nombre de la bóveda, pero alguien con acceso al contenedor de aplicaciones puede contar los archivos de índice. AES-GCM La autenticación y el nombre de archivo determinista también proporcionan una prueba fuera de línea para las claves de almacén 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. El contenedor de la aplicación local no reserva un grupo fijo de espacios de bóveda reales y ficticios, por lo que el almacenamiento total y el recuento de índices pueden exponer la estructura.
Existe un estado de recuperación y de coacción. Vaultaire mantiene la información de recuperación en un AES-GCM cifrado Keychain base de datos. Modo de coacción elimina índices locales y asignaciones de recuperación para bóvedas sin coacción y aísla ese dispositivo de la sincronización. No borra las copias de seguridad en la nube, las copias en dispositivos pares ni todos los blobs cifrados compartidos, 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 teórica de la información de que no existe una bóveda adicional. Se necesitaría un futuro catálogo de capacidad fija con ranuras reales y ficticias indistinguibles para ocultar el recuento de la bóveda local de una instantánea del contenedor de aplicaciones fuera de línea.
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 almacenes o una base de datos? Si es así, la existencia del almacén 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. Pregunte 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 almacenes? Si es así, el análisis de disco puede estimar el recuento de almacenes.
- ¿Puede la app enumerar almacenes? Si la app puede mostrarte una lista de tus almacenes, 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 y contarlo vault_index_*.bin archivos. Los archivos no revelan nombres de bóvedas ni contenidos de texto sin formato, pero su recuento revela la cantidad de índices cifrados locales. 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: el recuento del índice local permanece visible 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 almacenes ocultos?
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 acolchado no utilizado. Vaultaire ofrece actualmente la primera propiedad. Su formato de un archivo de índice por bóveda no proporciona el segundo frente a un examinador con acceso al contenedor de aplicaciones.
¿Puedo usar la negación plausible con copias de seguridad en la nube?
Vaultaire escribe manifiestos de respaldo cifrados y fragmentos de archivos cifrados rellenados en el archivo privado del usuario. CloudKit base de datos. Los nombres de registros aleatorios, los tipos de registros uniformes, 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 el respaldo en la nube no crea un almacén de información de tamaño constante y teóricamente negable.
Conclusión
Una fuerte denegación de almacenamiento tiene como objetivo evitar que un examinador distinga los datos ocultos del espacio libre acolchado en un almacén cifrado estático. 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.
bóveda 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 todavía expone un recuento de índice cifrado a la inspección del contenedor de aplicaciones. Trátelo como una ocultación a nivel de interfaz respaldada por cifrado autenticado, no como una prueba de que no existe una bóveda adicional.