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

Präsentation zum Thema: "Signed Messages - Protokoll Fehlerfreier Fall Fehlerhafte Fälle –EinzelfehlerEinzelfehler –DoppelfehlerDoppelfehler."—  Präsentation transkript:

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

2 Rechner 1Rechner 2 Rechner 3Rechner 4

3 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

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 Phase 1 - Empfang: Interpreten empfangen Nachricht, prüfen Signaturen und verarbeiten Inhalt der Nachricht M :1 M :1 M :1

5 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

6 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

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

8 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

9 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

10 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

11 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

12 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

13 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

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

15 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

16 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

17 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

18 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

19 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

20 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)

21 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

22 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

23 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

24 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

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

26 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

27 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

28 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

29 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

30 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)

31 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)

32 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)

33 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

34 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)

35 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

36 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...

37 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...

38 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.

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

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

41 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

42 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

43 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

44 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

45 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

46 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

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

48 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

49 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

50 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

51 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

52 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

53 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

54 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

55 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

56 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

57 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

58 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)

59 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

60 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

61 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

62 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

63 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

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

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

66 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)

67 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

68 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

69 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

70 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

71 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

72 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‘ )

73 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.

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

75 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

76 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

77 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

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

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