TECNOLOGIA

Como funciona o registo, para quem quer a mecânica.

Nada aqui é leitura obrigatória. O resto do sítio diz em palavras simples o que o registo faz; esta página nomeia os mecanismos, e a página de segurança enuncia os controlos.

Percorrer o processo num sistema em funcionamento Os controlos, nomeados
$ openssl ts -verify -in deal_8821.tsr -data evidence_pack.zip
Verification: OK

Verificação do selo temporal, executada sobre um dossiê real. Algo que um revisor executa, e não uma captura de ecrã que se pede a alguém que aceite.

A PROVA PRIMEIRO
e4b1f2…⟶9c07ad…⟶53fe21… ✓ COM SELO TEMPORAL INDEPENDENTE✓ ASSINADO

O registo é verificado na própria máquina do revisor.

Um dossiê de prova é verificado com ferramentas comuns e gratuitas, na própria máquina do revisor. A integridade, a atribuição e o tempo são as três coisas que um auditor ou um tribunal pede a um registo, e a verificação estabelece-as de forma estreita: os documentos não foram alterados, vieram de onde dizem vir, e existiam no momento indicado, porque o selo temporal provém de uma autoridade independente. Saber se o registo satisfaz um determinado padrão legal continua a ser questão do advogado; a integridade e a data não dependem da palavra de ninguém, e nada na verificação precisa da autorização da Exedra Gate.

  • Encadeado por ordem. Se algo for alterado, inserido ou reordenado depois, o próprio registo mostra-o.
  • Com selo temporal independente. Um relógio que não é nosso estabelece o quando, no formato RFC 3161 que as ferramentas comuns já verificam. Falha fechada por conceção: quando o selo temporal é exigido, sem selo temporal válido não há dossiê de prova, porque o sistema recusa produzir um registo que não consegue provar.
  • Assinado na origem: quem o produziu, e que está íntegro, verificável offline, anos depois de fechada a operação.
Um registo, da ação ao revisor

Uma ação é registada à medida que acontece, e a Exedra Gate produz a sua impressão digital. Cada entrada leva consigo a impressão digital da entrada anterior, de modo que uma alteração, uma inserção ou uma reordenação deixa a cadeia de coincidir. O conteúdo do dossiê é listado num manifesto e assinado na origem, estabelecendo quem o produziu e que está íntegro. O dossiê assinado recebe depois um selo temporal de uma autoridade que não é a Exedra Gate, no formato RFC 3161, e é isso que estabelece quando existiu. O dossiê fecha, e falha fechado: onde o selo temporal é exigido, sem selo temporal válido não há dossiê de prova nenhum. Anos depois, qualquer revisor executa sete verificações independentes offline com ferramentas comuns e gratuitas. Uma cadeia de hash deteta a adulteração; não a impede.

As três impressões digitais são as que estão impressas no topo desta secção, porque isto é um registo e não um segundo exemplo. O que a última linha estabelece é estreito e verificável: os documentos não foram alterados e existiam naquele momento. Uma cadeia de hash é um mecanismo com deteção de adulteração, e não dizemos que a impede.
O VERIFICADOR, NOMEADO

exedragate-verify

Uma página que continua a dizer «verifica offline» deve ao leitor a coisa que faz a verificação. Tem nome. O exedragate-verify é um verificador autónomo de linha de comandos que executa sete verificações independentes sobre um dossiê exportado: a cadeia de hash recalculada de ponta a ponta, a assinatura de origem, o selo temporal independente, a coerência interna do dossiê, o seu próprio evento de geração, a atribuição de cada ação, e o PDF confrontado com o manifesto do dossiê. Não estabelece nenhuma ligação de rede, e as âncoras de confiança da autoridade de selo temporal são distribuídas dentro dele. Está disponível a pedido, tanto para clientes como para quem os fiscaliza, e o selo temporal também se verifica com o OpenSSL comum, pelo que nada assenta nas nossas ferramentas.

Os mecanismos exatos, nomeados → Segurança

◲ Visual · coming soon Verificação de um dossiê de prova evidence-verify
O que a cadeia faz efetivamente

