TEKNOLOGI

Slik virker oppføringen, for dem som vil se maskineriet.

Ingenting her er pliktlesning. Resten av nettstedet sier med enkle ord hva oppføringen gjør; denne siden navngir mekanismene, og sikkerhetssiden angir kontrollene.

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

Kontroll av tidsstempelet, kjørt på en ekte pakke. Noe en gransker utfører selv, ikke et skjermbilde noen blir bedt om å godta.

BEVIS FØRST
e4b1f2…9c07ad…53fe21… ✓ UAVHENGIG TIDSSTEMPLET✓ SIGNERT

Oppføringen kontrolleres på granskerens egen maskin.

En bevispakke kontrolleres med frie standardverktøy, på granskerens egen maskin. Integritet, opphav og tid er de tre tingene en revisor eller en domstol krever av en oppføring, og kontrollen fastslår dem snevert: dokumentene er uendret, de kommer derfra de sier de kommer fra, og de fantes på det oppgitte tidspunktet, fordi tidsstempelet kommer fra en uavhengig instans. Om oppføringen tilfredsstiller en bestemt rettslig norm, forblir advokatens spørsmål; integriteten og datoen avhenger ikke av noens ord, og ingenting i kontrollen trenger tillatelse fra Exedra Gate.

  • Kjedet i rekkefølge. Blir noe endret, satt inn eller omordnet etterpå, viser oppføringen det selv.
  • Uavhengig tidsstemplet. En klokke som ikke er vår fastslår når, i RFC 3161-formatet som standardverktøy allerede kontrollerer. Stenger ved tvil, av design: der tidsstempling er påkrevd, betyr intet gyldig tidsstempel ingen bevispakke, fordi systemet nekter å lage en oppføring det ikke kan bevise.
  • Signert ved kilden: hvem som laget den, og at den er intakt, mulig å kontrollere frakoblet, år etter at transaksjonen ble avsluttet.
Én oppføring, fra handlingen til granskeren

En handling registreres mens den skjer, og Exedra Gate gir den et fingeravtrykk. Hver oppføring bærer fingeravtrykket til oppføringen foran, slik at en endring, en innsetting eller en omordning gjør at kjeden slutter å stemme. Innholdet i pakken listes i et manifest og signeres ved kilden, som fastslår hvem som laget den og at den er intakt. Den signerte pakken tidsstemples deretter av en instans som ikke er Exedra Gate, i RFC 3161-formatet, og det er det som fastslår når den fantes. Pakken lukkes, og den stenger ved tvil: der tidsstempling er påkrevd, betyr intet gyldig tidsstempel ingen bevispakke i det hele tatt. År senere kjører hvilken som helst gransker sju uavhengige kontroller frakoblet med frie standardverktøy. En hashkjede oppdager manipulasjon; den hindrer den ikke.

De tre fingeravtrykkene er de samme som står trykt øverst i denne delen, for dette er én oppføring og ikke et annet eksempel. Det den siste raden fastslår er snevert og mulig å kontrollere: dokumentene er uendret og fantes på det tidspunktet. En hashkjede er en kjede der manipulasjon er påvisbar, og vi beskriver den ikke som en kjede som gjør endring umulig.
KONTROLLVERKTØYET, NAVNGITT

exedragate-verify

En side som stadig sier "kontrolleres frakoblet" skylder leseren tingen som gjør kontrollen. Den har et navn. exedragate-verify er et frittstående kommandolinjeverktøy som kjører sju uavhengige kontroller mot en eksportert pakke: hashkjeden regnet om fra ende til ende, signaturen ved kilden, det uavhengige tidsstempelet, pakkens indre sammenheng, dens egen opprettelseshendelse, tilskrivingen av hver handling, og PDF-en holdt opp mot pakkens manifest. Det oppretter ingen nettverksforbindelse, og tillitsankrene til tidsstempelinstansen følger med inni det. Det er tilgjengelig på forespørsel, for kunder og for dem som kontrollerer kundene, og tidsstempelet lar seg også kontrollere med vanlig OpenSSL, slik at ingenting hviler på våre verktøy i det hele tatt.

De eksakte mekanismene, navngitt → Sikkerhet

◲ Visual · coming soon Kontroll av en bevispakke evidence-verify
Hva kjeden faktisk gjør

