Kryptologie Rotor-Maschinen: Beispiele für die Steuerlogik

a7Hzq .#5r< kÜ\as TâÆK$ ûj(Ö2 ñw%h: Úk{4R f~`z8 ¤˜Æ+Ô „&¢Dø

Hier werden fünf Beispiele für die Steuerlogik von Rotor-Maschinen behandelt - zwei idealisierte, die in der Praxis meist komplizierter konstruiert wurden: das Zählwerk und der Stangenkorb, zwei realistische: die ungleichen Antriebszahnräder und die pseudozufällige Weiterschaltung, und eine historische: die Hebern-Maschine. Die Steuerlogik der Enigma wird später behandelt.

Beispiel 1: Das Zählwerk

Hier werden die Rotoren wie bei einem Stromzähler oder Tachometer weitergeschaltet: Jeder Rotor hat einen »Mitnehmer«, einen Nippel, der nach einer vollen Umdrehung den Nachbar-Rotor um eine Stelle weiterbewegt. Die Rotoren sollen dabei wie folgt angeordnet sein:

Die Zustandsfolge sieht allgemein so aus:

Der i-te Zustand wird durch folgende Gleichung beschrieben, wobei das Alphabet S mit Z/nZ identifiziert wird und modulo n addiert wird:

Bemerkungen

1. Der q-te, rechte, Rotor ist in diesem Beispiel ein »schneller« Rotor: Er dreht sich bei jedem Schritt.
2. Dagegen ist der erste, linke, Rotor ein »langsamer« Rotor. Er dreht sich fast nie - nur alle n^q-1 Schritte, also überhaupt nur bei sehr langen Nachrichten.
3. Die Zählerfortschaltung kann natürlich genauso leicht auch umgekehrt realisiert werden, so dass der linke, der Input-Rotor, der schnelle und der rechte, der Output-Rotor, der langsame ist.
4. Einer andere, in der Praxis auch verwendete Methode ist, den j-ten Rotor nicht erst nach n^q-j Schritten weiterzubewegen, sondern schon wenn der Zustand z_i,j-1 = n erreicht wird. Das ist je nach Anfangszustand viel früher und entspricht mehr der intuitiven Vorstellung von einem Zähler.
5. In jedem Fall hat die Zustandsfolge die Periode n^q.

Beispiel 2: Zahnlückenrad und Stangenkorb

Eine unregelmäßige Fortschaltung, bei der es aber keine langen Pausen für einzelne Rotoren gibt, kann man erreichen, indem man jeden Rotor durch ein Zahnrad antreibt, das unterschiedliche Lücken hat:

Die ersten Modelle der Enigma (Modell A und B) hatten solche Antriebszahnräder (die außerdem auch noch verschiedene Umfänge hatten). Eine andere Realisierung dieses Prinzips, der »Stangenkorb« wurde von Hagelin erfunden und ist bei der M-209 im geöffneten Zustand deutlich zu erkennen [bei der er aber auf etwas andere Weise wirkt - die M-209 ist ein Schlüssel-Erzeuger und keine elektrische Rotor-Maschine]. Anstelle der individuellen Zahnräder wird ein Zylinder verwendet, der über die ganze Breite des Walzenkorbs reicht und an entsprechenden Stellen Mitnehmer für die einzelnen Rotoren hat. Die Wand des Zylinders besteht aus Stangen, auf denen als Mitnehmer aufsteckbare oder zumindest verschiebbare Nippel angebracht sind.

Ein einzelnes Antriebsrad kann man durch einen binären Vektor charakterisieren: 1 bedeutet Zahn, 0 bedeutet Zahnlücke:

u_(j) = (u_j0,...,u_j,t-1) Î F₂^t     für j = 1, ..., q;

beschreiben. Die Spaltenvektoren

u⁽ⁱ⁾ = (u_1i,...,u_q,i) Î F₂^q     für i = 0, ..., t-1

Die Zustandsänderung wird damit so beschrieben: Im Schritt i bewegt sich der j-te Rotor

• nicht, wenn u_ji = 0,
• um eine Position, wenn u_ji = 1.

