Vai al contenuto
TECNOLOGIA

Come verificare le tue registrazioni.

Non serve leggere questa pagina per usare il servizio. Il resto del sito spiega in parole semplici che cosa fa la documentazione; questa pagina descrive i meccanismi e la pagina sulla sicurezza illustra i controlli.

$ openssl ts -verify -in deal_8821.tsr -data evidence_pack.zip
Verifica: OK

Verifica della marca temporale eseguita su un pacchetto reale. Un'operazione che il revisore compie, non uno screenshot che gli si chiede di accettare.

Fornisci ai revisori una documentazione che possano esaminare.Un revisore riceve un'esportazione, controlla quali file contiene e convalida il contenuto protetto. Il verificatore supporta questo esame; le pagine API e MCP spiegano un compito diverso: collegare le registrazioni operative consentite.
EVIDENZE COME PUNTO DI PARTENZA
e4b1f2…⟶9c07ad…⟶53fe21… ✓ MARCATO TEMPORALMENTE DA UN'AUTORITÀ INDIPENDENTE✓ FIRMATO

La verifica avviene sul computer del revisore.

Un pacchetto di evidenze si verifica con strumenti standard gratuiti, sul computer del revisore. Integrità, attribuzione e tempo sono i tre aspetti che un revisore o un giudice chiede di una registrazione. Il controllo li accerta entro limiti precisi: i documenti non sono cambiati, provengono dalla fonte indicata ed esistevano nel momento dichiarato, perché la marca temporale proviene da un'autorità indipendente. Stabilire se la documentazione soddisfi un particolare standard legale spetta ai legali; l'integrità e la data non dipendono dalla parola di nessuno, e la verifica non richiede il permesso di Exedra Gate.

  • Collegati in sequenza. Se in seguito qualcosa viene modificato, inserito o riordinato, la registrazione stessa lo rende visibile.
  • Marcati temporalmente da un'autorità indipendente. Un orologio che non è il nostro stabilisce quando, nel formato RFC 3161 che gli strumenti standard sanno già verificare. Il sistema è progettato per interrompersi in caso di errore: se la marcatura temporale è richiesta, senza una marca valida non viene prodotto alcun pacchetto di evidenze, perché il sistema rifiuta di produrre una registrazione che non può dimostrare.
  • Firmati all'origine: identificano chi li ha prodotti e consentono di verificarne l'integrità offline, anni dopo la chiusura dell'operazione.
Un'unica registrazione, dall'azione a chi la verifica

Un'azione viene registrata mentre avviene e Exedra Gate ne calcola l'impronta. Ogni voce contiene l'impronta della voce precedente, così una modifica, un inserimento o un riordino interrompe la corrispondenza della catena. I contenuti del pacchetto sono elencati in un manifesto e firmati all'origine, per stabilire chi li ha prodotti e che sono integri. Il pacchetto firmato riceve poi una marca temporale da un'autorità diversa da Exedra Gate, nel formato RFC 3161, che stabilisce quando esisteva. Il pacchetto viene finalizzato con comportamento fail-closed: quando la marcatura è richiesta, senza una marca valida non viene prodotto alcun pacchetto. Anni dopo, qualsiasi revisore può eseguire offline sette controlli indipendenti con strumenti standard gratuiti. Una catena di hash rileva le manomissioni, non le impedisce.

Le tre impronte sono quelle riportate all'inizio di questa sezione, perché si tratta della stessa registrazione, non di un secondo esempio. L'ultima riga accerta un fatto circoscritto e verificabile: i documenti non sono cambiati ed esistevano in quel momento. Una catena di hash rende rilevabili le manomissioni; non la descriviamo come a prova di manomissione.
IL VERIFICATORE, PER NOME

exedragate-verify

Una pagina che ripete «verificabile offline» deve indicare lo strumento che consente la verifica. Ha un nome. exedragate-verify è un verificatore autonomo da riga di comando che esegue sette controlli indipendenti su un pacchetto esportato: ricalcolo completo della catena di hash, firma d'origine, marca temporale indipendente, coerenza interna del pacchetto, suo evento di generazione, attribuzione di ogni azione e confronto del PDF con il manifesto del pacchetto. Non si connette alla rete e contiene le ancore di fiducia dell'autorità di marcatura temporale. È disponibile su richiesta sia ai clienti sia a chi esamina il loro lavoro. Anche la marca temporale è verificabile con OpenSSL standard, quindi il controllo non dipende esclusivamente dai nostri strumenti.

