Akademi Sains China membuat kemajuan pada algoritma sifir blok dalam analisis kriptografi pembezaan

Berita dari laman web ini pada 20 November, menurut akaun awam rasmi Institut Perisian, Akademi Sains China, baru-baru ini, Pasukan Penyelidikan Sistem Pintar Dipercayai Institut Perisian, Akademi Sains China telah memastikan kemajuan dalam analisis kriptografi pembezaan algoritma penyulitan blok.

Dilaporkan bahawa pasukan kerja mereka bentuk bahasa pengaturcaraan domain EasyBC untuk algoritma penyulitan blok Atas dasar ini, ia mencadangkan kaedah kriptanalisis pembezaan yang universal dan berskala dan membangunkan platform alat analisis automatik sepenuhnya EasyBC.

▲ Carta aliran platform EasyBC, akaun awam rasmi sumber gambar Institut Perisian, Akademi Sains China

Menurut maklumat yang didedahkan oleh Institut Perisian, Akademi Sains China, kami mengetahui bahawa hasil penyelidikan ini telah diterima oleh POPL 2024, persidangan antarabangsa teratas tentang bahasa pengaturcaraan dan tajuknya ialah "EasyBC: Bahasa khusus kriptografi untuk analisis kriptografi pembezaan". Penulis kajian yang sepadan ialah Penyelidik Song Fu dari Makmal Utama Sains Komputer Negeri Institut Perisian Dilaporkan bahawa algoritma sifir blok (sifir blok) membahagikan teks biasa kepada beberapa modul yang sama panjang (blok) dan menggunakan. kunci simetri untuk menyulitkan setiap Kumpulan masing-masing disulitkan atau dinyahsulit, dan digunakan secara meluas dalam banyak bidang seperti penyulitan e-mel, pemindahan transaksi bank

.

Sebagai komponen protokol penyulitan yang sangat penting, algoritma penyulitan blok arus perdana termasuk SM1, SM4 dan SM7 yang diisytiharkan oleh Pentadbiran Kriptozoologi Negeri China, dan algoritma standard AES dan 3DES yang diluluskan oleh kerajaan AS.

Cripanalisis pembezaan memainkan peranan teras dalam menilai keselamatan algoritma penyulitan blok dan merupakan kaedah analisis keselamatan yang sangat diperlukan untuk algoritma penyulitan blok piawai

Kaedah kriptanalisis pembezaan yang sedia ada mempunyai had tertentu dari segi serba boleh dan automasi , kerumitan proses pemodelan memerlukan pengguna membiasakan diri dengan sejumlah besar kaedah pemodelan dan aplikasi alat analisis asas.

Untuk menyelesaikan masalah di atas, pasukan penyelidik membangunkan EasyBC, bahasa pengaturcaraan peringkat tinggi yang khusus digunakan untuk kriptografi Bahasa ini menyediakan definisi formal lengkap sintaks, jenis dan semantik, dan menyediakan analisis automatik bagi keselamatan blok algoritma penyulitan. Selain itu, pasukan penyelidik juga mencadangkan tiga kaedah kriptanalisis berbeza dengan ketepatan dan prestasi analisis yang berbeza Kaedah ini bukan sahaja menyatukan dan mengoptimumkan kaedah pemodelan sedia ada bagi pelbagai operasi penyulitan, tetapi juga mencadangkan pelbagai kaedah pemodelan baharu

. kandungan yang perlu ditulis semula ialah: ▲23 primitif penyulitan dilaksanakan dalam bahasa EasyBC, sumber gambar daripada akaun awam rasmi Institut Perisian, Akademi Sains China

Pasukan penyelidik melaksanakan 23 primitif penyulitan, termasuk Piawaian dan Teknologi Kebangsaan Amerika Institut Piawaian dan Teknologi Kebangsaan (NIST) memperakui algoritma penggantian asas skim penyulitan dan pelbagai algoritma penyulitan blok yang biasa digunakan dan menjalankan analisis keselamatan primitif sifir blok, dengan itu mengesahkan keupayaan ekspresi bahasa EasyBC dan; Keberkesanan analisis automatik keselamatan platform alat EasyBC.

▲ Keputusan analisis keselamatan sifir pembezaan primitif penyulitan yang dilaksanakan oleh Word-wise, sumber: Akaun awam rasmi Institut Perisian, Akademi Sains China

Institut Perisian, Akademi Sains China menyatakan bahawa kajian ini mengkaji analisis kriptografi pembezaan algoritma penyulitan blok Ia sangat penting dan menyediakan asas penyelidikan dan sokongan platform yang baik untuk penyelidik berkaitan kriptografi seterusnya untuk menjalankan analisis keselamatan automatik sepenuhnya bagi algoritma penyulitan blok dan penilaian prestasi pelbagai kaedah pemodelan operasi pengiraan.

Atas ialah kandungan terperinci Akademi Sains China membuat kemajuan pada algoritma sifir blok dalam analisis kriptografi pembezaan. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!