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,?)