z⁽ⁱ⁺¹⁾ = z⁽ⁱ⁾ + u⁽ⁱ⁾,

Beispiel 3: Die ungleichen Antriebszahnräder

Hier hat jeder Rotor ein eigenes Antriebszahnrad; diese sitzen auf einer gemeinsamen Achse und machen bei jedem Buchstaben eine volle Drehung. Rotor 1 wird also um n₁ Stellungen weitergedreht, wenn n₁ die Zahl der Zähne seines Antriebsrades ist. Analog für die anderen Rotoren. Die Periode des Zustandes ist daher das kgV(n₁, ...,n_q). Besonders günstig sind also paarweise teilerfremde Zahnanzahlen, z. B. die Folge 17, 19, 21, 23, 25, 29, 31, 32.

Dieses Prinzip wurde - mit Zahnlückenrädern - bei den ersten Versionen der Enigma mit den Zahlen 11, 15, 17, 19 verwendet.

Beispiel 4: Die pseudozufällige Weiterschaltung

Hierbei wird die Folge der Weiterschaltungen für jeden Rotor nach einem Pseudozufallszahlen-Algorithmus bestimmt; in einer Computersimulation ist das leicht, für eine elektromechanische Rotormaschine kann man etwa zusätzlich einen Schlüsselerzeuger wie die späteren Hagelin-Maschinen zur Steuerung des Antriebs verwenden. Nach diesem Prinzip soll die amerikanische Super-Rotormaschine SIGABA gearbeitet haben.

Beispiel 5: Die Hebern-Maschine

Die Hebern-Maschine hat q = 5 Rotoren und verwendet das Standard-Alphabet mit n = 26. Die Steuerlogik ist ein Zählwerk, wobei allerdings nicht der benachbarte Rotor, sondern über eine etwas kompliziertere Mechanik ein anderer weitergeschaltet wird, und zwar genauer:

• Die Rotoren 2 und 4 drehen sich gar nicht (»Statoren«).
• Rotor 5 dreht sich bei jedem Schritt um 1 weiter, ist also ein schneller Rotor.
• Rotor 1 wird bei jeder vollen Umdrehung von Rotor 5 um eine Position mitgenommen, ist also ein mittelschneller Rotor.
• Rotor 3 wird bei jeder vollen Umdrehung von Rotor 1 um eine Position mitgenommen, ist also ein langsamer Rotor.

Die Zustandsänderung folgt also der Gleichung (im wesentlichen - siehe »Besonderheiten«)

g(z₁, z₂, z₃, z₄, z₅) = (z₁+l(z₅), z₂, z₃+l(z₁)l(z₅), z₄, z₅+1)

mit l(x) = d_x,25 (Kronecker-Symbol).

Besonderheiten

• Der Verzicht auf die Drehung der Rotoren 2 und 4 ist kein Verlust an Sicherheit, wenn sie nach dem Zählwerk-Prinzip sowieso erst nach 26³ = 17576 bzw. 26⁴ Schritten bewegt würden. Solch lange Nachrichten kommen in der Praxis der damaligen Zeit nicht vor.
• Das Weiterschalten von Rotor 1 bzw. 3 geschieht immer dann, wenn Rotor 5 bzw. 1 von der Stellung »N« weiterschaltet. Die korrekte Form der Gleichung für die Zustandsänderung bleibt dem Leser überlassen [Übungsaufgabe].
• Die Verdrahtung von der Tastatur zum Rotor 1 einerseits und vom Rotor 5 zu den Glühlämpchen andererseits ist unregelmäßig und definiert somit jeweils eine feste zusätzliche Substitution (die allerdings als dem Gegner bekannt angenommen werden muss).
• Zum Zwecke der Entschlüsselung wird ein Schalter »Direct/Reverse« umgelegt, der Input- und Output-Kontakte vertauscht.
• Die Rotoren der Hebern-Maschine sind äußerlich symmetrisch, können also auch umgekehrt eingesetzt werden. Dadurch vergrößert sich die Zahl der Möglichkeiten, also der Primärschlüssel-Raum deutlich (um den Faktor 2⁵).