Feistelchiffre

Feistelchiffre nennt man eine Blockverschlüsselung, die in Form eines Feistelnetzwerks aufgebaut ist. Dieses ist eine allgemeine Struktur, mit der Blockverschlüsselungen realisiert werden können. Ein Mitarbeiter von IBM, Horst Feistel, gilt als der Erfinder dieser Struktur. Er arbeitete in den 1970er Jahren mit anderen am sogenannten Projekt „Lucifer“, dessen Ziel es war, eine effiziente Verschlüsselungstechnologie zu entwickeln. Lucifer und der daraus abgeleitete DES-Algorithmus stellen ein Feistelnetzwerk dar.

Viele moderne symmetrische Verschlüsselungsverfahren basieren auf Feistelnetzwerken, weil man damit leicht die Umkehrbarkeit (Bijektivität) der Verschlüsselung sicherstellen kann. Damit ist die notwendige Grundbedingung für Blockchiffren erfüllt, dass es bei der Abbildung von Chiffreblöcken auf Klartextblöcke bei der Entschlüsselung zu keinen Mehrdeutigkeiten kommt. Weiterhin wurde die Feistel-Struktur von sehr vielen Kryptologen analysiert und für gut befunden.

Arbeitsweise

Struktur einer Feistelchiffre

Wie es der Name „Blockchiffre“ schon nahelegt, wird der Klartext in Blöcke zerlegt, die jeweils für sich verschlüsselt werden. Die Größe der Blöcke hängt vom jeweiligen Verschlüsselungsverfahren ab, oft ist sie ein Vielfaches von 64 Bit. Ein Block wird zuerst in zwei (meist gleich große) Teile geteilt: $P=L_{1}\|R_{1}$ . Dann wird er in $n$ aufeinanderfolgenden Runden verschlüsselt. In jeder Runde wird einer dieser Teilblöcke zusammen mit einem Rundenschlüssel in eine Rundenfunktion eingegeben und deren Ausgabe mit dem anderen Teilblock verknüpft. In Runde $i$ ( $i$ läuft von 1 bis $n$ ) wird folgende Formel angewendet:

L_{i 1}\!\,=R_{i}

,

R_{i 1}\!\,=L_{i}\oplus F(R_{i},K_{i})

.

Dabei ist $F$ die sogenannte Runden- oder Transformationsfunktion und $K_{1}$ bis $K_{n}$ sind die Rundenschlüssel. $\oplus$ steht für eine einfach umkehrbare Verknüpfung. Oft verwendet man das bitweise XOR, das mit seiner Umkehrung identisch, d. h. selbstinvers ist. Der verschlüsselte Text am Ende der Runden ist die Zusammenführung $C=L_{n 1}\|R_{n 1}$ .

Feistelnetzwerke ermöglichen eine Entschlüsselung, ohne dass die Umkehrfunktion von $F$ benötigt wird. Will man einen Geheimtext dechiffrieren, führt man die Schritte der obigen Formel in umgekehrter Reihenfolge aus, wobei man $i$ von $n$ bis 1 laufen lässt:

R_{i}\!\,=L_{i 1}

,

L_{i}\!\,=R_{i 1}\ominus F(L_{i 1},K_{i})

.

$\ominus$ steht für die Umkehrung von $\oplus$ . Zum Beispiel kann $\oplus$ , alternativ zu XOR, die Addition modulo $2^{b}$ sein, mit $b$ als Länge eines Teilblocks in Bit, und $\ominus$ ist dann die Subtraktion modulo $2^{b}$ . Beide können auf den meisten Digitalrechnern einfach berechnet werden, denn die Modulo-Division ergibt sich von selbst durch das Abschneiden eines eventuellen Überlaufbits. Beispiel: XTEA.

Die Verknüpfung kann auch komplexer ausfallen und z. B. auch Bitrotationen enthalten. Beispiele dafür sind RC5 und RC6.

Variante

Manche Verfahren verknüpfen auch die Rundenschlüssel direkt mit den Teilblöcken, und die Rundenfunktion $F$ erhält dann (meist) keinen Rundenschlüssel, sondern nur einen Teilblock als Eingabe:

L_{i 1}\!\,=R_{i}\circ K_{i}

,

R_{i 1}\!\,=L_{i}\oplus F(L_{i 1})

.

$\oplus$ und $\circ$ stehen wiederum für (nicht unbedingt verschiedene) einfach invertierbare Verknüpfungen. Beispiele: RC5, RC6, Blowfish.

Aufteilung in Teilblöcke

Ein balanciertes Feistelnetzwerk (BFN) liegt dann vor, wenn die beiden Teile, in die der Datenblock geteilt wird, gleich groß sind. Sind anderenfalls die Teile verschieden groß, nennt man es ein unbalanciertes (nicht-balanciertes) Feistelnetzwerk (UFN). Es kommt auch vor, dass die Aufteilung in die beiden Teilblöcke in jeder Runde eine andere ist, was beispielsweise für die MIXING-Funktion von RC2 gilt.

Anwendungen

Die folgenden Chiffren sind weitere Beispiele für Feistelnetzwerke:

Siehe auch

Die Blockverschlüsselungen IDEA und IDEA NXT beruhen auf einem ähnlichen Prinzip, dem Lai-Massey-Schema.
Substitutions-Permutations-Netzwerk

Literatur

Horst Feistel: Cryptography and Computer Privacy. In: Scientific American. 228. Jahrgang, Nr. 5, Mai 1973, S. 15–23 (apprendre-en-ligne.net).

Weblinks

Beispielprogramm zur Berechnung