Hver oppføring bærer et fingeravtrykk av oppføringen foran, slik at en endring, en innsetting eller en omordning gjør at kjeden slutter å stemme. Oppføring én: en handling registreres, fingeravtrykk e4b1f2. Oppføring to bærer det forrige fingeravtrykket og sitt eget, 9c07ad. Oppføring tre bærer det forrige fingeravtrykket og sitt eget, 53fe21. Pakken tidsstemples deretter av en uavhengig instans og signeres ved kilden, slik at en gransker frakoblet kan bekrefte at den er uendret og fantes på det tidspunktet. En hashkjede oppdager manipulasjon; den hindrer den ikke.

Endre, sett inn eller omordne noe midt inne, og fingeravtrykkene slutter å stemme, slik at oppføringen viser det. Det er oppdagelse, ikke forhindring. En hashkjede er en kjede der manipulasjon er påvisbar, og vi beskriver den ikke som en kjede som gjør endring umulig.

Hinsides hukommelsen.

SIKKERHET, NAVNGITT

Mekanismer, navngitt. Ikke adjektiver.

Isolering mellom leietakere Row-level security i Postgres på hver tabell med leietakeromfang. Skillet håndheves i databasen, ikke i applikasjonen.
Sterk autentisering Innlogging krever en telefon, ikke bare et passord: en autentiseringsapp i dag, og passnøkler bundet til enheten levert for signering på mobil. Ingen engangskoder på SMS eller e-post, kanalene tilsynsmyndighetene fases ut av.
Bevis som stenger ved tvil Der tidsstempling er påkrevd, betyr intet gyldig tidsstempel ingen bevispakke. Systemet nekter å lage en oppføring det ikke kan bevise.
Personvern Bygget for å understøtte plikter etter GDPR, den reviderte sveitsiske personvernloven, og videre regionale regelverk, inkludert retten til retting for personer som navngis i en kontroll.
Kontrollerbarhet frakoblet Bevispakker lar seg kontrollere med standardverktøy, uavhengig av Exedra Gates tjenere.
Hva som er i oppføringen, og hva som ikke er det Dokumenter, signaturer og dokumenttilgang er en del av den signerte og tidsstemplede oppføringen. Meldinger mellom parter er det ikke, og vi beskriver dem ikke som bevis.
Datalagringssted Driftet sky i egen region i dag. Installasjon innenfor jurisdiksjonen og i suveren sky avgrenses og leveres som et implementeringsoppdrag.

De publiserte dokumentene bak disse mekanismene.

Hver oppføring navngir dokumentet en mekanisme ovenfor gjennomfører, og organet som ga det ut. Å navngi et rammeverk betyr at plattformen er bygget etter de publiserte kravene i det. Det betyr ikke at Exedra Gate har konsesjon, er under tilsyn eller er anbefalt av noen myndighet.

  • EU / CH GDPR og den reviderte sveitsiske personvernloven Isolering mellom leietakere håndhevet i selve databasen, med definert lagringstid og en dokumentert vei til å rette en oppføring. Forordning (EU) 2016/679; Den sveitsiske personopplysningsloven, SR 235.1
  • EU eIDAS-kriteriene for avansert signatur (art. 26) En signatur som er entydig knyttet til undertegneren og til dokumentet, slik at en senere endring av ett av dem lar seg oppdage. Avansert, ikke kvalifisert. Forordning (EU) nr. 910/2014, art. 26
  • IETF Tidsstempling etter RFC 3161 Tidspunktet på oppføringen kommer fra en uavhengig instans, ikke fra oss. Bevis som kan føres for retten om når et dokument fantes. Time-Stamp Protocol (TSP), RFC 3161
  • IRTF / NIST Ed25519 og SHA-256 Publiserte algoritmer, slik at en bevispakke kan kontrolleres med vanlige verktøy av noen som ikke stoler på oss. Edwards-Curve Digital Signature Algorithm (EdDSA), RFC 8032; Secure Hash Standard (SHS), FIPS 180-4
  • W3C WCAG 2.1 AA Gjennomgått mot denne med axe, side for side, som er det en offentlig eller institusjonell anskaffelsesgjennomgang ber om. Web Content Accessibility Guidelines 2.1, nivå AA

Hva det betyr å navngi et rammeverk →

◲ Visual · coming soon Revisjonssporet, slik en gransker ser det tech-audit-trail
Begrepene, definert.
Hvert begrep som er brukt ovenfor er definert i én setning hver på sikkerhetssiden, ved siden av kontrollene en etterlevelsesansvarlig ser etter, og kontrollkommandoene en gransker kjører på egen hånd.