Zum Inhalt springen

Wissen07 von 14

Was macht ein Protokoll überprüfbar?

Thema
KALKÜL
Lesezeit
3 Min.
Erstfassung
Stand
Bauplan
Auf dieser Seite
  1. 01Zuerst die zugesagte Eigenschaft benennen
  2. 02Wie eine Hashkette Veränderungen zeigt
  3. 03Die Grenze beim vollständigen Neuschreiben
  4. 04Rechnen, Aufbewahren und Prüfen trennen
  5. 05Was KALKÜL heute und später bedeutet
  6. 06Schema
  7. 07Grenze und Regel
  8. 08Fragen
  9. 09Quellen
  10. 10Verwandte Seiten

Ein nachprüfbares Protokoll soll unzulässige Änderungen verhindern oder nachträglich erkennbar machen; welche Eigenschaft tatsächlich gilt, hängt vom Verfahren und dem Angreifermodell ab. Eine lokale Hashkette macht Veränderungen innerhalb der Kette prüfbar, schützt allein aber nicht gegen ihr vollständiges Neuschreiben.

Zuerst die zugesagte Eigenschaft benennen

Begriff · Beziehung

Eine benannte Verbindung zwischen Objekten, etwa: Objekt A gehört zu Objekt B. Die Verbindung braucht selbst einen Quellenbezug.

Beziehungen im Abbild modellieren

Ein Protokoll kann vor Überschreiben geschützt sein, Änderungen erkennen oder eine unabhängige spätere Prüfung ermöglichen. Das sind verschiedene Eigenschaften. Fragen Sie deshalb konkret: Wer könnte welche Daten ändern? Wer besitzt die Schlüssel? Wo liegt ein vertrauenswürdiger Vergleichswert? Wer kontrolliert den Prüfer?

Ein Schutz gegen jede Fälschung lässt sich ohne diese Bedingungen nicht zusagen. Auch ein korrekt gerechneter Prüfwert bestätigt zunächst nur eine mathematische Beziehung zwischen Daten. Er beweist nicht, dass das Ereignis fachlich richtig war, dass alle Ereignisse erfasst wurden oder dass die angegebene Person tatsächlich gehandelt hat.

Wie eine Hashkette Veränderungen zeigt

Begriff · Hash

Ein deterministischer Prüfwert einer Bytefolge. Er ist weder Verschlüsselung noch Beweis für die Wahrheit des Inhalts.

Prüfwert im Browser-Beispiel nachrechnen

Ein Hash ist ein aus Daten berechneter Prüfwert. In einer Hashkette enthält jeder Eintrag den Prüfwert seines Vorgängers. Der neue Prüfwert wird aus dem Eintrag und dem Vorgängerbezug berechnet. Ändert jemand einen alten Inhalt, passen die nachfolgenden Beziehungen bei erneuter Prüfung nicht mehr.

Damit unabhängige Programme dieselben Werte berechnen, braucht die Darstellung feste Regeln. Dazu gehören Zeichenkodierung, Reihenfolge der JSON-Schlüssel und Behandlung von Listen. Der SnapSite-Prototyp verwendet SHA-256 und rekursiv sortierte JSON-Schlüssel. Der dokumentierte Algorithmus ist Teil des Nachweises; ein verkürzter Prüfwert in der Oberfläche reicht nicht zum Nachrechnen.

Die Grenze beim vollständigen Neuschreiben

Angenommen, jemand verändert einen Eintrag und berechnet danach alle folgenden Prüfwerte neu. Die lokale Kette kann dann wieder in sich stimmen. Ohne einen zuvor unabhängig gesicherten Stand weiß der Prüfer nicht, dass eine andere Geschichte existiert hat.

Ein externer Anker kann diese Grenze verkleinern, etwa ein unabhängig gesicherter Kettenkopf mit verlässlichem Zeitpunkt. Dazu braucht es Regeln für Zugriff, Aufbewahrung und Vergleich. Das lässt sich nicht durch das Wort versiegelt ersetzen. RFC 9162 zeigt für Zertifikate einen anders aufgebauten Ansatz mit Merkle-Bäumen und überprüfbaren Transparenznachweisen; SnapSite behauptet keine Umsetzung dieses Protokolls.

