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

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: ${\displaystyle P=L_{1}\|R_{1}}$. Dann wird er in ${\displaystyle 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 ${\displaystyle i}$ (${\displaystyle i}$ läuft von 1 bis ${\displaystyle n}$) wird folgende Formel angewendet:

${\displaystyle L_{i+1}\!\,=R_{i}}$,

${\displaystyle R_{i+1}\!\,=L_{i}\oplus F(R_{i},K_{i})}$.

Dabei ist ${\displaystyle F}$ die sogenannte Runden- oder Transformationsfunktion und ${\displaystyle K_{1}}$ bis ${\displaystyle K_{n}}$ sind die Rundenschlüssel. ${\displaystyle \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 ${\displaystyle C=L_{n+1}\|R_{n+1}}$.

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

${\displaystyle R_{i}\!\,=L_{i+1}}$,

${\displaystyle L_{i}\!\,=R_{i+1}\ominus F(L_{i+1},K_{i})}$.

${\displaystyle \ominus }$ steht für die Umkehrung von ${\displaystyle \oplus }$. Zum Beispiel kann ${\displaystyle \oplus }$, alternativ zu XOR, die Addition modulo ${\displaystyle 2^{b}}$ sein, mit ${\displaystyle b}$ als Länge eines Teilblocks in Bit, und ${\displaystyle \ominus }$ ist dann die Subtraktion modulo ${\displaystyle 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.

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

Anwendungen

Die folgenden Chiffren sind weitere Beispiele für Feistelnetzwerke:

• CAST
• DES/Triple-DES
• FEAL
• MARS
• TEA
• Twofish
• MISTY1
• Camellia
• Magenta
• RC2

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