MixColumns Rijndael

Langkah Templat:Mono dan langkah Templat:Mono adalah sumber penghamburan utama dalam penyandian Rijndael. Tiap kolom dianggap sebagai suku banyak berderajat empat $b (x) = b_{3} x^{3} + b_{2} x^{2} + b_{1} x + b_{0}$ yang suku-sukunya berada dalam $GF (2^{8})$ .

Tiap kolom dikali dengan suku banyak tetap $a (x) = 3 x^{3} + x^{2} + x + 2$ modulus $x^{4} + 1$ . Inversi suku banyaknya adalah $a^{- 1} (x) = 11 x^{3} + 13 x^{2} + 9 x + 14$ .

MixColumns

Operasi ini terdiri dari perkalian modulus dua suku banyak berderajat empat yang koefisiennya ada dalam $GF (2^{8})$ . Pembagi yang dipakai dalam operasi ini adalah $x^{4} + 1$ .

Koefisien suku banyak pertama didefinisikan sebagai kolom status $[\begin{matrix} b_{3} & b_{2} & b_{1} & b_{0} \end{matrix}]$ yang berisi empat bita. Tiap bita adalah koefisien dari suku banyak tersebut.

b (x) = b_{3} x^{3} + b_{2} x^{2} + b_{1} x + b_{0}

Suku banyak kedua adalah suku banyak tetap $a (x) = 3 x^{3} + x^{2} + x + 2$ . Koefisiennya juga ada dalam $GF (2^{8})$ . Inversinya adalah $a^{- 1} (x) = 11 x^{3} + 13 x^{2} + 9 x + 14$ .

Dalam halaman ini, kita definisikan beberapa notasi berikut:

\otimes

berarti perkalian modulus

x^{4} + 1

.

\oplus

berarti pertambahan dalam

GF (2^{8})

.

∙

berarti perkalian dalam

GF (2^{8})

.

Pertambahan dalam $GF (2^{8})$ memiliki sifat berikut:

\begin{matrix} (a_{3} x^{3} + a_{2} x^{2} + a_{1} x + a_{0}) + (b_{3} x^{3} + b_{2} x^{2} + b_{1} x + b_{0}) \\ = & (a_{3} \oplus b_{3}) x^{3} + (a_{2} \oplus b_{2}) x^{2} + (a_{1} \oplus b_{1}) x + (a_{0} \oplus b_{0}) \end{matrix}

Pembuktian bentuk matriks

Suku banyak $a (x) = 3 x^{3} + x^{2} + x + 2$ akan dinyatakan sebagai $a (x) = a_{3} x^{3} + a_{2} x^{2} + a_{1} x + a_{0}$ .

Perkalian suku banyak

\begin{matrix} a (x) ∙ b (x) = c (x) & = (a_{3} x^{3} + a_{2} x^{2} + a_{1} x + a_{0}) ∙ (b_{3} x^{3} + b_{2} x^{2} + b_{1} x + b_{0}) \\ = c_{6} x^{6} + c_{5} x^{5} + c_{4} x^{4} + c_{3} x^{3} + c_{2} x^{2} + c_{1} x + c_{0} \end{matrix}

dengan

\begin{matrix} c_{0} & = a_{0} ∙ b_{0} \\ c_{1} & = a_{1} ∙ b_{0} \oplus a_{0} ∙ b_{1} \\ c_{2} & = a_{2} ∙ b_{0} \oplus a_{1} ∙ b_{1} \oplus a_{0} ∙ b_{2} \\ c_{3} & = a_{3} ∙ b_{0} \oplus a_{2} ∙ b_{1} \oplus a_{1} ∙ b_{2} \oplus a_{0} ∙ b_{3} \\ c_{4} & = a_{3} ∙ b_{1} \oplus a_{2} ∙ b_{2} \oplus a_{1} ∙ b_{3} \\ c_{5} & = a_{3} ∙ b_{2} \oplus a_{2} ∙ b_{3} \\ c_{6} & = a_{3} ∙ b_{3} \end{matrix}

Reduksi modulus

Hasil $c (x)$ adalah suku banyak berderajat tujuh sehingga harus direduksi menjadi kata empat bita. Hal itu dilakukan dengan melakukan perkalian dengan modulus $x^{4} + 1$ .

Bila kita melakukan perkalian modulus suku banyak, kita bisa lihat bahwa

