Negabilità Plausibile nelle App: Cos'è e Perché Conta
La negabilità plausibile significa che l'esistenza dei dati nascosti non può essere provata.
In crittografia, la negabilità plausibile è una proprietà dello storage che permette a un utente di rivelare un insieme di dati senza lasciare un elemento strutturale che dimostri l'esistenza di un altro insieme di dati. L'affermazione deve indicare il modello di minaccia: un'istantanea statica di uno storage cifrato con padding adeguato è diversa da un dispositivo attivo e compromesso, dai metadati dei servizi cloud o da copie conservate altrove. Non basta una funzione nascosta. Serve la combinazione di cifratura, struttura, padding e progettazione operativa.
Questa guida spiega come funziona la negabilità plausibile nelle app, la differenza tra vera negabilità crittografica e modalità esca cosmetiche, scenari reali in cui è rilevante, e come valutare le affermazioni di negabilità.
Cosa Significa Negabilità Plausibile nella Crittografia
Nel linguaggio di tutti i giorni, negabilità plausibile significa poter negare qualcosa in modo credibile. Nella cifratura dello storage l'obiettivo utile è più ristretto: chi esamina lo storage cifrato non deve riuscire a distinguere il contenuto nascosto dallo spazio di padding inutilizzato, dentro il modello di minaccia dichiarato. Nessuna app può estendere questa promessa a una cassaforte già aperta, a input registrati, a copie esterne o a qualsiasi forma di compromissione del dispositivo.
Il concetto è nato nella crittografia dei dischi. TrueCrypt (e il suo successore VeraCrypt) ha aperto la strada al volume nascosto: un volume cifrato all'interno di un altro volume cifrato. Una password rivela il volume esterno con file innocui. Una password diversa rivela il volume nascosto interno con file sensibili. Un esaminatore forense non può determinare se esiste un volume nascosto perché lo spazio inutilizzato nel volume esterno è riempito con dati casuali indistinguibili dai dati cifrati.
Per le app, la negabilità plausibile significa che credenziali diverse (password, PIN, pattern) aprono set di dati diversi, e non esiste alcun metadato, registro, flag di configurazione, o artefatto strutturale che riveli l'esistenza di set di dati aggiuntivi.
Vera Negabilità vs. Modalità Esca Cosmetica
Questa è la distinzione critica che la maggior parte delle app sbaglia.
Modalità Esca Cosmetica (Non È Vera Negabilità)
Molte app vault offrono una funzione "esca" o "PIN falso". Imposti un PIN secondario che apre uno spazio separato con foto diverse. Il problema: queste app tipicamente memorizzano un flag booleano, una voce di database, o un file di configurazione che indica che esiste e che è configurata una modalità esca.
Un esaminatore forense che capisce l'app può trovare questo flag. Trovare una modalità esca configurata prova che esistono dati nascosti. La negabilità è cosmetica -- funziona contro un ficcanaso occasionale ma fallisce sotto l'esame forense.
Segnali di negabilità cosmetica:
- L'app ha un'opzione "modalità esca" nelle impostazioni
- Un file di configurazione memorizza se la modalità esca è abilitata
- Una tabella di database elenca gli ID delle casseforti con indicatori di tipo (principale/esca)
- La struttura di archiviazione dell'app cambia quando la modalità esca viene attivata
- Disinstallare e reinstallare l'app rivela un comportamento diverso quando la modalità esca era configurata
Vera Negabilità Crittografica
La vera negabilità è una proprietà architettonica, non un'opzione di impostazione. L'archivio cifrato deve essere progettato in modo che:
Le credenziali alternative rivelano solo il proprio insieme di dati. Il sistema non conserva un indicatore separato che segnali una credenziale come esca. Le credenziali non valide possono fallire, ma il fallimento non deve rivelare se esiste un insieme di dati non divulgato.
Non esiste alcun registro delle casseforti. L'app non può enumerare quante casseforti esistono. Non c'è conteggio, nessun indice, nessun elenco di ID delle casseforti. Un esaminatore forense che esamina l'archivio dell'app trova un pool indifferenziato di dati cifrati.
Nessun flag di configurazione rivela le casseforti nascoste. Non esiste alcun booleano, nessuna voce di database, nessun file di preferenze che indichi quante casseforti esistano o se un pattern specifico sia stato usato.
L'archivio è riempito con padding. Lo spazio di archiviazione totale consumato non cambia in base al numero di cassaforte o di file. Senza padding, un esaminatore potrebbe stimare il numero di cassaforte dalla dimensione totale dei dati cifrati rispetto al contenuto visibile.
I dati cifrati sono indistinguibili dal rumore casuale. Non ci sono confini di file, nessuna intestazione, nessun marcatore strutturale che riveli dove finiscono i dati di una cassaforte e iniziano quelli di un altro.
| Proprietà | Esca Cosmetica | Vera Negabilità |
|---|---|---|
| Dati separati per credenziale | Sì | Sì |
| Nessun registro vault | No (il database traccia le casseforti) | Sì |
| Nessun flag di configurazione | No (opzione esca memorizzata) | Sì |
| Padding archiviazione | Raramente | Sì |
| Nasconde lo storage alternativo in un'istantanea statica | No | Sì, entro il modello di minaccia dichiarato per lo storage |
| Architetturale vs. funzione | Opzione di impostazione | Proprietà architettonica |
Scenari Reali in Cui Questo Conta
La negabilità plausibile non è una preoccupazione teorica. Affronta situazioni reali documentate e ricorrenti.
Attraversamento delle Frontiere
A un controllo di frontiera, un esaminatore può ispezionare un dispositivo e chiedere le credenziali. Se un progetto offre davvero la negabilità a livello di storage, una credenziale può rivelare un insieme di dati innocuo, mentre un'istantanea statica non contiene alcun indicatore strutturale che distingua il contenuto nascosto dal padding. L'attuale struttura di Vaultaire, con una cartella di storage per cassaforte, non offre questa garanzia contro chi ha accesso al contenitore dell'app.
Violenza Domestica e Relazioni Coercitive
Qualcuno in una relazione abusiva potrebbe aver bisogno di archiviare prove (foto di lesioni, messaggi minacciosi, documenti legali) su un dispositivo che l'abusante monitora. Se l'abusante chiede di vedere la cassaforte, l'utente può aprire una cassaforte con contenuti non sensibili. Senza vera negabilità, un flag "modalità esca" nella configurazione dell'app rivelerebbe l'esistenza di contenuti nascosti.
Furto del Dispositivo
Un ladro con competenze tecniche potrebbe tentare di estrarre dati da un telefono rubato. Uno storage negabile con padding adeguato cerca di nascondere quanti insiemi di dati occupano il pool, anche se l'allocazione totale, lo stato del dispositivo, i backup e le tracce operative restano parte del modello di minaccia. Oggi Vaultaire cifra i contenuti ma espone un indice locale enumerabile per ogni cassaforte configurata.
Protezione Legale e Giornalistica
Giornalisti che proteggono le fonti, avvocati che proteggono i file dei clienti, e attivisti in regimi autoritari affrontano scenari in cui i contenuti dei dispositivi possono essere imposti. La vera negabilità fornisce una difesa credibile contro il sequestro dei dati.
Cosa implementa Vaultaire oggi
Vaultaire implementa l'accesso separato per sequenza e un'interfaccia normale senza un elenco visibile delle casseforti. Queste proprietà aiutano durante l'uso ordinario dell'app, ma non soddisfano tutti i requisiti della lista di controllo sulla vera negabilità riportata sopra.
Le sequenze configurate aprono casseforti cifrate separate. PBKDF2 deriva una chiave della cassaforte dalla sequenza e da un salt a livello di dispositivo. Una chiave configurata autentica il proprio indice cifrato e sblocca una chiave master casuale. Una sequenza non configurata mostra uno stato vuoto invece di un messaggio di "sequenza errata".
Il formato locale è enumerabile. Vaultaire tiene una cartella di storage per cassaforte; i file vault_index_<fingerprint>.bin nella radice formano un pool di 64 insieme a file di copertura. I nomi non rivelano la sequenza né il nome della cassaforte, ma chi ha accesso al contenitore dell'app può contare le cartelle. L'autenticazione AES-GCM e il nome file deterministico offrono anche un test offline per le chiavi della cassaforte candidate.
Lo storage locale non ha dimensione costante. Il contenuto e i metadati dei file vengono cifrati, e i blocchi del backup nel cloud usano padding delle dimensioni e record esca. Il contenitore locale dell'app non riserva un pool fisso di posizioni per casseforti reali e fittizie, quindi lo spazio totale e il numero di indici possono rivelare la struttura.
Esiste uno stato di ripristino e di coercizione. Vaultaire conserva le informazioni di ripristino in un database nel Keychain cifrato con AES-GCM. La modalità coercizione rimuove gli indici locali e le associazioni di ripristino delle casseforti non di coercizione e scollega il dispositivo dalla sincronizzazione. Non cancella i backup nel cloud, le copie sugli altri dispositivi né ogni blob cifrato condiviso, e il tempo di completamento dipende dal lavoro locale da svolgere.
Vaultaire offre quindi una separazione nell'interfaccia e uno storage cifrato, non la prova, in senso di teoria dell'informazione, che non esista un'altra cassaforte. Per nascondere il numero di casseforti locali a un'istantanea offline del contenitore dell'app servirebbe un futuro catalogo a capacità fissa, con posizioni reali e fittizie indistinguibili.
Come Valutare le Affermazioni di Negabilità
Quando un'app dichiara la negabilità plausibile, chiedi:
- Esiste un'opzione "modalità esca"? In tal caso, è cosmetica. Un esaminatore forense può trovare l'opzione.
- L'app ha un elenco di cassaforte o un database? In tal caso, l'esistenza della cassaforte è dimostrabile.
- I tentativi si possono verificare offline? Il testo cifrato autenticato può convalidare una chiave candidata senza un hash della password separato. Chiedi cosa limita il costo dei tentativi e se la struttura dello storage offre un'impronta della chiave più economica da verificare.
- Il consumo di archiviazione cambia con il numero di cassaforte? In tal caso, l'analisi del disco può stimare il numero di cassaforte.
- L'app può enumerare le casseforti? Se l'app può mostrarti un elenco delle tue casseforti, quell'elenco esiste sul dispositivo ed è scopribile.
Domande Frequenti
La negabilità plausibile è legale?
Usare la crittografia con negabilità plausibile è legale nella maggior parte delle democrazie. Non esiste alcuna legge contro avere dati cifrati sul proprio dispositivo la cui esistenza non possa essere provata. In alcune giurisdizioni (Regno Unito ai sensi del RIPA, Australia ai sensi dell'Assistance and Access Act), le autorità possono obbligare alla divulgazione delle chiavi di crittografia. La questione giuridica è se sia applicabile l'obbligo di divulgazione di una chiave per dati la cui esistenza non può essere provata. Rimane un'area giuridica in evoluzione.
Gli strumenti forensi possono rilevare la negabilità plausibile?
Chi ottiene il contenitore dell'app di Vaultaire può rilevare lo storage cifrato e contare le cartelle di storage, una per cassaforte. I file vault_index_*.bin nella radice formano un pool di 64 insieme a file di copertura, ma le cartelle mostrano quali sono reali. I file non rivelano nomi delle casseforti né contenuti in chiaro, ma il loro numero rivela quanti indici cifrati locali esistono. L'attuale progetto nasconde quindi le casseforti alla normale navigazione, non a ogni ispezione forense dello storage.
La negabilità plausibile funziona contro uno stato-nazione determinato?
AES-256-GCM offre un solido confine di cifratura dei contenuti quando chiavi, nonce e implementazione sono corretti. Questo non rende l'attuale struttura di storage di Vaultaire negabile di fronte a un esaminatore di livello statale: il numero di indici locali resta visibile, e una compromissione in tempo reale può prendere di mira sequenze, chiavi, anteprime o esportazioni mentre una cassaforte è aperta. La funzione attuale separa nell'interfaccia le diverse sequenze che aprono casseforti; non garantisce che un esaminatore determinato non possa dimostrare l'esistenza di altri indici locali.
Qual è la differenza tra negabilità plausibile e casseforti nascoste?
Le casseforti nascoste sono casseforti che non compaiono nella normale interfaccia dell'app. La negabilità crittografica forte è la proprietà distinta per cui i dati nascosti non si possono distinguere dallo spazio di padding inutilizzato. Oggi Vaultaire offre la prima proprietà. Il suo formato con una cartella di storage per cassaforte non offre la seconda contro chi ha accesso al contenitore dell'app.
Posso usare la negabilità plausibile con i backup cloud?
Vaultaire scrive manifest di backup cifrati e blocchi di file cifrati con padding nel database CloudKit privato dell'utente. Nomi di record casuali, tipi di record uniformi, padding in blocchi da 10 MB e record esca riducono la divulgazione diretta dei contenuti. Numero dei record, volume totale, tempi e andamento degli aggiornamenti restano metadati del servizio visibili, quindi il backup nel cloud non crea uno storage di dimensione costante negabile in senso di teoria dell'informazione.
Conclusione
La negabilità forte dello storage mira a impedire a un esaminatore di distinguere i dati nascosti dallo spazio libero di padding in un'istantanea statica dello storage cifrato. La maggior parte delle app che dichiarano questa funzione offre modalità esca solo estetiche, con flag di configurazione rilevabili. Per soddisfare la definizione più forte servono un modello di minaccia preciso, nessun registro delle casseforti enumerabile, nessun flag di configurazione rivelatore, un padding stabile e record cifrati che non rivelino quali posizioni sono reali.
Vaultaire usa le sequenze configurate per separare casseforti cifrate e tiene i nomi e i contenuti delle casseforti fuori dall'interfaccia bloccata. La sua attuale struttura di storage espone comunque il numero di indici cifrati a chi ispeziona il contenitore dell'app. Consideralo un occultamento a livello di interfaccia sostenuto dalla cifratura autenticata, non la prova che non esista un'altra cassaforte.