Signed Messages - Protokoll
• Fehlerfreier Fall
• Fehlerhafte Fälle– Einzelfehler– Doppelfehler
Rechner 1 Rechner 2
Rechner 3 Rechner 4
Rechner 1 Rechner 2
Rechner 3 Rechner 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 1 Rechner 2
Rechner 3 Rechner 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:2M :1
M :1 M :1M :1:3 M :1:4
M :1 M :1
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:2M :1:2
M :1:3
M :1:3
M :1:4
M :1:4
M :1:2 M :1 M :1
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:3
M :1:4
M :1:4
(M) (M,M,M)
(M,M,M)(M,M,M)
M :1:2 M :1 M :1
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:3
M :1:4
M :1:4
(M) (M,M,M)
(M,M,M)(M,M,M)
Ende:
Übereinstimmendes Ergebnis aller Rechner --> M
Einzelfehler• Interpreter fehlerhaft
– Nicht senden– Unvollständig senden– Falsche Nachricht senden– Signatur „fälschen“
• Initiator fehlerhaft– Nicht senden– Unvollständig senden– Falsche 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 1 Rechner 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 :1M :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:2M :1
M :1M :1:3 M :1:4
M :1 M :1
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:2M :1:2
M :1:3
M :1:3
M :1:2 M :1 M :1
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:3
(M) (M,M,?)
(M,M,M)(M,M,?)
M :1:2 M :1 M :1
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: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 1 Rechner 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 :1M :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:2M :1
M :1M :1:3 M :1:4
M :1 M :1
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:2M :1:2
M :1:3
M :1:3
M :1:4
M :1:2 M :1 M :1
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:3
M :1:4
(M) (M,M,?)
(M,M,M)(M,M,M)
M :1:2 M :1 M :1
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:3
M :1:4
(M) (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
M :1M :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:2M :1
M :1M :1:3 M‘ :4
M :1 M :1
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.
R2,R3 verweigern Empfang von M‘:4 da nur eine Signatur.
M :1:2M :1:2
M :1:3
M :1:3
M‘ :4
M‘ :4M‘ :4
M‘ :4
M :1:2 M :1 M :1
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:3
(M) (M,M,?)
(M,M,M)(M,M,?)
M :1:2 M :1 M :1
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: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 1 Rechner 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 :1M :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:2M :1
M :1M :1:3 M‘:1:4
M :1 M :1
M :1
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:2M :1:2
M :1:3
M :1:3
M‘:1:4
M‘:1:4
Initiator (R1)
M :1
M :1:3
M :1M :1:2
M :1:3
M‘:1:4
M :1:2M :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:4M‘:1:4:3
Initiator (R1)
M‘:1:4
M :1M :1:2
M‘:1:4M :1
M :1:3
M :1:3
M :1:2M :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 M :1
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 :1:3
(M)
(M,M,M)(M,M,M‘,M‘)
M‘:1:4
(M,M,M‘,M‘)
M‘:1:4M‘: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 M :1
M :1
Initiator (R1) Interpreter (R2)
M :1
M :1:2
M :1:3
M :1:3
(M)
(M,M,M)(M,M,M‘,M‘)
M‘:1:4
(M,M,M‘,M‘)
M‘:1:4M‘: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
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 1 Rechner 2
Rechner 3 Rechner 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 :1M :1:3
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: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 M :1:3:4
M :1:3:2
M :1:3
M :1:3M :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 :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 :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 :1M‘:1
Rechner 1 Rechner 2
Rechner 3 Rechner 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 :1M‘: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 M :1:2M :1:2
M :1:4
M :1:4
M‘:1:3
M‘:1:3
M‘:1:3
M :1:2
M :1:4
M :1:2
M :1:4
M‘:1 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:3
M :1:2
M :1:4
M :1:2
M :1:4
M‘:1 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:3
M :1:2
M :1:4
M :1:2
M :1:4
M‘:1 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:3
M :1:2
M :1:4
M :1:2
M :1:4
M‘:1 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ögern– Fälschen und verheimlichen
• Zwei Interpreter fehlerhaft– Fä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 :1M‘:1
Initiator (R1) Interpreter (R2)
Rechner 1 Rechner 2
Rechner 3 Rechner 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
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:2
M :1 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:3M :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:4M‘:1:2
M :1
M :1:3M :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:4M‘:1:2
M‘:1:2M‘:1:2
M :1
M :1:3M :1:4
M :1
Initiator (R1) Interpreter (R2)
Interpreter (R3) Interpreter (R4)
Phase 3 :
Vergleichen der Nachrichteninhalte.
M :1
M :1:3
M :1:4M‘:1:2
(M)
(M,M,?)
(M,M,M‘)
(M,M,? )
M :1
M :1:3M :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:4M‘: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 :1M‘:1
Initiator (R1) Interpreter (R2)
Rechner 1 Rechner 2
Rechner 3 Rechner 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
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
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
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: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 1 Rechner 2
Rechner 3 Rechner 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 :1M :1
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
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.
Nachricht M‘:3 wird von R2 und R4 abgelehnt.
M :1
M :1:2
M‘:3
M :1:2
M‘:3
M‘:3
M‘:3
M :1
M :1
M :1
Initiator (R1) Interpreter (R2)
Interpreter (R3) Interpreter (R4)
Phase 3 :
Vergleichen der Nachrichteninhalte.
M :1
M :1:2M :1:2
(M)
(M,M,?)
(M,?,?)
(M,M,?)
M :1
M :1
M :1
Initiator (R1) Interpreter (R2)
Interpreter (R3) Interpreter (R4)
Ende :
Übereinstimmendes Ergebnis der fehlerfreien Rechner:
Nachricht verarbeiten.
M :1
M :1:2M :1:2
(M)
(M,M,?)
(M,?,?)
(M,M,?)