Glossário

O vocabulário, sem pressupor que o senhor já o tem.

Definições escritas para quem decide e não para quem já está dentro do domínio. Quando um termo é usado de forma frouxa no setor, diz-se isso em vez de se alisar.

A
Acesso só de leitura

Abrir a prova sem qualquer capacidade de a alterar.

Aceder a um depósito de prova num modo que não pode escrever nele. Protege a integridade do original e remove uma categoria inteira de pergunta numa revisão de segurança e em tribunal.

Admissibilidade

Se um tribunal aceitará a prova, sequer.

A questão de saber se a prova pode ser considerada por um tribunal, que depende de como foi obtida, de como foi manuseada e de se pode ser verificada, e não de qual o produto que a fez aparecer.

Nenhuma ferramenta forense torna a prova admissível. O que uma ferramenta pode fazer é tornar a verificação prática o suficiente para o examinador a realizar de facto.

C
Cadeia de custódia

O historial documentado de quem teve a prova e quando.

O registo que mostra cada pessoa que manuseou um elemento de prova, quando, e o que fez com ele. Uma rutura nessa cadeia é uma das formas mais fiáveis de a prova ser excluída, independentemente do que contém.

O software de análise não mantém a cadeia de custódia física, mas pode sustentá-la ou miná-la em silêncio. O acesso à prova só de leitura e um registo completo de ações são as partes que importam.

Carving

Carving de ficheirosRecuperação de registos apagados

Recuperar registos que foram apagados mas ainda não sobrescritos.

Recuperar dados de espaço não atribuído, diários e outros restos em que um registo foi marcado como apagado mas o conteúdo sobrevive.

Um registo obtido por carving tem de ser sempre apresentado como recuperado e não como vivo, porque os dois têm peso probatório diferente. O VERA marca o estado de recuperação ao lado da proveniência exatamente por esta razão.

Cobertura automática

Cobertura gerada pelo software e não publicada por um fornecedor.

A propriedade de uma aplicação para a qual ninguém implementou suporte poder ainda assim ser lida, porque o software descobre a estrutura e um examinador valida o resultado.

A alternativa, que é a norma do setor, é a cobertura chegar numa publicação do fornecedor e uma aplicação não suportada ser um beco sem saída até isso acontecer.

Controlo de validação humana

Humano no ciclo

Uma aceitação humana obrigatória antes de qualquer coisa gerada ser usada.

Um passo no tratamento que não pode ser saltado: um mapeamento gerado é mostrado ao examinador como uma pré-visualização sobre os dados reais, e não é aplicado ao caso enquanto o examinador não o aceitar.

Importa tanto juridicamente como tecnicamente, porque é o que mantém uma decisão humana no ponto em que um sistema automatizado poderia de outro modo tornar-se o autor de uma constatação.

D
Depósito do código-fonte

Depósito de software

Código-fonte detido por um terceiro contra a falha do fornecedor.

Um acordo em que uma cópia do código-fonte do software é depositada junto de um terceiro independente e libertada ao cliente se ocorrerem condições definidas, como o fornecedor deixar de operar.

É a resposta contratual habitual ao risco de continuidade de comprar a um fornecedor pequeno.

E
Editor de nós

Uma forma visual de corrigir um mapeamento sem escrever código.

Um editor em que uma fonte está de um lado, os campos que uma vista espera estão do outro, e o examinador liga-os, inserindo transformações quando um valor precisa de ser reformatado ou traduzido.

Existe para que os examinadores mantenham o controlo do resultado, não porque se espere que construam mapeamentos de raiz.

Expansão da consulta

Léxico

Pesquisar automaticamente as palavras que o examinador não escreveu.

Alargar uma pesquisa a vocabulário relacionado para que uma consulta de um termo recupere também os sinónimos, as formas de gíria e a linguagem codificada usada no lugar dele. Particularmente relevante no trabalho de estupefacientes e de tráfico, em que o vocabulário muda entre grupos e ao longo do tempo.

Extração Full File System