Rechnen, Aufbewahren und Prüfen trennen

Begriff · HMAC

Ein Message Authentication Code auf Basis einer Hashfunktion und eines gemeinsamen Schlüssels. Wer den Schlüssel hat, kann gültige Werte erzeugen.

Eine Freigabe an eine Sache binden

Die Stelle, die Ereignisse schreibt, sollte nicht zugleich jede unabhängige Kopie unbemerkt ersetzen können. Planen Sie deshalb getrennte Zuständigkeiten, geschützte Ablage, Überwachung und Wiederherstellung. Fehlgeschlagene oder ausgelassene Erfassung muss ebenfalls sichtbar werden. Sonst entsteht eine lückenlose Kette über einen unvollständigen Ausschnitt.

Ein HMAC nutzt einen gemeinsamen geheimen Schlüssel, um eine Nachricht zu authentifizieren. Wer diesen Schlüssel besitzt, kann selbst gültige Werte erzeugen. Das ist keine öffentlich prüfbare digitale Signatur mit getrenntem privatem und öffentlichem Schlüssel. Benennen Sie das verwendete Verfahren präzise und prüfen Sie, welche Vertrauensbeziehung es voraussetzt.

Was KALKÜL heute und später bedeutet

Die vorhandene Browser-Vorführung rechnet ihre Kette tatsächlich und kann eine veränderte Zeile als Bruch zeigen. Sie kann auch demonstrieren, warum eine vollständig neu gerechnete Geschichte ohne unabhängigen Vergleich nicht erkennbar ist. Diese Grenze steht ausdrücklich in den vorhandenen Produkttexten.

KALKÜL bezeichnet die geplante Protokollschicht des Systems. Externe Verankerung, dauerhafte Beweissicherung und produktiver Mehrbenutzerbetrieb sind im gelesenen Prototyp nicht nachgewiesen. Die Exportdatei der Vorführung enthält zudem den Besuchsschlüssel zur Nachrechnung. Sie ist ein Erklärungs- und Prüfgegenstand, keine Vorlage für produktive Geheimnisverwaltung.

Schema

h[0] = 64 Nullen
h[n] = SHA-256(h[n-1] + stabiles_JSON(Eintrag_ohne_hash))

Prüfung: Vorgängerbezug und neu gerechneter Prüfwert stimmen
Zusätzliche Frage: Gibt es einen unabhängigen älteren Vergleichswert?
Schema 1Schema mit Platzhaltern, keine echten Daten

Grenze

Grenze
Eine in sich gültige Kette ist kein Beweis für eine unveränderte vollständige Geschichte. Der vorhandene Prototyp hat keine unabhängig betriebene Ankerstelle und keine nachgewiesene Langzeitablage für die Revision.

Fragen

Ist eine Hashkette eine Blockchain?
Nicht automatisch. Eine Hashkette ist eine Verkettung von Prüfwerten. Eine Blockchain kann zusätzliche Verfahren für verteilten Konsens enthalten; diese sind hier nicht nachgewiesen.
Beweist ein gültiger Hash, wer gehandelt hat?
Nein. Der Hash prüft Datenbeziehungen. Identitätsnachweise, Schlüsselverwaltung und geschützte Erfassung brauchen eigene Verfahren.

Quellen

  1. IETF RFC 9162: Certificate Transparency v2Dezember 2021, experimenteller RFC. Transparenzprotokolle für Zertifikate; Vergleichsprinzip, kein SnapSite-Protokoll.
  2. OWASP: Logging Cheat SheetLebende Anleitung, gelesen am 15.10.2026. Inhalt, Schutz und Grenzen technischer Protokolle.
  3. IETF RFC 2104: HMACFebruar 1997. Message Authentication mit kryptografischen Hashfunktionen und gemeinsamem geheimem Schlüssel.

Verwandte Seiten