Negação plausível em aplicações: o que é e porque é importante

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 negação plausível em aplicações funciona, qual a diferença entre negação criptográfica real e modos de distração cosméticos, cenários reais onde isto é relevante, e como avaliar afirmações de negação plausível.

O que significa negação plausível em encriptação

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 surgiu na encriptação de discos. O TrueCrypt (e o seu sucessor VeraCrypt) introduziu o volume oculto: um volume encriptado dentro de outro volume encriptado. Uma palavra-passe revela o volume exterior com conteúdo inocente. Uma palavra-passe diferente revela o volume interior oculto com ficheiros sensíveis. Um perito forense não consegue determinar se o volume oculto existe, porque o espaço não utilizado no volume exterior é preenchido com dados aleatórios indistinguíveis de dados encriptados.

Para aplicações, a negação plausível significa que credenciais diferentes (palavras-passe, PINs, padrões) abrem conjuntos de dados diferentes e não existem metadados, registos, sinalizadores de configuração nem artefactos estruturais que revelem a existência de conjuntos de dados adicionais.

Negação real vs. modo de distração cosmético

Esta é a distinção fundamental que a maioria das aplicações resolve mal.

Modo de distração cosmético (não é negação real)

Muitas aplicações cofre oferecem uma funcionalidade de "distração" ou "PIN falso". Define-se um PIN secundário que abre um espaço separado com outras fotografias. O problema: estas aplicações tipicamente armazenam um sinalizador booleano, um registo de base de dados ou um ficheiro de configuração que diz que o modo de distração existe e está configurado.

Um perito forense familiarizado com a aplicação encontra esse sinalizador. Encontrar um modo de distração configurado prova que existem dados ocultos. A negação é cosmética, funciona contra curiosos superficiais mas falha sob exame forense.

Sinais de negação cosmética:

• A aplicação tem um botão "modo de distração" nas definições
• Um ficheiro de configuração armazena se o modo de distração está ativo
• Uma tabela de base de dados contém uma lista de IDs de cofres com indicadores de tipo (primário/distração)
• A estrutura de armazenamento da aplicação muda quando o modo de distração está ativo
• Desinstalar e reinstalar a aplicação revela comportamento diferente se o modo de distração estava configurado

Negação criptográfica real

A negação real é uma propriedade arquitetural, não um botão de funcionalidade. O armazenamento encriptado deve ser concebido de forma a 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. Não exista nenhum registo de cofres. A aplicação não consegue calcular quantos cofres existem. Não há contagem, índice nem lista de IDs de cofres. Um perito forense que examine o armazenamento da aplicação encontra um conjunto indiferenciado de dados encriptados.
3. Nenhum sinalizador de configuração revele cofres ocultos. Não existe nenhum booleano, registo de base de dados nem ficheiro de preferências que indique se existem cofres adicionais.
4. O armazenamento está preenchido com dados de enchimento. A capacidade total utilizada não muda com o número de cofres ou ficheiros. Sem enchimento, um perito poderia estimar o número de cofres pelo volume total de dados encriptados em comparação com o conteúdo visível.
5. Os dados encriptados são indistinguíveis de ruído aleatório. Não existem limites de ficheiros, cabeçalhos nem marcadores estruturais que revelem onde os dados de um cofre terminam e os de outro começam.

Cenários reais onde isto é relevante

A negação plausível não é uma questão teórica. Resolve situações reais documentadas e recorrentes.

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

Violência doméstica e relações coercivas

Alguém numa relação abusiva pode precisar de armazenar provas (fotografias de lesões, mensagens ameaçadoras, documentos legais) num dispositivo que o agressor monitoriza. Se o agressor exigir acesso ao cofre, o utilizador pode abrir um cofre com conteúdo não sensível. Sem negação real, o sinalizador de "modo de distração" na configuração da aplicação revelaria a existência de conteúdo oculto.

Roubo do 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 a proteger fontes, advogados a proteger processos de clientes e ativistas em regimes autoritários enfrentam situações onde o conteúdo do dispositivo pode ser coagido. A negação plausível real fornece credibilidade para negar o acesso a 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 negação plausível

Se uma aplicação afirma ter negação plausível, pergunte:

1. A aplicação tem um botão "modo de distração"? Se sim, é cosmético. O perito forense encontrará o botão.
2. A aplicação tem uma lista ou base de dados de cofres? Se sim, a existência de cofres pode ser provada.
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 o número de cofres? Se sim, a análise de disco pode estimar o número de cofres.
5. A aplicação consegue listar os cofres? Se a aplicação consegue mostrar uma lista dos seus cofres, essa lista existe no dispositivo e é descobrível.

Perguntas frequentes