Perguntas e respostas

As perguntas que surgem, respondidas como são feitas.

São as objeções reais, nas palavras em que chegam. Quando a resposta não é a que se esperava, está escrita assim de propósito.

O que o software é

O que é que o VERA faz, de facto?

O VERA é software de análise forense para dispositivos apreendidos. Recebe uma extração Full File System em bruto, constrói a estrutura, e o examinador valida-a. O examinador pergunta depois ao lacre em linguagem simples. A pesquisa por sentido cobre o texto e o que uma imagem mostra. O assistente responde, e cada afirmação é um clique que abre a linha de origem. Corre sem ligação, no posto de trabalho ou num servidor que o serviço aloja.

Começa onde a aquisição acaba. Não extrai dispositivos e não substitui a ferramenta que o faz.

Já temos Cellebrite ou AXIOM. Porque havíamos de acrescentar isto?

A maior parte dos utilizadores do VERA tem um, e fica com ele. O VERA trabalha a partir da extração em bruto e não a partir do resultado deles, por isso cobre o que a ferramenta existente não descodificou, incluindo versões de aplicações que mudaram desde a última publicação.

Os dois correm um ao lado do outro. Nada é migrado e nada é retirado de serviço.

Precisa que o nosso conjunto de aquisição esteja instalado, ou licenciado?

Não. O VERA lê a extração diretamente. Não há licença a montante, nem dongle, nem instalação acompanhante, o que também significa que se pode ler um lacre chegado de um serviço que usa uma ferramenta que não é vossa.

Que sistemas operativos e dispositivos cobre?

O VERA trabalha sobre a extração em bruto e não sobre um dispositivo, por isso a pergunta de que telemóvel suporta não se lhe aplica de facto. O que a ferramenta de aquisição produziu, de qualquer sistema operativo, é o que o VERA lê.

A cobertura das aplicações dentro dessa extração é a pergunta interessante, e está respondida na página da cobertura automática.

É um serviço na nuvem?

A instalação que descrevemos neste sítio corre na vossa infraestrutura: modelos no posto de trabalho ou num servidor que o serviço aloja. Sem telemetria. Quando um posto de trabalho tem rede, o VERA confirma a chave de licença connosco (o identificador da chave, o código do posto de trabalho e a versão, nunca dados do caso); sem rede funciona como de costume.

Existe uma colocação na VERA Forensics para organizações que decidem não correr os modelos. Está desligada por predefinição, envia o texto de um pedido de IA, nunca os ficheiros do caso, e é paga a partir do saldo da conta.

Cobertura e mapeamentos

Então os nossos examinadores têm de construir estes mapeamentos?

Não. As aplicações conhecidas são mapeadas automaticamente na importação. O que é desconhecido é mapeado pelo próprio software, e o examinador revê o resultado.

O editor visual existe para que os vossos examinadores mantenham o controlo completo e possam corrigir o que for, e não porque se espere que façam o trabalho.

O que acontece quando uma aplicação é atualizada e a disposição do armazenamento muda?

É tratado da mesma forma que uma aplicação que ninguém viu antes, e é muito mais frequente. O VERA gera um mapeamento novo para a estrutura alterada e o examinador valida-o. Não se fica à espera de que outra pessoa repare na mudança e publique uma correção.

Os dados dos nossos casos entram na vossa biblioteca?

Não. A biblioteca guarda definições de leitura, que descrevem como ler a estrutura de dados de uma dada aplicação. Nunca guarda prova.

Está alojada na vossa infraestrutura, e decidem com quem é partilhada, incluindo com ninguém.

E se o mapeamento gerado estiver errado?

Vê-se antes de ser aplicado. O que chega ao examinador é uma pré-visualização sobre os registos reais e não uma especificação para ler, por isso um mapeamento que entendeu mal a fonte é em geral óbvio de imediato.

O examinador corrige-o no editor visual ou descarta-o. Nada entra no caso enquanto uma pessoa não o aceitar.

