Penyandian blok

Penyandian blok adalah penyandian kunci simetris yang bekerja pada sekelompok bit berukuran tetap yang disebut blok. Mereka tergolong komponen dasar dan dipakai dalam banyak protokol kriptografi dan enkripsi data berukuran besar.

Meski penyandian blok hanya cocok untuk mengenkripsi satu blok data dalam satu waktu dan satu kunci, beberapa mode operasi penyandian blok telah didesain untuk membolehkan penyandian blok dipakai berulang secara aman untuk mencapai keamanan konfidensial dan autentik. Namun, penyandian blok juga bisa jadi komponen pembangun dalam berbagai protokol kriptografi, seperti fungsi hash universal dan pembangkit bilangan acak semu.

Definisi

Suatu penyandian blok terdiri dari sepasang algoritme: enkripsi Templat:Var serif dan dekripsi Templat:Var serif. Kedua algoritme menerima dua masukan: blok data berukuran Templat:Var serif bit dan kunci berukuran Templat:Var serif bit. Algoritme dekripsi adalah inversi fungsi enkripsi, yaitu Templat:Math. Secara matematis, suatu penyandian blok didefinisikan oleh sebuah fungsi enkripsi

$E_K(P)=E(K,P):\{0,1{\}}^k\times \{0,1{\}}^n\to \{0,1{\}}^n$

yang menerima kunci Templat:Var serif berukuran Templat:Var serif bit (disebut ukuran kunci) dan teks asal Templat:Var serif berukuran Templat:Var serif (disebut ukuran blok) serta mengeluarkan teks tersandi Templat:Var serif berukuran Templat:Var serif bit. Untuk tiap Templat:Var serif, fungsi Templat:Var serif_{Templat:Var serif}(Templat:Var serif) wajib memiliki pemetaan yang dapat dibalik dalam Templat:Math. Inversi fungsi Templat:Var serif didefinisikan sebagai fungsi

$E_K^{-1}(C)=D_K(C)=D(K,C):\{0,1{\}}^k\times \{0,1{\}}^n\to \{0,1{\}}^n$

yang menerima kunci Templat:Var serif dan teks tersandi Templat:Var serif serta mengeluarkan teks asal Templat:Var serif dengan syarat

$\mathrm{\forall }K:D_K(E_K(P))=P.$

Misalnya, sebuah penyandian blok menerima blok teks asal 128 bit sebagai masukan dan mengeluarkan blok teks tersandi 128 bit. Transformasi yang dilakukan bergantung pada kunci yang diberikan. Dekripsi juga mirip, yaitu menerima blok teks tersandi 128 bit sebagai masukan dan mengeluarkan blok teks asal 128 bit dengan kunci yang diberikan.

Untuk tiap kunci Templat:Var serif, Templat:Var serif_{Templat:Var serif} adalah permutasi (pemetaan bijektif) dari blok masukan. Tiap kunci memilih satu permutasi dari Templat:Math kemungkinan.

Desain

Penyandian blok iteratif

Penyandian blok iteratif mengubah teks asal ke teks tersandi dengan ukuran yang sama melalui transformasi-transformasi berbalik yang diterapkan berulang-ulang dan dikenal sebagai fungsi ronde.

Fungsi ronde Templat:Var serif menerima kunci ronde Templat:Var serif_{Templat:Var serif} yang diturunkan dari kunci utama serta dapat didefinisikan sebagai berikut:

$M_i=R_{K_i}(M_{i-1})$

dengan Templat:Var serif₀ adalah teks asli dan Templat:Var serif_r adalah teks tersandi dengan Templat:Var serif adalah jumlah ronde.

Pemutihan kunci dapat ditambahkan. Pada awal atau akhir, data diubah dengan kunci melalui operasi tertentu seperti XOR, penjumlahan, dan pengurangan.

