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 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:
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.
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.
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.
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.
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.
| Propriedade | Engodo Cosmético | Negabilidade Genuína |
|---|---|---|
| Dados separados por credencial | Sim | Sim |
| Sem registro de cofres | Não (banco de dados rastreia cofres) | Sim |
| Sem sinalizadores de configuração | Não (interruptor de engodo armazenado) | Sim |
| Preenchimento de armazenamento | Raramente | Sim |
| Oculta armazenamento alternativo em uma imagem estática | Não | Sim, dentro do modelo de ameaça de armazenamento declarado |
| Arquitetural vs. recurso | Interruptor de recurso | Propriedade arquitetural |
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 atual de um arquivo de índice por cofre do Vaultaire não fornece essa garantia para um examinador com acesso ao contêiner de aplicativo.
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 expõe um índice local contável por cofre configurado.
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
Cofre 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 um salt para todo o dispositivo. Uma chave configurada autentica seu índice criptografado e desembrulha 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 é enumerável. Vaultaire armazena um vault_index_<fingerprint>.bin arquivo por vault. A impressão digital não revela o padrão ou o nome do cofre, mas alguém com acesso ao contêiner do aplicativo pode contar os arquivos de índice. AES-GCM a autenticação e o nome do arquivo determinístico também fornecem um teste offline para chaves de vault 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. O contêiner do aplicativo local não reserva um conjunto fixo de slots de cofre reais e fictícios, portanto, o armazenamento total e a contagem de índices podem expor a estrutura.
Existe estado de recuperação e coação. Vaultaire mantém informações de recuperação em um AES-GCM criptografado Keychain banco de dados. Modo de coação remove índices locais e mapeamentos de recuperação para cofres sem coação e isola esse dispositivo da sincronização. Ele não apaga backups na nuvem, cópias em dispositivos peer ou todos os blobs criptografados compartilhados, 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. Um futuro catálogo de capacidade fixa com slots reais e fictícios indistinguíveis seria necessário para ocultar a contagem de cofres locais de um instantâneo de contêiner de aplicativo off-line.
Como Avaliar Afirmações de Negabilidade
Quando um app afirma negabilidade plausível, pergunte:
- Existe um interruptor de "modo de engodo"? Se sim, é cosmético. Um examinador forense pode encontrar o interruptor.
- O app tem uma lista de cofres ou banco de dados? Se sim, a existência do cofre é provável.
- 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.
- O consumo de armazenamento muda com a contagem de cofres? Se sim, a análise de disco pode estimar a contagem de cofres.
- 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 e contar vault_index_*.bin arquivos. Os arquivos não divulgam nomes de cofres ou conteúdos de texto simples, mas sua contagem revela o número de índices criptografados locais. 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: a contagem do índice local permanece visível 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 um arquivo de índice por cofre não fornece o segundo contra um examinador com acesso ao contêiner de aplicativo.
Posso usar negabilidade plausível com backups em nuvem?
O Vaultaire grava manifestos de backup criptografados e blocos de arquivos criptografados preenchidos na memória privada do usuário. CloudKit banco de dados. Nomes de registros aleatórios, tipos de registros uniformes, 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.
Cofre 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 expõe uma contagem de índice criptografada à inspeção do contêiner de aplicativos. 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.