Signed Messages - Protokoll Fehlerfreier Fall Fehlerhafte Fälle –EinzelfehlerEinzelfehler –DoppelfehlerDoppelfehler.

Slides:

Advertisements

Ähnliche Präsentationen

Kapitel 15 Verteilte Datenbanken

Advertisements

Der Eisberg der Kulturen

SS 2007 FG Datenbanken – Interaktive Systeme, Fachbereich 17 Praktische Informatik Prof. Dr. Lutz Wegner Elektronische Signatur Waldemar Wiegel Sommer.

Objektorientierter Entwurf

Grundlagen der Kryptologie

Umstellung von Lucane Groupware auf sichere Gruppenkommunikation mittels TGDH Von: Markus Diett Betreut durch: Mark Manulis Lehrstuhl für Netz- und Datensicherheit.

Aufgaben der Sicherungsschicht

HERA und Changemanagement Scenario. HERA und Changemanagement2 Ausgangssituation Bob erstellt während der Anforderungserhebung mit HERA ein Use Case Projekt.

CSCW – FSS 2007 ©Jürgen Vogel Zustandsautomat CSM Frei Verfügbar Blockiert Wartet Anfrage Æ Politik = mutually-exclusive Freigabe Æ Anzahl Holder=1 Anfrage.

Hashverfahren und digitale Signaturen

Diese Darstellung soll einen kleinen Überblick über die Vorgehensweise beim Bearbeiten und Senden der Anmeldesteuern mit ElsterFormular zeigen.

Universität Karlsruhe Diplomarbeit von Georgios Papadopoulos

Elektronische Signatur

Empfangene s Neue schreiben Textfenster für empfangene s Adressbuch

Zentrales Dokumentenmanagement

Aus dem Leben eines Hotline- Mitarbeiters Begriffe: HLM:Hotline-Mitarbeiter DAU:dümmster anzunehmender User.

Keine Panik – Anmelden bei Wordpress

WAP = Wireless Application Protocol Protokollstack Ein Protokoll ...

WhatsApp Überträgt bei jedem Start das komplette Telefonbuch Fügt Kontakte ungefragt hinzu Bis August 2012: Nachrichten im Klartext verschickt Jetzt:

Barbara Keller, Insertion Sort Hier wird anhand eines Beispiels mit Karten aufgezeigt, wie Insertion Sort funktionniert.

Übungsaufgaben für Microsoft Excel

Das expandierende Universum

Information und Kommunikation Hartmut Klauck Universität Frankfurt SS

Wie erkennst Du am ehesten dass ein Tsunami in Anmarsch ist??

Unerbetene Nachrichten - SPAM

Ein Poem übers Glück.

SET – Secure Electronic Transaction

Bereit ???? Nimm dir 10 Minuten Zeit. Ich versuche es dir zu erklären.

Festschreibe-Protokoll (1) Globales Zwei-Phasen-Festschreibe-Protokoll (2- Phasen-Commit, 2PC): Phase 1: –Koordinator benachrichtigt Ressourcen, dass Commit.

Infor:lösungen Dokumentation zum Testdrive Lösungsnr.:RS0004_ IntegrationToPrint Titel: integration beim Drucken integration beim Drucken.

„ Das Vier-Seiten-Modell“

Digitale Signatur in s Antrag, Einrichtung und Verwendung in Outlook.

Projektstudium Chipkarten

Digitale Signatur in s Antrag, Einrichtung und Verwendung in Windows Mail (Vista, SP 1)

TeWT305: Die Formel von Bayes

Kamran Awan & Mohammed Soultana

Problem: Datenübertragung Messwerte an B schickenDaten annehmen AB 0,0,1,0,1,0,1,1,1,0.

Seite 1 Protecting Mobile Agents vs. Malicious Hosts Dennis Knorr

Hilf mir, sie zu finden. Deine Treffer werden ausgewertet! Klicke hier, um zu beginnen. Klicke hier, um zu beginnen. Ich habe meine Miez verloren!

Was solltest Du tun 2011? Lerne einen neuen Sport.

