Selbstdurchsetzende Protokolle statt bloßer Versprechen
Zusammenfassung
Bruce Schneier untersucht Protokolle, deren technische Struktur vereinbarte Regeln erzwingt und Vertrauen in einzelne Teilnehmer reduziert. Der Text behandelt Kryptografie und spieltheoretische Anreize.
Ideen
- Kryptografie kann erlaubte Handlungen technisch begrenzen.
- Faire Austauschprotokolle verhindern einseitigen Vorteil bei abgebrochenen Transaktionen.
- Digitale Signaturen machen Herkunft und Unverändertheit überprüfbar.
- Verteilte Entscheidungen vermeiden einen einzelnen allmächtigen Vermittler.
- Anreize ergänzen technische Regeln, wenn vollständige Erzwingung unmöglich bleibt.
- Protokollannahmen müssen bösartige Teilnehmer ausdrücklich berücksichtigen.
Einsichten
- Gute Protokolle ersetzen Vertrauen durch überprüfbare Grenzen, nicht durch Hoffnung.
- Technische Erzwingung kann unerwünschte Regeln ebenso wirksam stabilisieren.
- Sicherheitseigenschaften gelten nur innerhalb des formulierten Angreifermodells.
- Soziale Konflikte verschwinden nicht, wenn Software einzelne Schritte automatisiert.
Fakten
- Faire Austauschprotokolle sind ein klassisches Sicherheitsproblem.
- Digitale Signaturen beweisen keine Wahrheit des signierten Inhalts.
Empfehlungen
- Dokumentiere Teilnehmer, Fähigkeiten und angenommene Angriffe.
- Vermeide zentrale Sonderrechte ohne überprüfbare Kontrolle.
- Teste Protokolle auch bei Abbruch, Wiederholung und widersprüchlichen Nachrichten.
Referenzen
Links zur Originalquelle und zum Webarchiv öffnen einen neuen Tab.