Negabilidade Plausível em Apps: O Que É e Por Que Importa

A negabilidade plausível significa que a existência de dados ocultos não pode ser provada.

A negação plausível na criptografia é uma propriedade de armazenamento que permite ao usuário divulgar um conjunto de dados sem deixar um artefato estrutural que prove a existência de outro conjunto de dados. A alegação deve nomear seu modelo de ameaça: uma imagem estática de um armazenamento criptografado adequadamente preenchido é diferente de um dispositivo ativo e comprometido, metadados de serviço em nuvem ou cópias mantidas em outro lugar. Isso é mais do que um recurso de ocultação. Depende da criptografia, layout, preenchimento e design operacional trabalhando juntos.

Este guia explica como a negabilidade plausível funciona em apps, a diferença entre negabilidade criptográfica genuína e modos de engodo cosméticos, cenários do mundo real onde isso importa e como avaliar afirmações de negabilidade.

O Que Significa Negabilidade Plausível em Criptografia

Na linguagem cotidiana, negação plausível significa que você pode negar algo com credibilidade. Na criptografia de armazenamento, o alvo útil é mais restrito: um examinador do armazenamento criptografado não deve ser capaz de distinguir o conteúdo oculto do espaço preenchido não utilizado dentro do modelo de ameaça declarado. Nenhum aplicativo pode estender essa promessa a um cofre já aberto, entrada gravada, cópias externas ou qualquer forma de comprometimento do dispositivo.

O conceito originou-se na criptografia de disco. O TrueCrypt (e seu sucessor VeraCrypt) foi pioneiro no volume oculto: um volume criptografado dentro de outro volume criptografado. Uma senha revela o volume externo com arquivos inocentes. Uma senha diferente revela o volume interno oculto com arquivos sensíveis. Um examinador forense não pode determinar se um volume oculto existe porque o espaço não utilizado no volume externo é preenchido com dados aleatórios indistinguíveis de dados criptografados.

Para apps, a negabilidade plausível significa que diferentes credenciais (senhas, PINs, padrões) abrem diferentes conjuntos de dados, e não há metadados, registro, sinalizador de configuração ou artefato estrutural que revele a existência de conjuntos de dados adicionais.

Negabilidade Genuína vs. Modos de Engodo Cosméticos

Esta é a distinção crítica que a maioria dos apps erra.

Modo de Engodo Cosmético (Não É Negabilidade Real)

Muitos apps de cofre oferecem um recurso de "engodo" ou "PIN falso". Você define um PIN secundário que abre um espaço separado com fotos diferentes. O problema: esses apps normalmente armazenam um sinalizador booleano, uma entrada de banco de dados ou um arquivo de configuração indicando que um modo de engodo existe e está configurado.

Um examinador forense que entende o app pode encontrar esse sinalizador. Encontrar um modo de engodo configurado prova que dados ocultos existem. A negabilidade é cosmética — funciona contra um bisbilhoteiro casual, mas falha sob exame forense.

Sinais de negabilidade cosmética:

• O app tem um interruptor de "modo de engodo" nas configurações
• Um arquivo de configuração armazena se o modo de engodo está habilitado
• Uma tabela de banco de dados lista IDs de cofre com indicadores de tipo (principal/engodo)
• A estrutura de armazenamento do app muda quando o modo de engodo é ativado
• Desinstalar e reinstalar o app revela comportamento diferente quando o modo de engodo foi configurado

Negabilidade Criptográfica Genuína

A negabilidade genuína é uma propriedade arquitetural, não um interruptor de recurso. O armazenamento criptografado deve ser projetado de forma que:

1. As credenciais alternativas divulgam apenas seu próprio conjunto de dados. O sistema não mantém um sinalizador chamariz separado que identifique uma credencial como camuflagem. Credenciais inválidas podem falhar, mas essa falha não deve revelar se existe um conjunto de dados não divulgado.

2. Nenhum registro de cofres existe. O app não pode enumerar quantos cofres existem. Não há contagem, índice ou lista de IDs de cofre. Um examinador forense que examina o armazenamento do app encontra um pool indiferenciado de dados criptografados.

3. Nenhum sinalizador de configuração revela cofres ocultos. Não há booleano, entrada de banco de dados ou arquivo de preferências que indique se cofres adicionais existem.

4. O armazenamento é preenchido. O espaço de armazenamento total consumido não muda com base no número de cofres ou arquivos. Sem preenchimento, um examinador poderia estimar o número de cofres pelo tamanho total dos dados criptografados versus o conteúdo visível.

5. Dados criptografados são indistinguíveis de ruído aleatório. Não há limites de arquivo, cabeçalhos ou marcadores estruturais que revelem onde os dados de um cofre terminam e os de outro começam.