Schnittpunkt von zwei Geraden

Die einfachste Variante! Anlegen, ausfüllen und senden !

10 STRINGS FÜR DICH. Wenn Du dies erhälst…...ist es, weil Du es verdient hast.

Berechenbarkeit Klaus Becker Berechenbarkeit.

Abschluss des Kaufvertrags

Visualisierung verteilter Systeme

1.Eingeben der Internetadresse 2. Hier klicken um zur Anmeldung zu gelangen. 3. Bevor es losgeht, müssen wir uns anmelden.

Kapitel 9: Gruppe-Untergruppe-Beziehungen der 32 Kristallklassen (in Ergänzung zu Kap. 5) Untergruppen.

Mailserver IT-Zertifikat der Phil.-Fak.: Advanced IT Basics

Asymmetrische Kryptographie

Die vier Seiten einer Nachricht

CCNA2 – Module 8 TCP/IP Error and Control Messages.

X. Übungsblatt – Aufgabe X Das Bild zeigt ein Diagramm, dass die Nachbarschafsbeziehungen für einen Code mit 3 Binärstellen darstellt. a)Welche Hamming-Distanz.

Ergebnis Whatsappumfrage Whatsappstress Video zu Whatsappstress Video.

Kommunikation nach Schulz von Thun

1 Codierung Prof. Dr. Dörte Haftendorn, Leuphana Universität Lüneburg, Haydn: Streichquartett op 54.3 aus Largo,

Webservices SOAP und REST Nicole Fronhofs 1. Betreuer: Prof. Dr. Volker Sander 2. Betreuer: B. Sc. Sebastian Olscher.

Tutorium Software-Engineering SS14 Florian Manghofer.

ICMP Internet Control Message Protocol Michael Ziegler Universität Freiburg Michael Ziegler.

SMTP Sieve-Interpreter

Lars Tremmel ETH Informatikdienste Managed Services September 2013

Ein Poem übers Glück.

Arbeiten mit dem Terminal

- Simple Mail Transfer Protocol -

Aufgabenteil (mit Hilfsmittel)

mit Unterschrift versehen

Was solltest Du tun 2011?.

Was solltest Du tun 2011?.

Präsentation transkript:

Signed Messages - Protokoll Fehlerfreier Fall Fehlerhafte Fälle –EinzelfehlerEinzelfehler –DoppelfehlerDoppelfehler

Rechner 1Rechner 2 Rechner 3Rechner 4

Rechner 1Rechner 2 Rechner 3Rechner 4 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1

Rechner 1Rechner 2 Rechner 3Rechner 4 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1 M :1 M :1

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. M :1:2 M :1 M :1:3 M :1:4

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1:2 M :1:2 M :1:3 M :1:3 M :1:4 M :1:4

M :1:2 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 3: Vergleichen der Nachrichteninhalte M :1:2 M :1:3 M :1:4 (M)(M,M,M)

M :1:2 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 3: Vergleichen der Nachrichteninhalte M :1:2 M :1:3 M :1:4 (M)(M,M,M) Ende: Übereinstimmendes Ergebnis aller Rechner --> M

Einzelfehler Interpreter fehlerhaft –Nicht sendenNicht senden –Unvollständig sendenUnvollständig senden –Falsche Nachricht sendenFalsche Nachricht senden –Signatur „fälschen“Signatur „fälschen“ Initiator fehlerhaft –Nicht sendenNicht senden –Unvollständig sendenUnvollständig senden –Falsche Nachrichten sendenFalsche Nachrichten senden

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Fehlerhaft

Rechner 1Rechner 2 Rechner 3 Initiator (R1)Interpreter (R2) Interpreter (R3) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1 M :1 Interpreter (R4) Fehlerhaft M :1

M :1 Fehlerhaft M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. R4 ist fehlerhaft und sendet nichts. M :1:2 M :1 M :1:3 M :1:4

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1:2 M :1:2 M :1:3 M :1:3

M :1:2 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 3: Vergleichen der Nachrichteninhalte M :1:2 M :1:3 (M)(M,M,?) (M,M,M)(M,M,?)