FFSExtração físicaExtração lógica

Uma cópia completa do sistema de ficheiros de um dispositivo, não um resumo.

Uma aquisição que copia o sistema de ficheiros inteiro de um dispositivo e não o subconjunto que uma aplicação escolhe expor. Inclui bases de dados de aplicações, caches, ficheiros de configuração e traços de sistema, e por isso contém muito mais do que uma extração lógica e leva muito mais tempo a rever.

Abreviada em geral para FFS. É a entrada para a qual o VERA está concebido.

Extração lógica

Uma aquisição parcial limitada ao que o dispositivo entrega.

Uma aquisição que recolhe os dados que as próprias interfaces do dispositivo expõem, em geral contactos, mensagens, registos de chamadas e multimédia. É mais rápida e menos invasiva do que uma aquisição completa do sistema de ficheiros, e falha tudo o que uma aplicação guarda para si.

F
Fila de prova por examinar

Dispositivos apreendidos à espera de capacidade de exame.

A fila de dispositivos apreendidos mas ainda não examinados. Cresce quando o volume de dados por dispositivo sobe mais depressa do que o número de examinadores, que é a posição em que a maior parte dos laboratórios está há vários anos.

G
Geração aumentada por recuperação

RAG

Um sistema de IA que tem de recuperar antes de responder.

Uma abordagem em que um modelo responde a partir de documentos recuperados no momento da consulta e não a partir do que memorizou durante o treino. Abreviada em geral para RAG.

Num contexto forense o valor não está na geração mas na recuperação: a resposta está ancorada a registos concretos, que é o que torna possível citar uma fonte.

I
Indexação multimodal

Tornar imagens e vídeo pesquisáveis pelo que contêm.

Indexar multimédia para que possa ser recuperado pelo conteúdo e não apenas pelo nome do ficheiro, pela data e hora ou pelo hash. Importa sobretudo quando o volume de multimédia é o problema inteiro, e nunca substitui o juízo de um examinador humano sobre o que uma imagem mostra.

Isolado da rede (air-gapped)

Uma rede sem ligação a qualquer rede externa.

Um ambiente isolado física ou logicamente da Internet e de outras redes. Os laboratórios forenses trabalham com frequência assim, o que significa que qualquer software que exija em silêncio uma ligação, inclusive para o licenciamento, é inutilizável ali.

L
Lacre

ScelléPeça de prova

A unidade administrativa em que viaja um elemento de prova apreendido.

Na prática francesa, um scellé: o elemento selado inscrito no caso com a sua própria referência, que é a unidade em torno da qual um exame se organiza. Um caso pode conter muitos lacres, e um lacre pode conter mais de um dispositivo ou suporte de armazenamento.

O VERA organiza o trabalho da mesma forma, para que a estrutura do software corresponda ao procedimento e não o contrário.

Léxico

SinalExpansão da consulta

Um dicionário integrado de gíria criminal com o qual o software lê.

Uma referência de gíria, palavras-código, grafias disfarçadas e emojis usados para drogas, armas, fraude, branqueamento de capitais e outros ilícitos, ligados a conceitos e agrupados por idioma. O VERA usa-o na pesquisa, nos Sinais, e para explicar uma palavra ao examinador ou ao assistente.

Marca vocabulário, não pessoas. Uma palavra na lista é uma razão para olhar, não uma constatação.

Limiar de adjudicação direta

O valor abaixo do qual não é exigido procedimento formal de concurso.

O valor do contrato abaixo do qual um organismo público pode comprar sem correr um procedimento formal de contratação. O número varia por país e por entidade adjudicante.

É relevante aqui porque é em geral a via prática para um primeiro piloto com um fornecedor pequeno.

M
Mapeamento

Uma descrição de como ler uma fonte para uma vista.

Uma definição que diz como o conteúdo de uma dada fonte, por exemplo a base de dados de uma aplicação, deve ser lido e reorganizado nos campos que uma vista espera: uma data e hora, um remetente, um texto de mensagem, uma direção.

