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 funcionamE 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 novidadesO 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 roteiroPodemos 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 ForensicsVê-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.
Cada pedido é analisado antes de o acesso ser concedido.