M :1:2 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 3: Vergleichen der Nachrichteninhalte M :1:2 M :1:3 (M)(M,M,?) (M,M,M)(M,M,?) Ende: Trotzdem übereinstimmendes Ergebnis aller Rechner --> M

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Fehlerhaft

Rechner 1Rechner 2 Rechner 3 Initiator (R1)Interpreter (R2) Interpreter (R3) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1 M :1 Interpreter (R4) Fehlerhaft M :1

M :1 Fehlerhaft M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. R4 ist fehlerhaft und sendet nur an R2. M :1:2 M :1 M :1:3 M :1:4

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1:2 M :1:2 M :1:3 M :1:3 M :1:4

M :1:2 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 3: Vergleichen der Nachrichteninhalte M :1:2 M :1:3 M :1:4 (M)(M,M,?) (M,M,M)

M :1:2 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 3: Vergleichen der Nachrichteninhalte M :1:2 M :1:3 M :1:4 (M)(M,M,?) (M,M,M) Ende: Trotzdem übereinstimmendes Ergebnis aller Rechner --> M

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Fehlerhaft

M :1 Fehlerhaft M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. R4 sendet falsche Nachricht. M :1:2 M :1 M :1:3 M‘ :4

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht. R2,R3 verweigern Empfang von M‘:4 da nur eine Signatur. M :1:2 M :1:2 M :1:3 M :1:3 M‘ :4 M‘ :4 M‘ :4 M‘ :4

M :1:2 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 3: Vergleichen der Nachrichteninhalte M :1:2 M :1:3 (M)(M,M,?) (M,M,M)(M,M,?)

M :1:2 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 3: Vergleichen der Nachrichteninhalte M :1:2 M :1:3 (M)(M,M,?) (M,M,M)(M,M,?) Ende: Trotzdem übereinstimmendes Ergebnis aller Rechner --> M

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Fehlerhaft

Rechner 1Rechner 2 Rechner 3 Initiator (R1)Interpreter (R2) Interpreter (R3) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1 M :1 Interpreter (R4) Fehlerhaft M :1

M :1 Fehlerhaft M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. R4 sendet abweichende Nachricht mit gefälschter Signatur. M :1:2 M :1 M :1:3 M‘ :1:4

Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt d. Nachricht. Empfang abweichender Nachricht wegen gültiger Signatur nicht verweigert. M :1:2 M :1:2 M :1:3 M :1:3 M‘ :1:4 M‘ :1:4 Initiator (R1)

M :1 M :1:3 M :1 M :1:2 M :1:3 M‘ :1:4 M :1:2 M :1 Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 - Senden: Abweichende Nachrichten werden den Rechnern übermittelt, die sie möglicherweise noch nicht kennen. M :1 M‘ :1:4:2 M‘ :1:4 M‘ :1:4:3 Initiator (R1)

M‘ :1:4 M :1 M :1:2 M‘ :1:4 M :1 M :1:3 M :1:2 M :1 Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 - Empfang: In Phase 3 gesendete Nachrichten werden empfangen. M :1 M‘ :1:4:2 M‘ :1:4:3 Initiator (R1)

M :1:2 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 3 : Vergleichen der Nachrichteninhalte: R2 und R3 erkennen abweichende Nachricht. M :1:2 M :1:3 (M) (M,M,M)(M,M,M‘,M‘) M‘ :1:4 (M,M,M‘,M‘) M‘ :1:4 M‘ :1:4:2 M‘ :1:4:3

