Seminar Bitstring Status List 1.0 – Grundlagen, Datenmodell und Validierung

Im Mittelpunkt steht der vollständige Lebenszyklus einer Bitstring-Statusliste: von der fachlichen Entscheidung über die Wahl des Statuszwecks bis zur Erzeugung, Veröffentlichung, Aktualisierung und Prüfung. Die Inhalte verbinden das Datenmodell mit nachvollziehbaren Implementierungsschritten und zeigen, wie einzelne Berechtigungsnachweise ohne zentrale Einzelabfrage geprüft werden.

Inhaltsverzeichnis

• Einordnung
• Zielgruppe
• Voraussetzungen
• Lernziele
• Seminarinhalte
• Rollen, Zustände und Prüfmodell
• Datenmodell der StatusListEntry
• Aufbau des StatusListCredential
• Erzeugung und Aktualisierung der Bitfolge
• Validierung durch den Verifier
• Statuszwecke und Statusmeldungen
• Datenschutz und Sicherheit
• Teststrategie und Fehlerdiagnose
• Praktische Übungen
• Methodik
• Einordnung im Seminarprogramm

Einordnung

Der Schwerpunkt liegt auf standardkonforme Statusprüfung für Verifiable Credentials. Die Inhalte werden von der fachlichen Anforderung über Datenmodell und Protokoll bis zu Validierung, Fehlerbehandlung und betrieblichen Kontrollen entwickelt.

Zielgruppe

Softwarearchitektur, Backend- und API-Entwicklung, Identity- und Access-Management, PKI- und Trust-Services, technische Produktverantwortung, Qualitätssicherung sowie Datenschutz und Informationssicherheit.

Voraussetzungen

Grundkenntnisse in JSON, digitalen Signaturen und Verifiable Credentials. Für die Übungen sind Erfahrungen mit HTTP-APIs und einer Programmiersprache hilfreich, aber nicht zwingend.

Lernziele

• Aufbau und Zweck einer Bitstring-Statusliste fachlich erklären
• StatusListCredential und StatusListEntry korrekt modellieren
• Statuszweck, Index und kodierte Liste konsistent erzeugen
• Statusänderungen sicher und reproduzierbar veröffentlichen
• Prüfpfade auf Seiten von Verifiern implementieren
• Fehlerbilder bei Abruf, Dekompression und Indexauswertung diagnostizieren
• Datenschutz- und Sicherheitsanforderungen in den Entwurf einbeziehen

Seminarinhalte

Modul 1: Rollen, Zustände und Prüfmodell

1. Schritt 1: Issuer, Holder, Verifier und Statuslisten-Herausgeber werden voneinander abgegrenzt. Dabei wird geklärt, welche Komponente den Status setzt und welche lediglich prüft.
2. Schritt 2: Fachliche Zustände wie gültig, widerrufen und ausgesetzt werden in technische Statuszwecke übersetzt.
3. Schritt 3: Der Prüfablauf wird als Sequenz aus Credential-Prüfung, Statuslisten-Abruf, Vertrauensprüfung und Bit-Auswertung modelliert.

Modul 2: Datenmodell der StatusListEntry

1. Schritt 1: Die Referenz auf die Statusliste wird mit einem stabilen Bezeichner aufgebaut.
2. Schritt 2: statusPurpose und statusListIndex werden so gewählt, dass Herausgeber- und Verifierlogik übereinstimmen.
3. Schritt 3: Mehrere Statusangaben in einem Credential werden voneinander getrennt und hinsichtlich ihrer Semantik bewertet.
4. Schritt 4: Pflichtfelder, Datentypen und typische Modellierungsfehler werden anhand positiver und negativer Beispiele geprüft.

Modul 3: Aufbau des StatusListCredential

