Negació plausible a les apps: què és i per què importa
La negació plausible vol dir que no es pot demostrar que existeixen dades amagades.
En xifratge, la negació plausible és una propietat de l'emmagatzematge que permet a l'usuari revelar un conjunt de dades sense deixar cap rastre estructural que demostri que n'existeix un altre. L'afirmació ha d'indicar el seu model d'amenaça: una imatge estàtica d'un magatzem xifrat amb farciment correcte és diferent d'un dispositiu en marxa i compromès, de les metadades d'un servei al núvol o de còpies guardades en altres llocs. És més que una funció per amagar. Depèn que el xifratge, la disposició, el farciment i el disseny operatiu funcionin junts.
Aquesta guia explica com funciona la negació plausible a les apps, la diferència entre la negació criptogràfica real i els modes esquer cosmètics, situacions reals en què importa i com avaluar les afirmacions de negació plausible.
Què vol dir negació plausible en xifratge
En el llenguatge de cada dia, negació plausible vol dir que pots negar alguna cosa de manera creïble. En la criptografia d'emmagatzematge, l'objectiu útil és més estret: qui examini el magatzem xifrat no ha de poder distingir el contingut ocult de l'espai de farciment sense ús, dins del model d'amenaça indicat. Cap app no pot estendre aquesta promesa a una caixa forta ja oberta, a l'entrada enregistrada, a còpies externes o a qualsevol forma de compromís del dispositiu.
El concepte va néixer amb el xifratge de disc. TrueCrypt (i el seu successor VeraCrypt) van introduir el volum ocult: un volum xifrat dins d'un altre volum xifrat. Una contrasenya obre el volum exterior amb fitxers innocus. Una altra contrasenya obre el volum ocult interior amb fitxers delicats. Un examinador forense no pot determinar si existeix un volum ocult perquè l'espai sense ús del volum exterior està ple de dades aleatòries que no es poden distingir de les dades xifrades.
En les apps, la negació plausible vol dir que credencials diferents (contrasenyes, PIN, patrons) obren conjunts de dades diferents, i que no hi ha cap metadada, registre, indicador de configuració ni rastre estructural que reveli l'existència de conjunts de dades addicionals.
Negació plausible real i modes esquer cosmètics
Aquesta és la distinció clau que la majoria d'apps fan malament.
Mode esquer cosmètic (no és negació plausible real)
Moltes apps de caixa forta ofereixen una funció d'"esquer" o de "PIN fals". Configures un PIN secundari que obre un espai separat amb fotos diferents. El problema: aquestes apps solen guardar un indicador booleà, una entrada de base de dades o un fitxer de configuració que indica que existeix un mode esquer i que està configurat.
Un examinador forense que conegui l'app pot trobar aquest indicador. Trobar un mode esquer configurat demostra que existeixen dades amagades. La negació és cosmètica: funciona davant d'un tafaner ocasional, però falla en un examen forense.
Senyals de negació cosmètica:
- L'app té un interruptor de "mode esquer" a la configuració
- Un fitxer de configuració guarda si el mode esquer està activat
- Una taula de base de dades llista els ID de les caixes fortes amb indicadors de tipus (principal/esquer)
- L'estructura d'emmagatzematge de l'app canvia quan s'activa el mode esquer
- Desinstal·lar i tornar a instal·lar l'app mostra un comportament diferent si el mode esquer estava configurat
Negació criptogràfica real
La negació real és una propietat de l'arquitectura, no un interruptor de funció. L'emmagatzematge xifrat s'ha de dissenyar de manera que:
Cada credencial alternativa revela només el seu propi conjunt de dades. El sistema no guarda cap indicador d'esquer separat que identifiqui una credencial com a camuflatge. Les credencials no vàlides poden fallar, però aquest error no ha de revelar si existeix un conjunt de dades no revelat.
No existeix cap registre de caixes fortes. L'app no pot enumerar quantes caixes fortes hi ha. No hi ha cap recompte, cap índex ni cap llista d'ID de caixes fortes. Un examinador forense que analitzi l'emmagatzematge de l'app troba un bloc indiferenciat de dades xifrades.
Cap indicador de configuració revela caixes fortes ocultes. No hi ha cap booleà, cap entrada de base de dades ni cap fitxer de preferències que indiqui si existeixen caixes fortes addicionals.
L'emmagatzematge té farciment. L'espai total ocupat no canvia segons el nombre de caixes fortes o de fitxers. Sense farciment, un examinador podria estimar el nombre de caixes fortes comparant la mida total de les dades xifrades amb el contingut visible.
Les dades xifrades no es poden distingir del soroll aleatori. No hi ha límits de fitxer, capçaleres ni marques estructurals que revelin on acaben les dades d'una caixa forta i on comencen les d'una altra.
| Propietat | Esquer cosmètic | Negació real |
|---|---|---|
| Dades separades per credencial | Sí | Sí |
| Sense registre de caixes fortes | No (una base de dades registra les caixes fortes) | Sí |
| Sense indicadors de configuració | No (es guarda l'interruptor d'esquer) | Sí |
| Farciment de l'emmagatzematge | Poques vegades | Sí |
| Amaga l'emmagatzematge alternatiu en una imatge estàtica | No | Sí, dins del model d'amenaça d'emmagatzematge indicat |
| Arquitectura o funció | Interruptor de funció | Propietat de l'arquitectura |
Situacions reals en què importa
La negació plausible no és una qüestió teòrica. Respon a situacions reals, documentades i recurrents.
Passos de frontera
En un pas de frontera, un agent pot inspeccionar un dispositiu i demanar les credencials. Si un disseny ofereix realment negació a nivell d'emmagatzematge, una credencial pot revelar un conjunt de dades innocu mentre una imatge estàtica no té cap marca estructural que distingeixi el contingut ocult del farciment. La disposició actual de Vaultaire permet que un examinador amb accés al contenidor de l’app estimi el nombre de caixes fortes, així que no ofereix aquesta garantia.
Violència domèstica i relacions coercitives
Una persona en una relació abusiva pot necessitar guardar proves (fotos de lesions, missatges amenaçadors, documents legals) en un dispositiu que l'agressor vigila. Si l'agressor exigeix veure la caixa forta, l'usuari pot obrir una caixa forta amb contingut no delicat. Sense negació real, un indicador de "mode esquer" a la configuració de l'app revelaria l'existència de contingut ocult.
Robatori del dispositiu
Un lladre amb coneixements tècnics podria intentar extreure dades d'un telèfon robat. Un magatzem amb negació plausible i farciment correcte pretén amagar quants conjunts de dades ocupen el bloc, tot i que l'espai total assignat, l'estat del dispositiu, les còpies de seguretat i els rastres operatius continuen formant part del model d'amenaça. Actualment Vaultaire xifra el contingut, però el nombre d'arenes d'emmagatzematge encara limita quantes caixes fortes contenen fitxers.
Protecció legal i periodística
Periodistes que protegeixen fonts, advocats que protegeixen expedients de clients i activistes en règims autoritaris s'enfronten a situacions en què se'ls pot obligar a lliurar el contingut del dispositiu. La negació real ofereix una defensa creïble davant la confiscació de dades.
Què implementa avui Vaultaire
Vaultaire implementa accés separat per patró i una interfície normal sense cap llista visible de caixes fortes. Aquestes propietats ajuden durant l'ús normal de l'app, però no compleixen tots els requisits de la llista de negació real anterior.
Els patrons configurats obren caixes fortes xifrades separades. PBKDF2 deriva una clau de caixa forta a partir del patró i d'una sal comuna a tot el dispositiu. Una clau configurada autentica el seu índex xifrat i desembolcalla una clau mestra aleatòria. Un patró no configurat mostra un estat buit en lloc d'un missatge de "patró incorrecte".
El format local encara permet estimar les caixes fortes. Vaultaire guarda un fitxer arrel vault_index_<locator>.bin per caixa forta, en un bloc de 64 o més amb fitxers de cobertura. Les pàgines i les arenes d'emmagatzematge de totes les caixes fortes comparteixen una carpeta amb noms aleatoris. Els noms no revelen el patró, el nom de la caixa forta ni a quina caixa forta pertany cada fitxer, però qui tingui accés al contenidor de l'app encara pot estimar quantes caixes fortes contenen fitxers, perquè el nombre d'arenes el limita. L'autenticació AES-GCM també permet provar fora de línia claus candidates.
L'emmagatzematge local no té mida constant. El contingut i les metadades dels fitxers estan xifrats, i els fragments de la còpia de seguretat al núvol fan servir farciment de mida i registres esquer. Els fitxers arrel formen un bloc amb fitxers de cobertura, i les arenes de cobertura mantenen el nombre d'arenes dins d'una franja, però el nombre d'arenes, el nombre de pàgines del catàleg, les dates dels fitxers i l'espai total encara revelen l'estructura.
Existeix estat de recuperació i de coacció. Vaultaire guarda la informació de recuperació en una base de dades del clauer xifrada amb AES-GCM. El mode de coacció elimina els índexs, les pàgines i les arenes d'emmagatzematge de les altres caixes fortes d'aquest dispositiu (amb una eliminació simple de fitxers, sense sobreescriure'ls), esborra les dades de recuperació i aïlla el dispositiu de la sincronització. No esborra les còpies de seguretat al núvol ni les còpies d'altres dispositius, i el temps que triga depèn de la feina local que faci.
Per tant, Vaultaire ofereix compartimentació de la interfície i emmagatzematge xifrat, no una prova en termes de teoria de la informació que no existeix cap caixa forta addicional. El format d'emmagatzematge que va arribar amb la versió 1.0.17 amaga quins fitxers pertanyen a cada caixa forta, però el nombre d'arenes encara dona a una instantània fora de línia del contenidor de l'app un límit del nombre de caixes fortes.
Com avaluar les afirmacions de negació plausible
Quan una app afirma que ofereix negació plausible, pregunta:
- Hi ha un interruptor de "mode esquer"? Si n'hi ha, és cosmètic. Un examinador forense pot trobar l'interruptor.
- L'app té una llista o una base de dades de caixes fortes? Si en té, es pot demostrar que les caixes fortes existeixen.
- Es poden verificar els intents fora de línia? El text xifrat autenticat pot validar una clau candidata sense un hash de contrasenya separat. Pregunta què limita el cost dels intents i si la disposició de l'emmagatzematge ofereix alguna empremta de clau més barata.
- L'espai ocupat canvia amb el nombre de caixes fortes? Si canvia, una anàlisi del disc pot estimar quantes caixes fortes hi ha.
- L'app pot enumerar les caixes fortes? Si l'app et pot mostrar una llista de les teves caixes fortes, aquesta llista existeix al dispositiu i es pot descobrir.
Preguntes freqüents
La negació plausible és legal?
Fer servir xifratge amb negació plausible és legal a la majoria de democràcies. No hi ha cap llei contra tenir al dispositiu dades xifrades l'existència de les quals no es pot demostrar. En algunes jurisdiccions (el Regne Unit amb la RIPA, Austràlia amb l'Assistance and Access Act), les autoritats poden obligar a revelar les claus de xifratge. La qüestió jurídica és si es pot fer complir l'obligació de revelar la clau d'unes dades l'existència de les quals no es pot demostrar. Continua sent una àrea del dret en evolució.
Les eines forenses poden detectar la negació plausible?
Un examinador que obtingui el contenidor de l’app de Vaultaire pot detectar l’emmagatzematge xifrat. Els fitxers arrel vault_index_*.bin formen un bloc de 64 o més amb fitxers de cobertura, i les pàgines i les arenes d’emmagatzematge de totes les caixes fortes comparteixen una carpeta amb noms aleatoris. Els noms dels fitxers no mostren a quina caixa forta pertany cada fitxer, però el nombre d’arenes limita quantes caixes fortes contenen fitxers, així que un examinador encara pot estimar quantes caixes fortes tens. Els fitxers no revelen els noms de les caixes fortes ni el contingut en text pla. Per tant, el disseny actual amaga les caixes fortes de la navegació normal, no de qualsevol inspecció forense de l’emmagatzematge.
La negació plausible funciona davant d'un estat decidit?
AES-256-GCM ofereix una barrera sòlida de xifratge del contingut quan les claus, els nonces i la implementació són correctes. Això no fa que la disposició actual de l’emmagatzematge de Vaultaire permeti negar res davant d’un examinador estatal: un examinador encara pot estimar el nombre local de caixes fortes, i un compromís en directe pot anar a buscar patrons, claus, previsualitzacions o exportacions mentre una caixa forta està oberta. La funció actual separa el que obren a la interfície patrons diferents; no promet que un examinador decidit no pugui demostrar que existeixen índexs locals addicionals.
Quina diferència hi ha entre la negació plausible i les caixes fortes ocultes?
Les caixes fortes ocultes són caixes fortes que no es veuen a la interfície normal de l’app. La negació criptogràfica forta és una propietat diferent: les dades amagades no es poden distingir de l’emmagatzematge de farciment sense ús. Actualment Vaultaire ofereix la primera propietat. El seu format actual encara permet que un examinador amb accés al contenidor de l’app estimi el nombre de caixes fortes, així que no ofereix la segona.
Puc fer servir la negació plausible amb còpies de seguretat al núvol?
Vaultaire escriu manifestos de còpia de seguretat xifrats i fragments de fitxer xifrats amb farciment a la base de dades privada de CloudKit de l’usuari. Els noms aleatoris dels registres de dades, el farciment de fragments a 10 MB i els registres esquer redueixen la revelació directa del contingut. El nombre de registres, el volum total, el moment i els patrons d’actualització continuen sent metadades visibles per al servei, de manera que la còpia de seguretat al núvol no crea un magatzem de mida constant amb negació plausible en termes de teoria de la informació.
En resum
La negació forta a nivell d'emmagatzematge pretén que un examinador no pugui distingir les dades ocultes de l'espai lliure de farciment en un magatzem xifrat estàtic. La majoria d'apps que afirmen tenir aquesta funció ofereixen modes esquer cosmètics amb indicadors de configuració que es poden descobrir. Complir la definició més estricta requereix un model d'amenaça precís, cap registre comptable de caixes fortes, cap indicador de configuració revelador, un farciment estable i registres xifrats que no mostrin quines ranures són reals.
Vaultaire fa servir patrons configurats per separar caixes fortes xifrades i manté els noms i el contingut de les caixes fortes fora de la interfície bloquejada. La seva disposició actual de l'emmagatzematge encara permet estimar el nombre de caixes fortes a qui inspeccioni el contenidor de l'app. Considera-ho una ocultació a nivell d'interfície recolzada per xifratge autenticat, no una prova que no existeix cap caixa forta addicional.