Cenários do Mundo Real Onde Isso Importa

A negabilidade plausível não é uma preocupação teórica. Ela aborda situações documentadas e recorrentes do mundo real.

Cruzamentos de Fronteira

Numa passagem de fronteira, um examinador pode inspecionar um dispositivo e solicitar credenciais. Se um design realmente fornece negação no nível de armazenamento, uma credencial pode revelar um conjunto de dados inócuo, enquanto uma imagem estática não possui um marcador estrutural que distinga o conteúdo oculto do preenchimento. O layout de armazenamento atual do Vaultaire permite que um examinador com acesso ao contêiner de aplicativo estime a contagem de cofres, então não fornece essa garantia.

Abuso Doméstico e Relacionamentos Coercitivos

Alguém em um relacionamento abusivo pode precisar armazenar evidências (fotos de ferimentos, mensagens ameaçadoras, documentos legais) em um dispositivo que o abusador monitora. Se o abusador exigir ver o cofre, o usuário pode abrir um cofre com conteúdo não sensível. Sem negabilidade genuína, um sinalizador de "modo de engodo" na configuração do app revelaria a existência de conteúdo oculto.

Roubo de Dispositivo

Um ladrão com habilidades técnicas pode tentar extrair dados de um telefone roubado. Um armazenamento negável adequadamente preenchido visa ocultar quantos conjuntos de dados ocupam o pool, embora a alocação total, o estado do dispositivo, os backups e os rastreamentos operacionais ainda pertençam ao modelo de ameaça. Atualmente, o Vaultaire criptografa o conteúdo, mas o número de arenas de armazenamento ainda limita quantos cofres têm arquivos.

Proteção Legal e Jornalística

Jornalistas que protegem fontes, advogados que protegem arquivos de clientes e ativistas em regimes autoritários enfrentam cenários onde os conteúdos do dispositivo podem ser compelidos. A negabilidade genuína fornece uma defesa crível contra a apreensão de dados.

O que o Vaultaire implementa hoje

O Vaultaire implementa acesso separado por padrão e uma interface normal sem lista de cofres visível. Essas propriedades ajudam durante o uso normal do aplicativo, mas não atendem a todos os requisitos da lista de verificação de negação genuína acima.

Os padrões configurados abrem cofres criptografados separados. PBKDF2 deriva uma chave do cofre do padrão e de um sal válido para todo o dispositivo. Uma chave configurada autentica seu índice criptografado e abre uma chave mestra aleatória. Um padrão não configurado mostra um estado vazio em vez de uma mensagem de "padrão incorreto".

O formato local ainda permite estimar os cofres. O Vaultaire armazena um arquivo raiz vault_index_<locator>.bin por cofre, em um conjunto de 64 ou mais com arquivos de cobertura. As páginas e as arenas de armazenamento de todos os cofres ficam em uma única pasta com nomes aleatórios. Os nomes não revelam o padrão, o nome do cofre nem a qual cofre um arquivo pertence, mas alguém com acesso ao contêiner do aplicativo ainda pode estimar quantos cofres têm arquivos, porque a contagem de arenas limita esse número. A autenticação AES-GCM também fornece um teste offline para chaves de cofre candidatas.

O armazenamento local não tem tamanho constante. O conteúdo e os metadados do arquivo são criptografados, e os blocos de backup na nuvem usam preenchimento de tamanho e registros falsos. Os arquivos raiz ficam em um conjunto com arquivos de cobertura, e arenas de cobertura mantêm a contagem de arenas dentro de uma faixa, mas a contagem de arenas, a contagem de páginas do catálogo, as datas dos arquivos e o armazenamento total ainda expõem a estrutura.

Existe estado de recuperação e coação. Vaultaire mantém informações de recuperação em um banco de dados do Keychain criptografado com AES-GCM. Modo de coação (Pro) exclui os índices, as páginas e as arenas de armazenamento dos outros cofres neste dispositivo (remoção simples de arquivos, sem sobrescrita), apaga os dados de recuperação e isola esse dispositivo da sincronização. Ele não apaga backups na nuvem nem cópias em dispositivos peer, e o tempo de conclusão depende do trabalho local executado.

O Vaultaire, portanto, fornece compartimentação de interface e armazenamento criptografado, e não uma prova teórica da informação de que não existe nenhum cofre adicional. O formato de armazenamento lançado na versão 1.0.17 oculta quais arquivos pertencem a qual cofre, mas sua contagem de arenas ainda dá a um instantâneo off-line do contêiner do aplicativo um limite para a contagem de cofres.

Como Avaliar Afirmações de Negabilidade