Cada entrada leva consigo uma impressão digital da entrada anterior, de modo que uma alteração, uma inserção ou uma reordenação deixa a cadeia de coincidir. Entrada um: uma ação é registada, impressão digital e4b1f2. A entrada dois leva a impressão digital anterior e a sua, 9c07ad. A entrada três leva a impressão digital anterior e a sua, 53fe21. O dossiê recebe depois um selo temporal de uma autoridade independente e é assinado na origem, para que um revisor possa confirmar offline que não foi alterado e que existia naquele momento. Uma cadeia de hash deteta a adulteração; não a impede.

Altere, insira ou reordene o que for a meio e as impressões digitais deixam de coincidir, e o registo mostra-o. Isso é deteção, não prevenção. Uma cadeia de hash é um mecanismo com deteção de adulteração, e não dizemos que a impede.

Para além da memória.

SEGURANÇA, NOMEADA

Mecanismos, nomeados. Não adjetivos.

Isolamento entre clientes Segurança ao nível da linha do Postgres em todas as tabelas com âmbito de cliente. A separação é imposta na base de dados, e não na aplicação.
Autenticação forte Iniciar sessão exige um telemóvel, e não apenas uma palavra-passe: hoje uma aplicação de autenticação, e passkeys ligadas ao dispositivo já disponíveis para assinar em mobilidade. Sem códigos de uso único por SMS ou e-mail, os canais que os reguladores estão a eliminar.
Prova em falha fechada Quando o selo temporal é exigido, sem selo temporal válido não há dossiê de prova. O sistema recusa produzir um registo que não consegue provar.
Proteção de dados Concebida para suportar as obrigações ao abrigo do RGPD, da Lei suíça revista da Proteção de Dados, e de outros regimes regionais, incluindo os direitos de retificação das pessoas nomeadas num rastreio.
Verificabilidade offline Os dossiês de prova verificam-se com ferramentas comuns, independentemente dos servidores da Exedra Gate.
O que fica no registo de prova, e o que não fica Os documentos, as assinaturas e os acessos a documentos fazem parte do registo assinado e datado. As mensagens entre as partes não fazem, e não as descrevemos como prova.
Residência dos dados Nuvem gerida na região, hoje. A instalação na jurisdição e em nuvem soberana é delimitada e entregue como um mandato de implementação.

Os documentos publicados por detrás desses mecanismos.

Cada entrada nomeia o documento que um dos mecanismos acima implementa, e o organismo que o emitiu. Nomear um referencial significa que a plataforma foi concebida de acordo com os requisitos publicados desse referencial. Não significa que a Exedra Gate seja licenciada, supervisionada ou recomendada por qualquer autoridade.

  • EU / CH RGPD e a Lei suíça revista da Proteção de Dados Isolamento de cada cliente imposto na própria base de dados, com prazos de conservação definidos e um procedimento documentado para retificar um registo. Regulamento (UE) 2016/679; Lei Federal da Proteção de Dados, SR 235.1
  • EU Critérios do eIDAS para a assinatura avançada (art. 26.º) Uma assinatura ligada de forma inequívoca ao seu signatário e ao documento, de modo que qualquer alteração posterior a um deles se torne detetável. Avançada, não qualificada. Regulamento (UE) n.º 910/2014, art. 26.º
  • IETF Selos temporais nos termos da RFC 3161 A hora inscrita no registo provém de uma autoridade independente, e não de nós. Prova admissível do momento em que um documento existiu. Time-Stamp Protocol (TSP), RFC 3161
  • IRTF / NIST Ed25519 e SHA-256 Algoritmos publicados, para que um dossiê de prova possa ser verificado com ferramentas comuns por alguém que não confie em nós. Edwards-Curve Digital Signature Algorithm (EdDSA), RFC 8032; Secure Hash Standard (SHS), FIPS 180-4
  • W3C WCAG 2.1 AA Auditado contra estes critérios com o axe, página a página, que é o que uma avaliação de contratação pública ou institucional exige. Diretrizes de Acessibilidade para o Conteúdo da Web 2.1, Nível AA

O que significa nomear um referencial →

◲ Visual · coming soon O rasto de auditoria, tal como um revisor o vê tech-audit-trail
O vocabulário, definido.
Todos os termos usados acima estão definidos numa frase cada na página de segurança, a par dos controlos que um responsável de compliance procura, e dos comandos de verificação que um revisor executa de forma independente.