$\begin{array}{cc}{M}_0& =M\oplus K_0\\ M_i& =R_{K_i}(M_{i-1});i=1\dots r\\ C& =M_r\oplus K_{r+1}\end{array}$

Dari satu skema penyandian blok iteratif standar, penyandian blok yang aman secara kriptografi bisa dibuat dengan jumlah ronde yang besar. Namun, hal itu akan membuat penyandian menjadi tidak efisien.

Jaringan substitusi–permutasi

Sketsa jaringan substitusi–permutasi dengan tiga ronde yang mengenkripsi blok 16 bit. Kotak-S dinamai Templat:Mvar, kotak-P dinamai Templat:Mvar, dan kunci ronde dinamai Templat:Mvar.

Templat:Utama Jaringan substitusi–permutasi (jaringan SP) menerima blok teks asal dan kunci sebagai masukan, kemudian melakukan beberapa ronde yang terdiri dari substitusi dan permutasi (secara bergiliran) sehingga dihasilkan blok tersandi. Bagian substitusi mencampurkan kunci dengan teks asal sehingga menciptakan pengacakan Shannon; bagian permutasi menghamburkan kemubaziran sehingga menciptakan penghamburan Shannon.

Kotak substitusi (kotak-S) menukar nilai dalam blok ke nilai lain. Penukarannya harus korespondensi satu-satu untuk memastikan bahwa hasilnya bisa diinversi atau dideskripsi. Kotak-S yang baik akan memiliki sifat bahwa mengganti satu bit pada masukan akan mengubah paling tidak setengah bit pada keluaran (efek salju longsor). Kotak ini juga memiliki sifat bahwa tiap bit keluaran bergantung pada tiap bit masukan.

Kotak permutasi (kotak-P) adalah permutasi semua bit: ia mengambil keluaran dari kotak-S sebelumnya, mengubah susunan bitnya, dan disebar secara acak merata ke kotak-S selanjutnya. Kotak-P yang baik memiliki sifat bahwa bit hasil kotak-S disebar merata ke sebanyak mungkin kotak-S lain.

Pada tiap ronde, kunci ronde dibuat dengan operasi tertentu, seperti XOR.

Dekripsi dilakukan dengan membalik prosesnya, termasuk menggunakan inversi kotak-S dan inversi kotak-P serta menggunakan kunci ronde dalam urutan terbalik.

Sandi Feistel

Banyak penyandian blok, seperti DES dan Blowfish, memakain struktur jaringan Feistel.

Templat:Utama Dalam sandi Feistel, blok teks asal yang akan dienkripsi dibagi dua bagian. Fungsi ronde diterapkan pada salah satu bagian dengan kunci ronde, lalu keluarannya di-XOR dengan bagian yang lain. Kedua bagian lalu ditukar.

Misalkan Templat:Var serif sebagai fungsi ronde dan $K_0,K_1,\dots ,K_n$ sebagai subkunci untuk ronde ke-$0,1,\dots ,n.$

Proses enkripsi dasar adalah sebagai berikut:

1. Bagi blok teks asal menjadi dua bagian sama besar, yaitu Templat:Var serif₀ dan Templat:Var serif₀.
2. Untuk tiap ronde ke-$i=0,1,\dots ,n$, hitung

   $L_{i+1}=R_i$

   $R_{i+1}=L_i\oplus \mathrm{F}(R_i,K_i)$

   dengan $\oplus$ adalah operasi XOR.

3. Hasilnya adalah teks tersandi Templat:Math

Proses dekripsi dasar adalah sebagai berikut:

1. Bagi blok teks tersandi menjadi dua bagian sama besar, yaitu Templat:Var serif_{Templat:Var serif + 1} dan Templat:Var serif_{Templat:Var serif + 1}.
2. Untuk tiap ronde ke-$i=n,n-1,\dots ,0$, hitung

   $R_i=L_{i+1}$

   $L_i=R_{i+1}\oplus \mathrm{F}(L_{i+1},K_i).$

