中國(guó)科學(xué)院：已于分組加密算法的差分密碼分析方面取得進(jìn)展

　　據(jù)中國(guó)科學(xué)院軟件研究所官方公眾號(hào)報(bào)道，近日，中國(guó)科學(xué)院軟件研究所可信智能系統(tǒng)研究團(tuán)隊(duì)在分組加密算法的差分密碼分析方面取得一定進(jìn)展。

　　據(jù)悉，該工作團(tuán)隊(duì)設(shè)計(jì)了一個(gè)面向分組加密算法的領(lǐng)域編程語言 EasyBC，在此基礎(chǔ)上提出了通用、可擴(kuò)展的差分密碼分析方法，研制了全自動(dòng)分析工具平臺(tái) EasyBC。

　　IT之家從中科院軟件研究所披露信息得知，該研究成果已經(jīng)以 EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis 為題，被編程語言國(guó)際頂級(jí)會(huì)議 POPL 2024 錄用，通訊作者是軟件所計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室宋富研究員。

　　據(jù)悉，分組加密算法(block cipher)是將明文分成多個(gè)等長(zhǎng)的模塊(block)，使用對(duì)稱密鑰對(duì)每組分別加密或解密，廣泛應(yīng)用于電子郵件加密、銀行交易轉(zhuǎn)賬等多個(gè)領(lǐng)域。

　　作為極其重要的加密協(xié)議組成，主流分組加密算法有中國(guó)國(guó)家密碼管理局頒布的 SM1、SM4 和 SM7，美國(guó)政府核定的標(biāo)準(zhǔn)算法 AES 和 3DES。

　　而差分密碼分析在評(píng)估分組加密算法的安全性方面發(fā)揮著核心作用，是分組加密算法標(biāo)準(zhǔn)化不可或缺的安全性分析手段。

　　當(dāng)前已有的差分密碼分析方法在通用性、自動(dòng)化程度方面存在一定不足，同時(shí)建模過程復(fù)雜導(dǎo)致用戶需要熟悉大量的建模方法及底層分析工具的應(yīng)用。

　　為解決上述不足，研究團(tuán)隊(duì)設(shè)計(jì)了一種分組加密算法的密碼學(xué)專用高級(jí)編程語言 EasyBC，提供了完整的語法、類型和語義的形式定義，為分組加密算法安全性自動(dòng)分析奠定了良好基礎(chǔ);提出了三種不同分析精度和性能的差分密碼分析方法，不僅統(tǒng)一和優(yōu)化了已有的各類加密操作的建模方法，并提出了多種新的建模方法。

　　研究團(tuán)隊(duì)實(shí)現(xiàn)了 23 個(gè)加密原語，包括美國(guó)國(guó)家標(biāo)準(zhǔn)與技術(shù)研究院(National Institute of Standards and Technology，NIST)認(rèn)證加密方案的底層置換算法以及多種常用分組加密算法;并對(duì)其中的分組密碼原語進(jìn)行了安全性分析，進(jìn)而驗(yàn)證了 EasyBC 語言的表達(dá)能力以及 EasyBC 工具平臺(tái)安全性自動(dòng)分析的有效性。

　　中科院軟件研究所表示，該研究對(duì)分組加密算法的差分密碼分析研究具有重要意義，為后續(xù)密碼學(xué)相關(guān)研究者們進(jìn)行分組加密算法的安全性全自動(dòng)分析和各類運(yùn)算操作建模方法性能評(píng)估提供了良好的研究基礎(chǔ)和平臺(tái)支撐。