Negabilità Plausibile nelle App: Cos'è e Perché Conta
La negabilità plausibile significa che l'esistenza dei dati nascosti non può essere provata.
La negabilità plausibile nella crittografia è una proprietà di archiviazione che consente a un utente di divulgare un set di dati senza lasciare un artefatto strutturale che dimostri l'esistenza di un altro set di dati. Il reclamo deve nominare il modello di minaccia: un'immagine statica di un archivio crittografato adeguatamente imbottito è diversa da un dispositivo attivo e compromesso, metadati di servizi cloud o copie conservate altrove. Questa è più di una funzione nascosta. Dipende dalla combinazione di crittografia, layout, riempimento 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 quotidiano, negabilità plausibile significa che puoi negare in modo credibile qualcosa. Nella crittografia di archiviazione, l'obiettivo utile è più ristretto: un esaminatore dell'archivio crittografato non dovrebbe essere in grado di distinguere il contenuto nascosto dallo spazio imbottito inutilizzato all'interno del modello di minaccia dichiarato. Nessuna app può estendere questa promessa a un deposito già aperto, input registrati, copie esterne o 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 dei vault 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 set di dati. Il sistema non conserva un contrassegno esca separato che identifichi una credenziale come mimetica. Le credenziali non valide possono fallire, ma tale errore non deve rivelare se esiste un set di dati non divulgato.
Non esiste alcun registro dei vault. L'app non può enumerare quanti vault esistono. Non c'è conteggio, nessun indice, nessun elenco di ID vault. Un esaminatore forense che esamina l'archivio dell'app trova un pool indifferenziato di dati cifrati.
Nessun flag di configurazione rivela i vault nascosti. Non esiste alcun booleano, nessuna voce di database, nessun file di preferenze che indichi quanti vault 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 vault o di file. Senza padding, un esaminatore potrebbe stimare il numero di vault 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 un vault e iniziano quelli di un altro.
| Proprietà | Esca Cosmetica | Vera Negabilità |
|---|---|---|
| Dati separati per credenziale | Sì | Sì |
| Nessun registro vault | No (il database traccia i vault) | Sì |
| Nessun flag di configurazione | No (opzione esca memorizzata) | Sì |
| Padding archiviazione | Raramente | Sì |
| Nasconde l'archiviazione alternativa in un'immagine statica | No | Sì, nell'ambito del modello di minaccia per lo storage dichiarato |
| 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
Al valico di frontiera, un esaminatore può ispezionare un dispositivo e chiedere le credenziali. Se un progetto fornisce effettivamente negabilità a livello di archiviazione, una credenziale può rivelare un set di dati innocuo mentre un'immagine statica è priva di un indicatore strutturale che distingua il contenuto nascosto dal riempimento. L'attuale layout di un file indice per vault di Vaultaire non fornisce tale garanzia a un esaminatore con 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 il vault, l'utente può aprire un vault 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. Un archivio negabile adeguatamente imbottito mira a nascondere il numero di set di dati che occupano il pool, sebbene l'allocazione totale, lo stato del dispositivo, i backup e le tracce operative facciano ancora parte del modello di minaccia. Vaultaire attualmente crittografa i contenuti ma espone un indice locale numerabile per ogni deposito configurato.
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
Voltaire implementa l'accesso separato da modelli e un'interfaccia normale senza elenco di depositi visibile. Tali proprietà aiutano durante l'utilizzo ordinario dell'app, ma non soddisfano tutti i requisiti nell'elenco di controllo sulla negabilità autentica riportato sopra.
I modelli configurati aprono depositi crittografati separati. PBKDF2 deriva una chiave dell'insieme di credenziali dal modello e un salt a livello di dispositivo. Una chiave configurata autentica il proprio indice crittografato e apre una chiave master casuale. Un modello non configurato mostra uno stato vuoto anziché un messaggio di "modello errato".
Il formato locale è enumerabile. Vaultaire ne conserva uno vault_index_<fingerprint>.bin file per vault. L'impronta digitale non rivela il modello o il nome del vault, ma qualcuno con accesso al contenitore dell'app può contare i file di indice. AES-GCM l'autenticazione e il nome file deterministico forniscono anche un test offline per le chiavi del vault candidate.
L'archiviazione locale non ha dimensioni costanti. Il contenuto e i metadati dei file vengono crittografati e i blocchi di backup su cloud utilizzano il riempimento delle dimensioni e i record di esca. Il contenitore dell'app locale non riserva un pool fisso di slot del vault reali e fittizi, quindi l'archiviazione totale e il conteggio degli indici possono esporre la struttura.
Esiste lo stato di recupero e di coercizione. Vaultaire conserva le informazioni di ripristino in un file AES-GCM crittografato Keychain banca dati. Modalità coercizione rimuove gli indici locali e le mappature di ripristino per gli archivi non coercitivi e isola il dispositivo dalla sincronizzazione. Non cancella i backup nel cloud, le copie sui dispositivi peer o ogni BLOB crittografato condiviso e il tempo di completamento dipende dal lavoro locale eseguito.
Vaultaire fornisce quindi la compartimentazione dell'interfaccia e l'archiviazione crittografata, non la prova teorica dell'informazione che non esiste alcun deposito aggiuntivo. Sarebbe necessario un futuro catalogo a capacità fissa con slot reali e fittizi indistinguibili per nascondere il conteggio del deposito locale da uno snapshot del contenitore di app offline.
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 vault o un database? In tal caso, l'esistenza del vault è dimostrabile.
- Le ipotesi possono essere verificate offline? Il testo cifrato autenticato può convalidare una chiave candidata senza un hash della password separato. Chiedi quali limiti indovinano i costi e se il layout di archiviazione offre un'impronta digitale della chiave più economica.
- Il consumo di archiviazione cambia con il numero di vault? In tal caso, l'analisi del disco può stimare il numero di vault.
- L'app può enumerare i vault? Se l'app può mostrarti un elenco dei tuoi vault, 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?
Un esaminatore che ottiene il contenitore dell'app di Vaultaire può rilevare e contare l'archiviazione crittografata vault_index_*.bin file. I file non rivelano nomi di vault o contenuti in testo normale, ma il loro conteggio rivela il numero di indici crittografati locali. Il design attuale quindi nasconde i depositi alla normale navigazione, non a ogni ispezione forense dello stoccaggio.
La negabilità plausibile funziona contro uno stato-nazione determinato?
AES-256-GCM fornisce un forte limite di crittografia del contenuto quando chiavi, nonce e implementazione sono validi. Ciò non rende l’attuale layout di archiviazione di Vaultaire negabile a un esaminatore di uno stato-nazione: il conteggio dell’indice locale rimane visibile e una compromissione in tempo reale può prendere di mira modelli, chiavi, anteprime o esportazioni mentre un deposito è aperto. La funzionalità attuale separa i diversi modelli aperti nell'interfaccia; non garantisce che un esaminatore determinato non possa dimostrare l'esistenza di ulteriori indici locali.
Qual è la differenza tra negabilità plausibile e vault nascosti?
I depositi nascosti sono depositi che non sono visibili nella normale interfaccia dell'app. La forte negabilità crittografica è la proprietà separata per cui i dati nascosti non possono essere distinti dall'archiviazione imbottita inutilizzata. Vaultaire attualmente fornisce la prima proprietà. Il suo formato con un file di indice per vault non fornisce il secondo a un esaminatore con accesso al contenitore dell'app.
Posso usare la negabilità plausibile con i backup cloud?
Vaultaire scrive manifesti di backup crittografati e blocchi di file crittografati imbottiti nel privato dell'utente CloudKit banca dati. Nomi di record casuali, tipi di record uniformi, imbottitura in blocchi da 10 MB e record esca riducono la divulgazione diretta del contenuto. Il conteggio dei record, il volume totale, la tempistica e i modelli di aggiornamento rimangono metadati del servizio visibili, quindi il backup sul cloud non crea un archivio di informazioni di dimensione costante, teoricamente negabile.
Conclusione
La forte negabilità dell'archiviazione mira a impedire a un esaminatore di distinguere i dati nascosti dallo spazio libero imbottito in un archivio statico crittografato. La maggior parte delle app che rivendicano questa funzionalità offrono modalità esca cosmetica con flag di configurazione rilevabili. Per soddisfare la definizione più forte è necessario un modello di minaccia preciso, nessun registro di deposito numerabile, nessun flag di configurazione rivelatore, riempimento stabile e record crittografati che non espongono quali slot sono reali.
Voltaire utilizza modelli configurati per separare depositi crittografati e mantiene i nomi e i contenuti dei depositi fuori dall'interfaccia bloccata. Il suo attuale layout di archiviazione espone ancora un conteggio degli indici crittografati all'ispezione del contenitore dell'app. Consideralo come un occultamento a livello di interfaccia supportato da una crittografia autenticata, non come una prova che non esiste un deposito aggiuntivo.