1. Schritt 1: Typen, Kontext, Herausgeber, Gültigkeitsangaben und credentialSubject werden zusammengesetzt.
2. Schritt 2: Die komprimierte und kodierte Bitfolge wird als encodedList eingebettet.
3. Schritt 3: Optionaler Cache-Hinweis und zusätzliche Statusinformationen werden kontrolliert ergänzt.
4. Schritt 4: Das Statuslisten-Credential wird kryptografisch gesichert und als eigenständiges prüfbares Objekt behandelt.

Modul 4: Erzeugung und Aktualisierung der Bitfolge

1. Schritt 1: Die erforderliche Listengröße wird aus Ausgabemenge, Wachstum und Reserve bestimmt.
2. Schritt 2: Freie Indizes werden ohne personenbezogene Aussagekraft zugewiesen.
3. Schritt 3: Statusbits oder mehrbitige Statuswerte werden gesetzt, komprimiert und kodiert.
4. Schritt 4: Änderungen werden atomar versioniert, damit parallele Aktualisierungen keine Zustände überschreiben.

Modul 5: Validierung durch den Verifier

1. Schritt 1: Das vorgelegte Credential und dessen Beweis werden unabhängig von der Statusprüfung validiert.
2. Schritt 2: Die referenzierte Statusliste wird abgerufen und ihr Herausgeber gegen die Vertrauensregeln geprüft.
3. Schritt 3: encodedList wird dekodiert und dekomprimiert; anschließend wird der angegebene Index gelesen.
4. Schritt 4: Der gefundene Wert wird dem Statuszweck zugeordnet und in eine nachvollziehbare Annahme- oder Ablehnungsentscheidung überführt.

Modul 6: Statuszwecke und Statusmeldungen

1. Schritt 1: Widerruf, Aussetzung, Erneuerungsbedarf und mehrwertige Meldungen werden fachlich unterschieden.
2. Schritt 2: Für mehrwertige Einträge werden statusSize und die zulässigen Werte geplant.
3. Schritt 3: Maschinelle Statuswerte werden in anwendungsneutrale Meldungen übersetzt, ohne vertrauliche Gründe offenzulegen.

Modul 7: Datenschutz und Sicherheit

1. Schritt 1: Korrelation durch individuelle Statusendpunkte wird vermieden, indem viele Credentials in einer Liste zusammengefasst werden.
2. Schritt 2: Indexvergabe, Abrufmuster, Listenwechsel und Cache-Verhalten werden auf Metadatenlecks untersucht.
3. Schritt 3: Manipulation, Rollback, veraltete Listen und Ausfälle werden mit Signaturprüfung, Zeitregeln und Failover-Entscheidungen behandelt.

Modul 8: Teststrategie und Fehlerdiagnose

1. Schritt 1: Testvektoren für gesetzte und nicht gesetzte Bits werden erstellt.
2. Schritt 2: Defekte Kodierung, falsche Indizes, unpassende Statuszwecke und ungültige Beweise werden gezielt simuliert.
3. Schritt 3: Protokollierung und Fehlermeldungen werden so gestaltet, dass Ursachen erkennbar bleiben, ohne Credential-Inhalte unnötig zu speichern.

Praktische Übungen

• Modellierung einer vollständigen StatusListEntry mit passendem Statuszweck
• Erzeugung einer komprimierten Statusliste aus einer vorgegebenen Belegung
• Implementierung eines nachvollziehbaren Verifier-Prüfpfads
• Fehleranalyse an manipulierten, veralteten und inkonsistenten Beispieldaten

Methodik

Fachliche Einordnung, strukturierte Demonstrationen, gemeinsame Modellierung, angeleitete Implementierungs- und Prüfaufgaben, Negativtests sowie Auswertung typischer Fehlersituationen. Die Übungen verwenden synthetische Beispieldaten und werden schrittweise von einem kontrollierten Normalfall zu Manipulations-, Grenz- und Ausfallszenarien erweitert.

Einordnung im Seminarprogramm

Geeignet als Einstieg in Status Lists nach den Grundlagen des VC Data Model 2.0 und Data Integrity. Für Betriebs-, Datenschutz- und Skalierungsfragen schließt das vertiefende Statuslisten-Seminar an.