I meccanismi esatti, per nome → Sicurezza

Che cosa fa davvero la catena

Ogni voce contiene l'impronta della voce precedente, così una modifica, un inserimento o un riordino interrompe la corrispondenza della catena. Voce uno: viene registrata un'azione, impronta e4b1f2. La voce due contiene l'impronta precedente e la propria, 9c07ad. La voce tre contiene l'impronta precedente e la propria, 53fe21. Il pacchetto viene poi marcato temporalmente da un'autorità indipendente e firmato all'origine, così un revisore può verificare offline che non è cambiato e che esisteva in quel momento. Una catena di hash rileva le manomissioni, non le impedisce.

Modifica, inserisci o riordina qualcosa nel mezzo e le impronte non corrispondono più: la registrazione lo rende visibile. È rilevazione, non prevenzione. Una catena di hash rende le manomissioni evidenti; non la descriviamo come a prova di manomissione.

Beyond memory.

SICUREZZA, PER NOME

Meccanismi precisi. Non aggettivi.

Isolamento dei tenant Sicurezza a livello di riga di Postgres su ogni tabella riferita a un tenant. La separazione è applicata nel database, non nell'applicazione.
Autenticazione forte Per accedere serve un telefono, non basta una password: oggi un'app di autenticazione; per firmare da mobile sono disponibili passkey legate al dispositivo. Niente codici monouso via SMS o email, canali che le autorità stanno progressivamente abbandonando.
Evidenze con comportamento fail-closed Quando la marcatura temporale è richiesta, senza una marca valida non viene prodotto alcun pacchetto di evidenze. Il sistema rifiuta di creare una registrazione che non può dimostrare.
Protezione dei dati Progettato per supportare gli obblighi del GDPR, della nuova LPD svizzera e di altri regimi regionali, compresi i diritti di rettifica delle persone nominate nei controlli.
Verificabilità offline I pacchetti di evidenze sono verificabili con strumenti standard, indipendentemente dai server di Exedra Gate.
Che cosa rientra nella registrazione e che cosa no Documenti, firme e accessi ai documenti fanno parte della registrazione delle evidenze. I messaggi tra le parti non ne fanno parte e non li presentiamo come evidenze.
Residenza dei dati Oggi cloud gestito nella regione. L'installazione nella giurisdizione richiesta o su cloud sovrano viene definita e realizzata come incarico di implementazione.

I documenti pubblicati alla base di questi meccanismi.

Ogni voce indica il documento che il meccanismo sopra applica e l'organismo che lo ha emanato. Citare uno standard significa che la piattaforma è stata progettata in base ai suoi requisiti pubblicati. Non significa che Exedra Gate sia autorizzata, vigilata o avallata da alcuna autorità.

  • UE / CH GDPR e nuova LPD svizzera Isolamento dei tenant applicato nel database stesso, con periodi di conservazione definiti e una procedura documentata per rettificare una registrazione. Regolamento (UE) 2016/679; Legge federale sulla protezione dei dati, RS 235.1
  • UE Criteri eIDAS per la firma elettronica avanzata (art. 26) Una firma collegata in modo univoco al firmatario e al documento, così da rilevare una modifica successiva di entrambi. Avanzata, non qualificata. Regolamento (UE) n. 910/2014, art. 26
  • IETF Marcatura temporale RFC 3161 L'ora registrata proviene da un'autorità indipendente, non da noi. Un elemento di prova ammissibile del momento in cui esisteva un documento. Time-Stamp Protocol (TSP), RFC 3161
  • IRTF / NIST Ed25519 e SHA-256 Algoritmi pubblicati, così chi non si fida di noi può verificare un pacchetto di evidenze con strumenti comuni. Edwards-Curve Digital Signature Algorithm (EdDSA), RFC 8032; Secure Hash Standard (SHS), FIPS 180-4
  • W3C WCAG 2.1 AA Verificato pagina per pagina con axe, come richiesto da una valutazione per acquisti pubblici o istituzionali. Web Content Accessibility Guidelines 2.1, livello AA

Che cosa significa citare uno standard →

Il lessico, spiegato.
Ogni termine usato sopra è definito in una frase nella pagina sulla sicurezza, insieme ai controlli che verifica un responsabile compliance e ai comandi di verifica che un revisore esegue autonomamente.