ANALISIS KINERJA SOLVER DALAM MENYELESAIKAN EKSPRESI BOOLEAN CIPHER S-DES PADA CIPHERTEXT-ONLY-ATTACK

Fritz Gamaliel (Politeknik Meta Industri Cikarang)
P. Yudi Dwi Arliyanto (Politeknik META Industri Cikarang)

Jurnal Manajemen Informatika Jayakarta
Vol. 6 No. 3 (2026): JMI Jayakarta (September 2026)

Ekspresi Boolean dapat digunakan untuk merepresentasikan hubungan logika antara plaintext, kunci, dan ciphertext pada algoritma kriptografi. Penelitian ini bertujuan mengekstrak ekspresi Boolean dari algoritma Simplified Data Encryption Standard (S-DES) dan mengevaluasi kinerja beberapa metode solving dalam menyelesaikan ekspresi tersebut pada skenario Ciphertext-Only Attack (COA). Ekspresi Boolean diekstrak dari proses enkripsi S-DES untuk merepresentasikan hubungan antara bit plaintext, bit kunci, dan setiap bit ciphertext, kemudian direpresentasikan dalam dua bentuk, yaitu Conjunctive Normal Form (CNF) dan Algebraic Normal Form (ANF). Ekspresi dalam bentuk CNF digunakan sebagai masukan untuk metode Binary Decision Diagram (BDD) dan Boolean Satisfiability (SAT) menggunakan modern SAT solver, sedangkan ekspresi dalam bentuk ANF digunakan untuk metode Brute Force dan Gröbner Basis. Pada skenario COA, ciphertext diketahui dan setiap metode digunakan untuk mencari kombinasi plaintext dan kunci yang memenuhi ekspresi Boolean hasil ekstraksi. Kinerja masing-masing metode dievaluasi berdasarkan waktu komputasi dan keberhasilannya dalam menemukan solusi. Hasil penelitian diharapkan dapat memberikan perbandingan kinerja berbagai metode solving terhadap representasi CNF dan ANF yang diekstrak dari algoritma S-DES.