Phase 3: Vergleichen der Nachrichteninhalte Ende: Protokoll schlägt fehl! Keine Übereinstimmung zwischen R1: „M verarbeiten“ und R2,R3: „M nicht verarbeiten“ M :1:2 M :1 Initiator (R1)Interpreter (R2) M :1 M :1:2 M :1:3 (M) (M,M,M)(M,M,M‘,M‘) M‘ :1:4 (M,M,M‘,M‘) M‘ :1:4 M‘ :1:4:2 M‘ :1:4:3 Interpreter (R3)Interpreter (R4)

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter. R1 ist hier fehlerhaft und sendet nicht. M :1

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht. Hier wird natürlich nichts empfangen...

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. Hier wird natürlich nichts gesendet...

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt d. Nachricht. Es wird nichts empfangen, da nichts gesendet wurde.

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3: Vergleichen der Nachrichteninhalte: Die Interpreter haben nicht viel zu tun... (M)(?,?,?)(?,?,?) (?,?,?)(?,?,?)(?,?,?)(?,?,?)

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Ende: Trotzdem übereinstimmendes Ergebnis aller fehlerfreien Rechner --> nichts tun (M)(?,?,?)(?,?,?) (?,?,?)(?,?,?)(?,?,?)(?,?,?)

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter. R1 ist hier fehlerhaft und sendet nur an R3. M :1

Rechner 1Rechner 2 Rechner 3Rechner 4 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. M :1 M :1:3

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1:3 M :1:3

M :1:3 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 - Senden: Interpreten, die Nachricht erst jetzt erhalten haben, senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. M :1 M :1:3:4 M :1:3:2

M :1:3 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 3 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1:3:2 M :1:3:4

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3: Vergleichen der Nachrichteninhalte (M)(?,M,M) M :1:3:4 M :1:3:2 M :1:3 (?,M,M) M :1 (M,?,?)

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Ende: Übereinstimmendes Ergebnis fehlerfreier Rechner: --> Nachricht verarbeiten. (M)(?,M,M) (M,?,?) M :1:3:4 M :1:3:2 M :1:3 (?,M,M) M :1

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter. R1 ist fehlerhaft: Sendet M‘:1 an R3. M :1 M‘ :1

Rechner 1Rechner 2 Rechner 3Rechner 4 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1 M :1 M‘ :1

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. M :1 M‘ :1:3 M :1:4 M :1:2

Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M‘ :1:3 M :1 M‘ :1 M :1:2 M :1:2 M :1:4 M :1:4 M‘ :1:3

M‘ :1:3 M :1:2 M :1:4 M :1:2 M :1:4 M‘ :1 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 - Senden: Abweichende Nachrichten werden den Rechnern übermittelt, die sie möglicherweise noch nicht kennen. M :1 M‘ :1:3:2 M‘ :1:3:4 M :1:2:3

M‘ :1:3 M :1:2 M :1:4 M :1:2 M :1:4 M‘ :1 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 - Empfang: In Phase 3 gesendete Nachrichten werden empfangen. M :1 M‘ :1:3:2 M‘ :1:3:4 M :1:2:3

M‘ :1:3 M :1:2 M :1:4 M :1:2 M :1:4 M‘ :1 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3: Vergleichen der Nachrichteninhalte M :1 M‘ :1:3:2 M‘ :1:3:4 (M) (M‘,M,M) (M,M,M‘,M‘) (M,M,M‘,M‘,M) M :1:2:3

M‘ :1:3 M :1:2 M :1:4 M :1:2 M :1:4 M‘ :1 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 M‘ :1:3:2 M‘ :1:3:4 (M) (M‘,M,M) (M,M,M‘,M‘) (M,M,M‘,M‘,M) Ende: Übereinstimmendes Ergebnis fehlerfreier Rechner: --> Nachricht nicht verarbeiten. M :1:2:3

Doppelfehler Initiator und Interpreter fehlerhaft –Fälschen und verzögernFälschen und verzögern –Fälschen und verheimlichenFälschen und verheimlichen Zwei Interpreter fehlerhaft –Fälschen und SendeausfallFälschen und Sendeausfall

Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter. R1 ist fehlerhaft: Sendet M‘:1 an R2. M :1 M‘ :1 Initiator (R1)Interpreter (R2)

Rechner 1Rechner 2 Rechner 3Rechner 4 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1 M :1 M‘ :1

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. R2 ist fehlerhaft und sendet erst in Phase 3. M :1 M :1:3 M :1:4 M‘ :1:2

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1:3 M :1:4 M :1:4 M :1:3