\begin{matrix} x^{6} mod (x^{4} + 1) & = - x^{2} = x^{2} dalam GF (2^{8}) \\ x^{5} mod (x^{4} + 1) & = - x = x dalam GF (2^{8}) \\ x^{4} mod (x^{4} + 1) & = - 1 = 1 dalam GF (2^{8}) \end{matrix}

Secara umum, kita bisa nyatakan bahwa $x^{i} mod (x^{4} + 1) = x^{i mod 4} .$

Jadi,

\begin{matrix} a (x) \otimes b (x) = c (x) mod (x^{4} + 1) \\ = & (c_{6} x^{6} + c_{5} x^{5} + c_{4} x^{4} + c_{3} x^{3} + c_{2} x^{2} + c_{1} x + c_{0}) mod (x^{4} + 1) \\ = & c_{6} x^{6 mod 4} + c_{5} x^{5 mod 4} + c_{4} x^{4 mod 4} + c_{3} x^{3 mod 4} + c_{2} x^{2 mod 4} + c_{1} x^{1 mod 4} + c_{0} x^{0 mod 4} \\ = & c_{6} x^{2} + c_{5} x + c_{4} + c_{3} x^{3} + c_{2} x^{2} + c_{1} x + c_{0} \\ = & c_{3} x^{3} + (c_{2} \oplus c_{6}) x^{2} + (c_{1} \oplus c_{5}) x + c_{0} \oplus c_{4} \\ = & d_{3} x^{3} + d_{2} x^{2} + d_{1} x + d_{0} \end{matrix}

dengan

\begin{matrix} d_{0} & = c_{0} \oplus c_{4} \\ d_{1} & = c_{1} \oplus c_{5} \\ d_{2} & = c_{2} \oplus c_{6} \\ d_{3} & = c_{3} \end{matrix}

Bentuk matriks

Koefisien $d_{3}$ , $d_{2}$ , $d_{1}$ , dan $d_{0}$ dapat dinyatakan sebagai berikut:

\begin{matrix} d_{0} & = a_{0} ∙ b_{0} \oplus a_{3} ∙ b_{1} \oplus a_{2} ∙ b_{2} \oplus a_{1} ∙ b_{3} \\ d_{1} & = a_{1} ∙ b_{0} \oplus a_{0} ∙ b_{1} \oplus a_{3} ∙ b_{2} \oplus a_{2} ∙ b_{3} \\ d_{2} & = a_{2} ∙ b_{0} \oplus a_{1} ∙ b_{1} \oplus a_{0} ∙ b_{2} \oplus a_{3} ∙ b_{3} \\ d_{3} & = a_{3} ∙ b_{0} \oplus a_{2} ∙ b_{1} \oplus a_{1} ∙ b_{2} \oplus a_{0} ∙ b_{3} \end{matrix}

Ketika kita ganti koefisien $a (x)$ dengan tetapan $[\begin{matrix} 3 & 1 & 1 & 2 \end{matrix}]$ yang dipakai oleh penyandian ini, kita dapatkan hasil berikut:

\begin{matrix} d_{0} & = 2 ∙ b_{0} \oplus 3 ∙ b_{1} \oplus 1 ∙ b_{2} \oplus 1 ∙ b_{3} \\ d_{1} & = 1 ∙ b_{0} \oplus 2 ∙ b_{1} \oplus 3 ∙ b_{2} \oplus 1 ∙ b_{3} \\ d_{2} & = 1 ∙ b_{0} \oplus 1 ∙ b_{1} \oplus 2 ∙ b_{2} \oplus 3 ∙ b_{3} \\ d_{3} & = 3 ∙ b_{0} \oplus 1 ∙ b_{1} \oplus 1 ∙ b_{2} \oplus 2 ∙ b_{3} \end{matrix}

Hal ini menunjukkan bahwa operasi ini mirip dengan sandi Hill. Ia dapat digambarkan sebagai perkalian matriks berikut:

[\begin{matrix} d_{0} \\ d_{1} \\ d_{2} \\ d_{3} \end{matrix}] = [\begin{matrix} 2 & 3 & 1 & 1 \\ 1 & 2 & 3 & 1 \\ 1 & 1 & 2 & 3 \\ 3 & 1 & 1 & 2 \end{matrix}] [\begin{matrix} b_{0} \\ b_{1} \\ b_{2} \\ b_{3} \end{matrix}]

InverseMixColumns

Operasi Templat:Mono memiliki inversi berikut (bilangan dalam desimal).

