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:

1. 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.

2. 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.

3. 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.

4. 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.

5. 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.

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 permette a chi ha accesso al contenitore dell'app di stimare il numero di casseforti, quindi non offre questa garanzia.

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 il numero di arene di storage limita ancora quante casseforti contengono file.

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 permette ancora di stimare le casseforti. Vaultaire tiene un file radice vault_index_<fingerprint>.bin per cassaforte, in un pool di 64 o più insieme a file di copertura. Le pagine e le arene di storage di tutte le casseforti condividono una cartella con nomi casuali. I nomi non rivelano la sequenza, il nome della cassaforte né a quale cassaforte appartiene un file, ma chi ha accesso al contenitore dell'app può ancora stimare quante casseforti contengono file, perché il numero di arene lo limita. 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. I file radice stanno in un pool con file di copertura, e le arene di copertura tengono il numero di arene entro una fascia, ma il numero di arene, il numero di pagine del catalogo, gli orari dei file e lo spazio totale rivelano comunque 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 elimina gli indici, le pagine e le arene di storage delle altre casseforti su questo dispositivo (semplice rimozione dei file, senza sovrascrittura), cancella i dati di ripristino e scollega il dispositivo dalla sincronizzazione. Non cancella i backup nel cloud né le copie sugli altri dispositivi, 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. Il formato di storage introdotto con la versione 1.0.17 nasconde a quale cassaforte appartiene ogni file, ma il numero di arene dà ancora a un'istantanea offline del contenitore dell'app un limite al numero di casseforti.

Come Valutare le Affermazioni di Negabilità

Quando un'app dichiara la negabilità plausibile, chiedi:

1. Esiste un'opzione "modalità esca"? In tal caso, è cosmetica. Un esaminatore forense può trovare l'opzione.
2. L'app ha un elenco di cassaforte o un database? In tal caso, l'esistenza della cassaforte è dimostrabile.
3. 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.
4. Il consumo di archiviazione cambia con il numero di cassaforte? In tal caso, l'analisi del disco può stimare il numero di cassaforte.
5. 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. I file radice vault_index_*.bin formano un pool di 64 o più insieme a file di copertura, e le pagine e le arene di storage di tutte le casseforti condividono una cartella con nomi casuali. I nomi dei file non mostrano a quale cassaforte appartiene un file, ma il numero di arene limita quante casseforti contengono file, quindi un esaminatore può ancora stimare quante casseforti hai. I file non rivelano nomi delle casseforti né contenuti in chiaro. 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: un esaminatore può ancora stimare il numero di casseforti locali, 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 di storage attuale permette ancora a chi ha accesso al contenitore dell'app di stimare il numero di casseforti, quindi non offre la seconda.

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 casuali per i record di dati, 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 permette comunque a chi ispeziona il contenitore dell'app di stimare il numero di casseforti. Consideralo un occultamento a livello di interfaccia sostenuto dalla cifratura autenticata, non la prova che non esista un'altra cassaforte.