Feistel cipher
|
|
In cryptography, a Feistel cipher is a block cipher with a particular structure, named after IBM cryptographer Horst Feistel; it is also commonly known as a Feistel network. A large proportion of block ciphers use the scheme, including the Data Encryption Standard (DES). The Feistel structure has the advantage that encryption and decryption operations are very similar, even identical in some cases, requiring only a reversal of the key schedule. Therefore the size of the code or circuitry required to implement such a cipher is nearly halved.
Feistel networks were first seen commercially in IBM's Lucifer cipher, designed by Feistel and Don Coppersmith. Feistel networks gained respectability when the US Federal Government adopted the DES (a cipher based on Lucifer, with changes made by the NSA). Like other components of the DES, the iterative nature of the Feistel construction makes implementing the cryptosystem in hardware easier (particularly on the hardware available at the time of DES' design). Things have changed in the decades since as hardware has become more capable.
Feistel networks and similar constructions are product ciphers, and so combine multiple rounds of repeated operations, such as:
- Bit-shuffling (often called permutation boxes or P-boxes)
- Simple non-linear functions (often called substitution boxes or S-boxes)
- Linear mixing (in the sense of modular algebra) using XOR
to produce a function with large amounts of what Claude Shannon described as "confusion and diffusion".
Bit shuffling creates the diffusion effect, while substitution is used for confusion.
Many modern symmetric block ciphers are based on Feistel networks, and the structure and properties of Feistel ciphers have been extensively explored by cryptographers.
The basic operation is as follows:
Split the plaintext block into two equal pieces, (<math>L_0<math>, <math>R_0<math>)
For each round <math>i =1,2,\dots,n<math>, compute
- <math>L_i = R_{i-1}<math>
- <math>R_i = L_{i-1} \oplus f(R_{i-1}, K_i)<math>
where <math>f<math> is the round function and <math>K_i<math> is the sub-key.
Then the ciphertext is (<math>L_n<math>, <math>R_n<math>).
Regardless of the function <math>f<math>, decryption is accomplished via
- <math>R_{i-1} = L_i<math>
- <math>L_{i-1} = R_i \oplus f(L_i, K_i)<math>
One advantage of this model is that the function used does not have to be invertible, and can be very complex.
This diagram illustrates both encryption and decryption. Note the reversal of the subkey order for decryption; this is the only difference between encryption and decryption:
Missing image
Feistel.png
Image:Feistel.png
Unbalanced Feistel ciphers use a modified structure where L0 and R0 are not of equal lengths. The Skipjack encryption algorithm is an example of such a cipher.
List of Feistel ciphers
Feistel or modified Feistel: Blowfish, Camellia, CAST-128, DES, FEAL, KASUMI, LOKI97, Lucifer, MAGENTA, MISTY1, RC5, TEA, Triple DES, Twofish, XTEA
Generalised Feistel: CAST-256, MacGuffin, RC2, RC6, Skipjack
See also
| Block ciphers edit (https://academickids.com:443/encyclopedia/index.php?title=Template:Block_ciphers&action=edit) |
| Algorithms: 3-Way | AES | Akelarre | Blowfish | Camellia | CAST-128 | CAST-256 | CMEA | DEAL | DES | DES-X | FEAL | FOX | FROG | G-DES | GOST | ICE | IDEA | Iraqi | KASUMI | KHAZAD | Khufu and Khafre | LOKI89/91 | LOKI97 | Lucifer | MacGuffin | Madryga | MAGENTA | MARS | MISTY1 | MMB | NewDES | RC2 | RC5 | RC6 | REDOC | Red Pike | S-1 | SAFER | SEED | Serpent | SHACAL | SHARK | Skipjack | Square | TEA | Triple DES | Twofish | XTEA |
| Design: Feistel network | Key schedule | Product cipher | S-box | SPN Attacks: Brute force | Linear / Differential cryptanalysis | Mod n | XSL Standardisation: AES process | CRYPTREC | NESSIE Misc: Avalanche effect | Block size | IV | Key size | Modes of operation | Piling-up lemma | Weak key |