Verificação, IA e o tribunal

Como sabemos que a IA não está a inventar?

Não têm de acreditar na palavra dela. Cada afirmação liga ao ficheiro, à tabela e à linha exatos por detrás, e um clique põe-os na fonte.

O assistente propõe e o vosso examinador decide. Nada entra num relatório sem verificação.

O VERA decide quem é suspeito?

Não. Um sinal diz que um traço escrito parece comportamento suspeito, com um domínio e um nível, e mostra as palavras por detrás. É uma pista para o examinador, não uma constatação, e nenhum sinal entra num relatório por si.

A 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 a decisão está marcada como gerada por IA. O examinador pode pôr qualquer sinal de lado, e o assistente diz o que não conseguiu ver.

Como os sinais funcionam
E a linguagem codificada noutras línguas, ou uma palavra usada inocentemente?

O léxico cobre cerca de cinquenta idiomas e reconhece plurais, acentos, letras esticadas, grafias disfarçadas e emojis. Uma palavra comum como “plug” ou “snow” só conta ao lado de um preço, de uma quantidade ou de outra palavra do mesmo domínio, e a revisão por IA lê-a em contexto antes de o nível ser mantido.

Ainda assim falhará algum comportamento suspeito, e assinalará algumas mensagens inocentes. É por isso que uma sinalização é uma pista, e por isso cada uma abre a mensagem de onde vem.

Isto é admissível em tribunal?

A admissibilidade assenta na verificação, pelo examinador, dos dados de origem, e não na ferramenta. O VERA está construído para que verificar leve um clique em vez de uma tarde.

Não substitui o juízo do examinador. Torna praticável exercer esse juízo à escala.

O que é que o rasto de auditoria contém, de facto?

Cada ação que o assistente toma e cada resultado que recebe é escrito num registo guardado dentro da vossa instalação. Os registos trazem a proveniência desde a ingestão até à apresentação, e os registos recuperados trazem o estado de recuperação, para que uma linha obtida por carving nunca seja apresentada como uma linha viva.

A defesa pode contestar uma constatação vinda do assistente?

Pode contestar qualquer constatação, e deve poder fazê-lo. O que o VERA fornece é o material com que responder: o registo original, o seu caminho, e o facto de um examinador o ter verificado antes de entrar no relatório.

Uma constatação que não pudesse ser seguida até um registo de origem também não é uma que quiséssemos num relatório.

Segurança e soberania

Precisaríamos de uma revisão de segurança.

Esperá-la-íamos. A arquitetura torna-a mais simples do que a maioria: sem telemetria, sem acesso remoto do fornecedor, e sem dados do caso a sair do vosso perímetro salvo se escolherem a IA alojada ou a tradução. À parte a verificação da licença, que corre quando o posto de trabalho tem rede, o VERA só se liga a serviços exteriores quando a sua ligação à Internet do VERA está ligada (desligada por predefinição). Alcança então as transferências de modelos que iniciam e o mapa de fundo, que é o OpenStreetMap salvo se escolherem apenas o pacote de mapas local. A única exceção é o catálogo da biblioteca pública, que é lido mesmo com a ligação desligada e não leva dados do caso.

As perguntas que normalmente chegam numa revisão estão respondidas de antemão na página da soberania. Responderemos ao questionário que usarem, e o que não estiver coberto é acrescentado a essa página.

Podem aceder à nossa instalação?

Não. Não há túnel de apoio remoto nem acesso de manutenção: não podemos ler, alterar nem alcançar os vossos casos. A única coisa que podemos fazer é retirar uma chave de licença, e um posto de trabalho com rede para então na verificação de licença seguinte. É também por isso que a documentação da instalação importa: o sistema tem de correr sem nós porque não podemos entrar nele.

Que modelos de IA usa?

Os modelos correm no vosso próprio equipamento e podem ser substituídos por vós. Nomear publicamente os modelos concretos seria um nível de pormenor que nenhum fornecedor desta categoria publica, e envelheceria mal, porque o ponto do desenho é que um modelo pode ser trocado sem tocar no cliente.