3. Hasilnya adalah teks asli Templat:Math

Keuntungan jaringan Feistel dibandingkan desain penyandian lain, misal jaringan substitusi–permutasi, adalah bahwa seluruh operasi dijamin dapat dibalik, yaitu hasil enkripsi dapat didekripsi, meski fungsi ronde tidak memiliki inversi.

Skema Lai–Massey

Skema Lai–Massey

Templat:Utama Skema Lai–Massey menawarkan sifat yang mirip dengan struktur Feistel. Skema ini juga memiliki keuntungan bahwa fungsi ronde tidak harus memiliki inversi. Ia juga membagi masukan menjadi dua bagian. Namun, fungsi ronde menerima selisih dua bagian dan hasilnya ditambahkan ke kedua bagian.

Misalkan Templat:Var serif sebagai fungsi ronde, Templat:Var serif sebagai fungsi setengah ronde, dan $K_0,K_1,\dots ,K_n$ sebagai subkunci untuk ronde ke-$0,1,\dots ,n.$

Proses enkripsi dasar adalah sebagai berikut:

1. Bagi blok teks asal menjadi dua bagian sama besar, yaitu Templat:Var serif₀ dan Templat:Var serif₀.
2. Untuk tiap ronde ke-$i=0,1,\dots ,n$, hitung

   $(L_{i^{\prime }+1},R_{i^{\prime }+1})=\mathrm{H}({L_i}^{\prime }+T_i,{R_i}^{\prime }+T_i)$

   dengan $T_i=\mathrm{F}({L_i}^{\prime }-{R_i}^{\prime },K_i)$ and $({L_0}^{\prime },{R_0}^{\prime })=\mathrm{H}(L_0,R_0).$

3. Hasilnya adalah teks tersandi Templat:Math

Proses dekripsi dasar adalah sebagai berikut:

1. Bagi blok teks tersandi menjadi dua bagian sama besar, yaitu Templat:Var serif_{Templat:Var serif + 1} dan Templat:Var serif_{Templat:Var serif + 1}.
2. Untuk tiap ronde ke-$i=n,n-1,\dots ,0$, hitung

   $({L_i}^{\prime },{R_i}^{\prime })={\mathrm{H}}^{-1}(L_{i^{\prime }+1}-T_i,R_{i^{\prime }+1}-T_i)$

   dengan $T_i=\mathrm{F}(L_{i^{\prime }+1}-R_{i^{\prime }+1},K_i)$ and $(L_{i^{\prime }+1},R_{i^{\prime }+1})={\mathrm{H}}^{-1}(L_{i+1},R_{i+1}).$

3. Hasilnya adalah teks asli Templat:Math

Operasi tertentu

ARX (tambah-putar-XOR)

Banyak penyandian blok modern dan hash yang termasuk algoritme ARX (add-rotate-XOR). Fungsi rondenya hanya terdiri dari tiga operasi: penambahan dengan modulus, rotasi dengan jumlah tetap, dan operasi XOR. Contohnya ada ChaCha20, Speck, XXTEA, dan BLAKE (fungsi hash). Fungsi ronde jaringan ARX biasa digambarkan dengan diagram alir data.

Operasi ARX ini terkenal karena cepat dan murah bagi perangkat lunak dan keras. Implementasinya dapat dibuat sangat sederhana. Karena berjalan dalam waktu tetap (konstan), operasi ini juga kebal terhadap serangan pewaktuan. Teknik analisis kriptografi rotasi berusaha untuk menyerang fungsi rondenya.

Operasi lainnya

Operasi lain yang biasa dipakai dalam penyandian blok antara lain rotasi menurut data seperti RC5 dan RC6, kotak substitusi yang diimplementasikan dalam tabel pencarian seperti Standar Enkripsi Data (DES) dan Standar Enkripsi Laanjutan (AES), kotak permutasi, dan perkalian seperti IDEA.

Mode operasi

