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

A negação plausível em encriptação é uma propriedade que permite ao utilizador negar de forma credível a existência de certos dados encriptados. O armazenamento encriptado parece conter apenas os dados que o utilizador decide revelar. Um perito forense, uma pessoa sob coerção ou qualquer pessoa com acesso físico ao dispositivo não consegue provar a existência de dados ocultos adicionais. Não é uma funcionalidade de ocultação, é uma propriedade matemática do próprio esquema de encriptação.

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

Em linguagem corrente, negação plausível significa que algo pode ser negado de forma credível. Em criptografia significa que a existência de dados ocultos não pode ser provada, nem por peritos com tempo ilimitado e ferramentas forenses.

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. Cada credencial abra um conjunto de dados válido. Não existe erro de "palavra-passe errada" para credenciais que abrem cofres ocultos. Qualquer combinação válida de padrão/palavra-passe produz uma chave que desencripta algo com significado.
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

Nos Estados Unidos, a Proteção Aduaneira e de Fronteiras (CBP) pode legalmente exigir acesso ao dispositivo nas fronteiras. Os tribunais decidiram que agentes de fronteira podem exigir palavras-passe para revistas ao dispositivo. Neste cenário, um utilizador com negação plausível real pode fornecer um padrão ou palavra-passe que abre um cofre com conteúdo inocente. O perito não consegue provar que existem cofres adicionais.

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 conhecimentos técnicos pode tentar extrair dados de um telemóvel roubado. Com negação plausível real, o conjunto de dados encriptados não revela nada sobre o número de cofres, o seu conteúdo nem a sua finalidade.

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.

Como o Vaultaire implementa negação plausível

O Vaultaire alcança negação criptográfica real através da conceção arquitetural:

Cada padrão abre um cofre diferente. A grelha 5×5 gera uma chave via PBKDF2. Um padrão diferente gera uma chave diferente. Não existe chave mestra, lista de cofres nem forma de a aplicação calcular cofres existentes. Desenhar um padrão sem cofre associado simplesmente abre um espaço de cofre vazio, não existe erro de "padrão errado".

Sem registo de cofres. A aplicação não tem uma base de dados com lista de cofres, os seus nomes nem as suas contagens. Todos os dados encriptados existem num único conjunto de armazenamento indiferenciado. Um perito forense com acesso ilimitado ao sistema de ficheiros do dispositivo encontra blocos encriptados sem marcadores estruturais que indiquem limites de cofres.

Dados de enchimento no armazenamento. O tamanho total do armazenamento permanece constante independentemente do número de cofres ou ficheiros, dificultando a análise de utilização de disco.

Sem sinalizadores de configuração. Não existe nenhum ficheiro de definições, registo de preferências nem entrada de base de dados que revele quantos cofres existem ou se um padrão específico foi usado.

Modo de emergência. Os utilizadores podem marcar um cofre como cofre de emergência. Desenhar esse padrão abre o cofre normalmente e simultaneamente destrói de forma silenciosa e irreversível os sais criptográficos de todos os outros cofres. A destruição é irreversível, não deixa rasto forense e leva menos de um segundo.

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. Existe um erro de "palavra-passe errada"? Se sim, a aplicação consegue distinguir entre credenciais válidas e inválidas, o que significa que armazena algo que verifica as credenciais.
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