Inhalt

• Einführung
• Grundlagen
• Cascade und Name-Stamp Protokolle
  • Beispiele
  • Ein Modell für Zwei-Parteien Cascade Protkolle
  • Ein Modell für Name-Stamp Protokolle
  
  
• Der aktive Saboteur
• Ein Automat für Name-Stamp Protokolle
  • Algorithmus
  
  
• Literatur