Hasil enkripsi yang tidak aman dari mode operasi buku kode elektronik (ECB)

Gambar asli

Templat:Utama Penyandian blok sendiri hanya bisa mengenkripsi satu blok data dengan ukuran yang sama dengan ukuran blok penyandiannya. Untuk pesan berukuran beragam, data tersebut harus dibagi-bagi menjadi berukuran yang sama dengan ukuran blok. Contoh sederhananya adalah buku kode elektronik (ECB), yaitu pesan dibagi dan diberi isian bila kurang (biasanya pada akhir), lalu dienkripsi dan didekripsi secara mandiri. Namun, cara ini kurang aman karena teks asal yang sama akan menghasilkan teks tersandi yang sama sehingga dapat dikenali polanya.

Untuk mengatasinya, beberapa mode operasi penyandian blok telah didesain dan ditulis dalam rekomendasi nasional, seperti NIST 800-38A dan BSI TR-02102, serta standar internasional, seperti ISO/IEC 10116. Konsepnya secara umum adalah menggunakan nilai acak ke teks asal dari masukan tambahan, biasa disebut vektor inisialisasi, untuk membuat enkripsi probabilistik.

Dalam mode perantaian penyandian blok (CBC), agar enkripsi aman, vektor inisialisasi harus acak atau acak semu yang kemudian dilakukan XOR dengan blok teks asal sebelum dienkripsi. Hasil enkripsi menjadi vektor inisialisasi enkripsi blok selanjutnya. Dalam mode umpan balik penyandian (CFB), vektor inisialisasi dienkripsi terlebih dahulu, lalu ditambahkan ke blok teks asal. Keluaran mode umpan balik keluaran (OFB) secara berulang mengenkripsi variabel inisialisasi untuk membuat aliran kunci yang menggambarkan penyandian aliran sinkron. Mode pencacah yang lebih baru juga membuat aliran kunci, tetapi hanya membutuhkan nilai unik dan tidak acak (semu) sebagai vektor inisialisasi. Nilai acaknya didapatkan secara internal dengan menggunakan vektor inisialisasi sebagai pencacah blok dan mengenkripsi nilai pencacah tersebut untuk tiap blok.

Dari sudut pandang keamanan teoretis, mode operasi harus memberikan keamanan yang dikenal sebagai keamanan semantik. Secara nonformal, itu berarti bahwa, bila diketahui teks tersandi, tiada informasi yang bisa didapatkan, kecuali ukuran teks asal, selain yang bisa didapatkan tanpa mengetahui teks tersandi itu. Telah terbukti bahwa semua mode operasi yang dijelaskan di atas, kecuali mode ECB, memiliki sifat ini yang dikenal sebagai serangan teks asal terpilih.

Bantalan

Templat:Utama Beberapa mode operasi seperti mode CBC hanya beroperasi pada blok teks asal lengkap. Penambahan bit nol pada akhir blok tidak cukup karena tidak membedakan data berakhiran nol dengan bantalan. Terlebih lagi, cara tersebut menjadikan penyandian rentan terhadap serangan ramalan bantalan. Skema bantalan yang baik dibutuhkan untuk menambah teks asal agar sama dengan kelipatan ukuran blok. Walau banyak skema terkenal yang dijelaskan dalam standar dan literatur telah terbukti rentang terhadap serangan ramalan bantalan, sebuah cara yang menambahkan sebuah bit satu (1) lalu mengisi sisanya dengan bit nol (0) distandarkan sebagai padding method 2 dalam ISO/IEC 9797-1 dan telah dibuktikan aman terhadap serangan-serangan tersebut.

Bacaan lebih lanjut

• Templat:Cite book

Pranala luar

• Templat:En Daftar algoritme simetris, kebanyakan termasuk penyandian blok
• Templat:En Penyandian blok
• Templat:En "What is a block cipher?" oleh RSA
• Templat:En Block Cipher based on Gold Sequences and Chaotic Logistic Tent System