No VERA um mapeamento é gerado automaticamente quando a fonte não foi vista antes, revisto por um examinador, e corrigido num editor visual quando é preciso. Não contém prova, apenas a descrição de como ler uma estrutura.

N
Na infraestrutura própria (on-premise)

Autoalojado

A correr em equipamento que o cliente possui e controla.

Software instalado e operado dentro da infraestrutura do próprio cliente e não acedido como um serviço alojado. Para dados de dispositivos apreendidos isto muitas vezes não é uma preferência mas um requisito duro, porque os dados não podem, lícita ou politicamente, ser colocados num ambiente de terceiro.

P
Pesquisa híbrida

Pesquisa semânticaPesquisa de texto integral

Correspondência por palavra-chave e por sentido, fundidas.

Recuperação que corre a pesquisa exata por palavra-chave e a pesquisa por sentido em conjunto e combina os resultados, em vez de escolher uma. A pesquisa por palavra-chave falha tudo o que está formulado de outra forma; a pesquisa por sentido apanha isso e pode derivar.

Correr as duas, com o examinador a controlar o equilíbrio, é mais fiável do que qualquer uma sozinha num trabalho em que o vocabulário é de propósito oblíquo.

R
Rastreabilidade da fonte

Proveniência

A capacidade de ir de uma constatação ao registo que a produziu.

A propriedade de qualquer afirmação num relatório poder ser seguida até um registo concreto: que ficheiro, em que caminho, que tabela, que linha. Sem isso, uma constatação é uma asserção.

No VERA, a proveniência é levada pelo próprio registo e não reconstruída no momento da apresentação, por isso uma citação continua a resolver depois de o mapeamento que a produziu ter sido revisto.

Registo de auditoria

O registo do que o software fez e do que voltou.

Um registo escrito de ações e resultados, guardado para que uma decisão possa ser reconstruída mais tarde. Quando está envolvido um assistente de IA, o registo é o que permite a um tribunal ver a sequência que produziu uma constatação e não apenas a constatação.

S
Sinal

LéxicoControlo de validação humana

Um distintivo num traço que parece comportamento suspeito, com um domínio e um nível.

A marca que o VERA põe num traço escrito que parece comportamento suspeito: um domínio, como drogas ou fraude, e um nível, fraco, médio ou forte. Uma palavra comum, um preço, uma quantidade ou um endereço de pagamento podem bastar. É calculado durante o tratamento do lacre, sem IA.

Um sinal é uma pista, nunca uma constatação. Uma revisão por IA facultativa diz se a passagem parece mesmo suspeita, se as palavras são anódinas, ou se não consegue decidir, e o examinador pode pôr qualquer sinal de lado.

Soberania dos dados

Controlo sobre onde os dados estão e a lei de quem os alcança.

O princípio de os dados permanecerem sob a jurisdição e o controlo da organização que os detém. Para as autoridades públicas europeias isto cobre tanto a localização física dos dados como a questão de saber se algum instrumento jurídico estrangeiro poderia compelir a sua divulgação.

T
Telemetria

Dados de uso que um produto envia de volta ao fornecedor.

Comunicação automática de como o software é usado, enviada ao fornecedor. Normal no software comercial e um problema sério num contexto forense, porque os metadados por si podem revelar atividade de um caso.

O VERA não recolhe nem transmite nenhuma, e é também por isso que o fornecedor não pode observar como uma instalação é usada.

Tempo até à prova

Quanto tempo da apreensão a uma constatação de investigação utilizável.

O intervalo entre a chegada de um dispositivo e um investigador ter algo sobre o qual pode agir. É uma medida mais útil do que o débito de tratamento, porque um dispositivo totalmente tratado e nunca lido não produziu nada.

Vê-lo a correr numa extração real

Um serviço pede uma demonstração, em geral trinta minutos com dados fictícios. Um perito independente pede acesso: uma pessoa analisa o pedido, e a licença anual encomenda-se a partir da conta.

Pedir acesso

Cada pedido é analisado antes de o acesso ser concedido.