Como verificar os seus registos.
Não é preciso ler esta página para usar o serviço. O restante site explica em linguagem simples o que faz o registo. Esta página identifica os mecanismos e a página de segurança descreve os controlos.
Verificação de carimbo temporal executada num pacote real. É um comando que o revisor executa, não uma imagem que lhe pedimos que aceite.
O registo é verificado no computador do próprio revisor.
Um pacote de provas pode ser verificado com ferramentas padrão gratuitas no computador do revisor. Integridade, atribuição e tempo são três questões que um auditor ou tribunal coloca a um registo. A verificação estabelece propriedades técnicas concretas: os documentos não foram alterados, a origem corresponde à indicada e os documentos já existiam no momento registado, atestado por uma autoridade independente. Se o registo satisfaz um requisito legal específico cabe aos assessores jurídicos determinar. A integridade e a data não dependem da nossa palavra e a verificação não exige autorização do Exedra Gate.
- Encadeado por ordem. Se algo for alterado, inserido ou reordenado depois, a verificação da cadeia revela-o.
- Com carimbo temporal independente. Um relógio externo estabelece quando, no formato RFC 3161, verificável com ferramentas padrão. O sistema falha de forma fechada: quando o carimbo temporal é obrigatório, sem um carimbo válido não há pacote de provas, pois o sistema recusa produzir um registo que não consegue comprovar.
- Assinado na origem: quem o produziu e se permanece íntegro, verificável sem ligação à rede anos depois do fecho da transação.
Uma ação é registada quando ocorre e o Exedra Gate calcula a sua impressão digital. Cada entrada inclui a impressão digital da anterior, pelo que uma alteração, inserção ou reordenação quebra a correspondência da cadeia. O conteúdo do pacote é enumerado num manifesto e assinado na origem, permitindo verificar quem o produziu e se permanece íntegro. O pacote assinado recebe depois um carimbo temporal de uma autoridade diferente do Exedra Gate, no formato RFC 3161, que estabelece o momento em que já existia. O pacote é concluído e o sistema falha de forma fechada: quando o carimbo temporal é obrigatório, sem carimbo válido não há pacote de provas. Anos depois, qualquer revisor executa sete verificações independentes sem ligação à rede, com ferramentas padrão gratuitas. Uma cadeia de hashes deteta adulterações; não as impede.
exedragate-verify
Quando uma página afirma que o pacote pode ser verificado sem ligação à rede, deve identificar a ferramenta que permite fazê-lo. exedragate-verify é um verificador autónomo de linha de comandos que executa sete verificações independentes num pacote exportado: recalcula a cadeia de hashes de ponta a ponta, verifica a assinatura de origem, o carimbo temporal independente, a consistência interna do pacote, o evento da sua geração, a atribuição de cada ação e a correspondência entre o PDF e o manifesto. Não estabelece ligação à rede e inclui as âncoras de confiança da autoridade de carimbo temporal. Está disponível mediante pedido para clientes e para quem examina os seus registos. O carimbo temporal também pode ser verificado com OpenSSL padrão, pelo que a verificação não depende apenas da nossa ferramenta.
Cada entrada inclui a impressão digital da anterior. Uma alteração, inserção ou reordenação quebra a correspondência da cadeia. A primeira entrada regista uma ação e tem a impressão digital e4b1f2. A segunda inclui a impressão anterior e a sua própria, 9c07ad. A terceira inclui a anterior e a sua própria, 53fe21. O pacote recebe depois um carimbo temporal de uma autoridade independente e é assinado na origem, permitindo verificar sem ligação à rede que permanece íntegro e já existia naquele momento. Uma cadeia de hashes deteta adulterações; não as impede.
Beyond memory.
Mecanismos identificados, não adjetivos.
Os documentos publicados por trás desses mecanismos.
Cada entrada identifica o documento publicado que fundamenta um mecanismo acima e a entidade que o emitiu. Citar um quadro normativo significa que a plataforma foi concebida tendo em conta os seus requisitos publicados. Não significa que o Exedra Gate tenha licença, supervisão ou apoio de qualquer autoridade.
- UE / CH RGPD e Lei Federal de Proteção de Dados suíça revista Isolamento entre clientes aplicado na própria base de dados, com prazos de conservação definidos e um procedimento documentado para corrigir um registo. Regulamento (UE) 2016/679; Lei Federal sobre Proteção de Dados, SR 235.1
- UE Critérios eIDAS para assinatura eletrónica avançada (artigo 26.º) Uma assinatura ligada de forma única ao signatário e ao documento, para que alterações posteriores sejam detetáveis. Avançada, não qualificada. Regulamento (UE) n.º 910/2014, Artigo 26
- IETF Carimbo temporal RFC 3161 O momento registado vem de uma autoridade independente, não de nós. É um elemento de prova admissível de que o documento existia nesse momento. Protocolo de Carimbo Temporal (TSP), RFC 3161
- IRTF / NIST Ed25519 e SHA-256 Algoritmos publicados, para que alguém que não confia em nós possa verificar um pacote de provas com ferramentas comuns. Algoritmo de Assinatura Digital de Curva de Edwards (EdDSA), RFC 8032; Norma de Hash Seguro (SHS), FIPS 180-4
- W3C WCAG 2.1 Nível AA Avaliado com axe, página a página, como é exigido numa análise para contratação pública ou institucional. Diretrizes de Conteúdo Web 2.1, Nível AA