[\begin{matrix} b_{0} \\ b_{1} \\ b_{2} \\ b_{3} \end{matrix}] = [\begin{matrix} 14 & 11 & 13 & 9 \\ 9 & 14 & 11 & 13 \\ 13 & 9 & 14 & 11 \\ 11 & 13 & 9 & 14 \end{matrix}] [\begin{matrix} d_{0} \\ d_{1} \\ d_{2} \\ d_{3} \end{matrix}]

atau

\begin{matrix} b_{0} & = 14 ∙ d_{0} \oplus 11 ∙ d_{1} \oplus 13 ∙ d_{2} \oplus 9 ∙ d_{3} \\ b_{1} & = 9 ∙ d_{0} \oplus 14 ∙ d_{1} \oplus 11 ∙ d_{2} \oplus 13 ∙ d_{3} \\ b_{2} & = 13 ∙ d_{0} \oplus 9 ∙ d_{1} \oplus 14 ∙ d_{2} \oplus 11 ∙ d_{3} \\ b_{3} & = 11 ∙ d_{0} \oplus 13 ∙ d_{1} \oplus 9 ∙ d_{2} \oplus 14 ∙ d_{3} \end{matrix}

Contoh implementasi

Operasi ini dapat disederhanakan dalam implementasinya dengan mengganti perkalian dengan dua dengan geseran tunggal dan XOR bersyarat serta mengganti perkalian dengan tiga dengan perkalian dengan dua yang digabung dengan XOR. Berikut contoh implementasi dalam bahasa C.

void gmix_column(unsigned char *r) {
	unsigned char a[4];
	unsigned char b[4];
	unsigned char c;
	unsigned char h;
	/* Larik a adalah salinan dari larik r.
	 * Larik b adalah larik a yang dikali dua dalam medan berhingga Rijndael.
	 * a[n] ^ b[n] adalah perkalian dengan tiga dalam medan berhingga Rijndael.
	 */
	for (c = 0; c < 4; c++) {
		a[c] = r[c];
		/* h adalah 0xff jika bit tinggi r[c] diatur; nilainya 0 jika tidak */
		h = (unsigned char) ((signed char) r[c] >> 7); /* geseran aritmetika kanan */
		b[c] = r[c] << 1; /* secara tersirat menghapus bit tinggi karena b[c] adalah char 8 bit,
		                   * maka di-XOR dengan 0x1B dan bukan 0x11B pada baris selanjutnya */
		b[c] ^= 0x1B & h; /* medan berhingga Rijndael */
	}
	r[0] = b[0] ^ a[3] ^ a[2] ^ b[1] ^ a[1]; /* 2 * a0 + a3 + a2 + 3 * a1 */
	r[1] = b[1] ^ a[0] ^ a[3] ^ b[2] ^ a[2]; /* 2 * a1 + a0 + a3 + 3 * a2 */
	r[2] = b[2] ^ a[1] ^ a[0] ^ b[3] ^ a[3]; /* 2 * a2 + a1 + a0 + 3 * a3 */
	r[3] = b[3] ^ a[2] ^ a[1] ^ b[0] ^ a[0]; /* 2 * a3 + a2 + a1 + 3 * a0 */
}

Vektor uji untuk MixColumns

Heksadesimal		Desimal
Sebelum	Setelah	Sebelum	Setelah
db 13 53 45	8e 4d a1 bc	219 19 83 69	142 77 161 188
f2 0a 22 5c	9f dc 58 9d	242 10 34 92	159 220 88 157
01 01 01 01	01 01 01 01	1 1 1 1	1 1 1 1
c6 c6 c6 c6	c6 c6 c6 c6	198 198 198 198	198 198 198 198
d4 d4 d4 d5	d5 d5 d7 d6	212 212 212 213	213 213 215 214
2d 26 31 4c	4d 7e bd f8	45 38 49 76	77 126 189 248

Daftar pustaka

FIPS PUB 197: Dokumen resmi AES

MixColumns Rijndael

Daftar isi

MixColumns

Pembuktian bentuk matriks

Perkalian suku banyak

Reduksi modulus

Bentuk matriks

InverseMixColumns

Contoh implementasi

Vektor uji untuk MixColumns

Daftar pustaka

Menu navigasi

MixColumns Rijndael

MixColumns

Pembuktian bentuk matriks

Perkalian suku banyak

Reduksi modulus

Bentuk matriks

InverseMixColumns

Contoh implementasi

Vektor uji untuk MixColumns

Daftar pustaka

Menu navigasi

Pencarian