M :1 M :1:3 M :1:4 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 - Senden: R2 sendet jetzt M‘1:2 verspätet und nur an R4. M :1 M :1:3 M :1:4 M‘ :1:2

M :1 M :1:3 M :1:4 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 - Empfang: Nachricht wird von R4 abgelehnt, da nur 2 Signaturen. M :1 M :1:3 M :1:4 M‘ :1:2 M‘ :1:2 M‘ :1:2

M :1 M :1:3 M :1:4 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 : Vergleichen der Nachrichteninhalte. M :1 M :1:3 M :1:4 M‘ :1:2 (M) (M,M,?) (M,M,M‘) (M,M,? )

M :1 M :1:3 M :1:4 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Ende : Übereinstimmendes Ergebnis fehlerfreier Rechner: Nachricht verarbeiten. M :1 M :1:3 M :1:4 M‘ :1:2 (M) (M,M,?) (M,M,M‘) (M,M,? )

Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter. R1 ist fehlerhaft: Sendet M‘:1 an R2 und R3. M :1 M‘ :1 Initiator (R1)Interpreter (R2)

Rechner 1Rechner 2 Rechner 3Rechner 4 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1 M‘ :1

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. M :1 M :1:4 M‘ :1:2 M‘ :1:3

M‘ :1 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht. M :1 M :1:4 M‘ :1:2 M‘ :1:3 M :1:4 M‘ :1:2 M‘ :1:3

M‘ :1:2 M :1:4 M‘ :1 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 - Senden: Interpreten senden abweichende Nachrichten an Rechner, die diese Nachricht nicht signiert haben. R2 verheimlicht die abweichende Nachricht! M :1 M :1:4 M‘ :1:2 M‘ :1:3 M :1:4:3 M‘ :1:2:4

M‘ :1:3 M‘ :1 M :1:4 M‘ :1:2 M :1:4 M‘ :1 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 - Empfang: Interpreten empfangen abweichende Nachrichten. M :1 M‘ :1:2 M‘ :1:3 M :1:4:3 M‘ :1:2:4

M‘ :1:3 M‘ :1 M :1:4 M‘ :1:2 M :1:4 M‘ :1 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 : Vergleichen der Nachrichteninhalte. M :1 M‘ :1:2 M‘ :1:3 M :1:4:3 M‘ :1:2:4 (M) (M‘,M‘,M,M‘) (M‘,M,M‘,M) (M,M‘,M‘ )

M‘ :1:3 M‘ :1 M :1:4 M‘ :1:2 M :1:4 M‘ :1 M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) M :1 M‘ :1:2 M‘ :1:3 M :1:4:3 M‘ :1:2:4 (M) (M‘,M‘,M,M‘) (M‘,M,M‘,M) (M,M‘,M‘ ) Ende : Übereinstimmendes Verhalten der fehlerfreien Rechner: Nachricht ablehnen.

Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter. M :1 Initiator (R1)Interpreter (R2)

Rechner 1Rechner 2 Rechner 3Rechner 4 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 1 - Senden: Initiator generiert Nachricht, signiert Nachricht und sendet Nachricht an die Interpreter M :1 Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1 M :1 M :1

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Senden: Interpreten signieren Nachricht und senden sie weiter an die Rechner, die die Nachricht noch nicht signiert haben. R3 sendet falsch, R4 sendet gar nicht. M :1 M :1:4 M :1:2 M‘ :3

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 2 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht. Nachricht M‘:3 wird von R2 und R4 abgelehnt. M :1 M :1:2 M‘ :3 M :1:2 M‘ :3

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Phase 3 : Vergleichen der Nachrichteninhalte. M :1 M :1:2 (M) (M,M,?) (M,?,?) (M,M,?)

M :1 Initiator (R1)Interpreter (R2) Interpreter (R3)Interpreter (R4) Ende : Übereinstimmendes Ergebnis der fehlerfreien Rechner: Nachricht verarbeiten. M :1 M :1:2 (M) (M,M,?) (M,?,?) (M,M,?)