Quando um app afirma negabilidade plausível, pergunte:

1. Existe um interruptor de "modo de engodo"? Se sim, é cosmético. Um examinador forense pode encontrar o interruptor.
2. O app tem uma lista de cofres ou banco de dados? Se sim, a existência do cofre é provável.
3. As suposições podem ser verificadas offline? O texto cifrado autenticado pode validar uma chave candidata sem um hash de senha separado. Pergunte o que limita o custo de adivinhação e se o layout de armazenamento oferece alguma impressão digital de chave mais barata.
4. O consumo de armazenamento muda com a contagem de cofres? Se sim, a análise de disco pode estimar a contagem de cofres.
5. O app pode enumerar cofres? Se o app pode mostrar uma lista dos seus cofres, essa lista existe no dispositivo e é descobrível.

Perguntas Frequentes

A negabilidade plausível é legal?

Usar criptografia com negabilidade plausível é legal na maioria das democracias. Não há lei contra ter dados criptografados no seu dispositivo cuja existência não pode ser provada. Em algumas jurisdições (Reino Unido sob RIPA, Austrália sob a Lei de Assistência e Acesso), as autoridades podem obrigar a divulgação de chaves de criptografia. A questão legal é se obrigar a divulgação de uma chave para dados cuja existência não pode ser provada é executável. Isso permanece uma área jurídica em desenvolvimento.

Ferramentas forenses podem detectar negabilidade plausível?

Um examinador que obtém o contêiner do aplicativo Vaultaire pode detectar armazenamento criptografado. Os arquivos raiz vault_index_*.bin ficam em um conjunto de 64 ou mais com arquivos de cobertura, e as páginas e as arenas de armazenamento de todos os cofres ficam em uma única pasta com nomes aleatórios. Os nomes dos arquivos não mostram a qual cofre cada arquivo pertence, mas a contagem de arenas limita quantos cofres têm arquivos, então um examinador ainda pode estimar quantos cofres você tem. Os arquivos não divulgam nomes de cofres ou conteúdos de texto simples. O design atual, portanto, oculta os cofres da navegação normal, e não de todas as inspeções de armazenamento forense.

A negabilidade plausível funciona contra um estado-nação determinado?

AES-256-GCM fornece um forte limite de criptografia de conteúdo quando chaves, nonces e implementação são sólidos. Isso não torna o layout de armazenamento atual do Vaultaire negável a um examinador do estado-nação: um examinador ainda pode estimar a contagem de cofres locais, e um comprometimento ao vivo pode ter como alvo padrões, chaves, visualizações ou exportações enquanto um cofre está aberto. O recurso atual separa os diferentes padrões abertos na interface; não promete que um determinado examinador não possa provar a existência de índices locais adicionais.

Qual é a diferença entre negabilidade plausível e cofres ocultos?

Cofres ocultos são cofres que não são visíveis na interface normal do aplicativo. A negação criptográfica forte é a propriedade separada de que os dados ocultos não podem ser distinguidos do armazenamento preenchido não utilizado. Vaultaire atualmente fornece a primeira propriedade. Seu formato de armazenamento atual ainda permite que um examinador com acesso ao contêiner de aplicativo estime a contagem de cofres, então não fornece a segunda.

Posso usar negabilidade plausível com backups em nuvem?

O Vaultaire grava manifestos de backup criptografados e blocos de arquivos criptografados preenchidos no banco de dados privado do CloudKit do usuário. Nomes aleatórios para registros de dados, preenchimento de blocos de 10 MB e registros chamariz reduzem a divulgação direta de conteúdo. A contagem de registros, o volume total, o tempo e os padrões de atualização permanecem metadados de serviço visíveis, portanto, o backup na nuvem não cria um armazenamento de informações de tamanho constante e teoricamente negável.

Conclusão

A forte negação de armazenamento visa impedir que um examinador distinga dados ocultos de espaço livre preenchido em um armazenamento criptografado estático. A maioria dos aplicativos que reivindicam esse recurso oferece modos de isca cosmética com sinalizadores de configuração detectáveis. Atender à definição mais forte requer um modelo de ameaça preciso, nenhum registro de cofre contável, nenhum sinalizador de configuração revelador, preenchimento estável e registros criptografados que não exponham quais slots são reais.

O Vaultaire usa padrões configurados para separar cofres criptografados e mantém os nomes e conteúdos dos cofres fora da interface bloqueada. Seu layout de armazenamento atual ainda permite que a inspeção do contêiner de aplicativos estime a contagem de cofres. Trate isso como ocultação no nível da interface apoiada por criptografia autenticada, não como prova de que não existe nenhum cofre adicional.