Numa avaliação técnica sob um quadro de confidencialidade esta é uma pergunta razoável e tem uma resposta direta.

Liga para casa para o licenciamento?

Sim, quando o posto de trabalho tem rede, e apenas para a licença: o VERA envia o identificador da chave, o código do posto de trabalho e a sua versão, e fica a saber se a chave ainda é válida. Nunca dados do caso. Uma chave é ativada para um posto de trabalho, em linha ou, sem rede, com um código introduzido na vossa conta. Um posto de trabalho que nunca tem rede corre com a sua chave até à data da chave.

A empresa, a contratação e a continuidade

São uma equipa pequena.

Sim. É por isso que a instalação está totalmente documentada, que o software corre sem nós, e que estamos a ter esta conversa convosco em vez de construir uma organização comercial.

Se a continuidade for uma preocupação, o depósito do código-fonte pode entrar no contrato, juntamente com uma licença perpétua sobre a versão instalada.

O que acontece se desaparecerem?

Uma pergunta justa, e a resposta honesta tem duas metades. Contratualmente, o depósito do código-fonte e uma licença perpétua sobre a versão instalada estão ambos disponíveis. Na prática, uma instalação que não exige ligação à Internet nem acesso do fornecedor não deixa de funcionar porque o fornecedor deixou.

Não podemos contratar a uma empresa deste tamanho.

Abaixo do limiar de adjudicação direta não é exigido procedimento formal, e é exatamente por isso que proporíamos um piloto a essa escala e não um contrato grande.

Se o vosso serviço tem um requisito de dimensão do fornecedor que um piloto não resolve, digam-no cedo. É um constrangimento real e preferimos sabê-lo antes de qualquer um de nós gastar tempo.

Enviem-nos os preços.

Podemos. Depende da forma da instalação, por isso é uma conversa curta e não uma página neste sítio.

A estrutura está publicada: uma licença anual por lugar. Um perito independente encomenda um lugar em linha depois de aprovado; um serviço com vários lugares funciona ao abrigo de um contrato, com modalidades de piloto disponíveis. O que sugeriríamos primeiro é um piloto pequeno o suficiente para que a contratação não seja a parte difícil.

Que apoio e formação vêm com isto?

Apoio à instalação durante a instalação, documentação escrita da instalação, e uma sessão de formação para os examinadores que o vão usar. O apoio depois é direto connosco, por e-mail, sem uma camada de bilhetes pelo meio.

Não vamos descrever um balcão de apoio de vinte e quatro horas que não existe. Se o vosso serviço exige um por contrato, é uma conversa real a ter antes de qualquer outra coisa.

Com que frequência muda o VERA?

Uma versão nova sai em geral de poucos em poucos dias. Cada uma que muda alguma coisa para o examinador está escrita em linguagem simples na página Novidades, com o trabalho interno de fora.

Os clientes transferem a versão mais recente a partir da conta. Uma versão já instalada num posto de trabalho sem ligação continua a funcionar como está.

Ver as novidades
O que vem a seguir?

O roteiro lista o que estamos a construir, o que vem a seguir e o que ainda estamos a estudar, sem datas. Tudo o que nele está está em desenvolvimento e é descrito como tal, neste sítio e numa demonstração.

A ordem move-se com o que os serviços pedem. Se o vosso laboratório precisa de algo que não está lá, digam-no.

Ver o roteiro
Podemos falar com um utilizador existente?

Depende do que a instituição que instalou está disposta a ver dito em público, e não poremos palavras na boca dela neste sítio. Perguntem durante a demonstração e diremos exatamente em que ponto isso está nesse momento.

Algo sem resposta aqui?

Se a vossa pergunta falta, escrevam-nos. A resposta acaba em geral nesta página depois, o que é uma boa razão para perguntar.

Escrever à VERA Forensics

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.