MILP方法在輕量級(jí)密碼分析中的應(yīng)用研究.pdf

1、隨著計(jì)算機(jī)以及互聯(lián)網(wǎng)技術(shù)的普及，信息安全越來(lái)越得到人們的重視，密碼學(xué)作為信息安全的基石，也越來(lái)越得到人們的廣泛關(guān)注。分組密碼的研究是當(dāng)今密碼學(xué)研究的一個(gè)重要領(lǐng)域，分組密碼一般采用迭代結(jié)構(gòu)，運(yùn)行速度快且易于實(shí)現(xiàn)，因此廣泛運(yùn)用于各種軟硬件安全系統(tǒng)。分組密碼有多種結(jié)構(gòu)，例如 SPN結(jié)構(gòu)，F(xiàn)eitesl結(jié)構(gòu)等，Present算法，Lbock算法就是SPN結(jié)構(gòu)和Festiel結(jié)構(gòu)的代表算法， Present算法是 A.Bogdanov等在 CHE

2、S2007上提出的一種SPN(Substitution Permutation Network)的結(jié)構(gòu)的超輕量級(jí)加密算法，一共將會(huì)進(jìn)行31輪，明密文長(zhǎng)度都是64bit，密鑰有兩種選擇分別是80bit和128bit兩個(gè)版本，主要是適用于資源受限的環(huán)境。由于其簡(jiǎn)單且高效，在物聯(lián)網(wǎng)和射頻識(shí)別技術(shù)（RFID）中得到廣泛的應(yīng)用。Lblock密碼算法是在2011年應(yīng)用密碼學(xué)網(wǎng)絡(luò)安全會(huì)議上提出的輕量級(jí)分組密碼．Lblock是分組長(zhǎng)度為64bit的Fe

3、istel結(jié)構(gòu)的分組密碼算法，共32輪，密鑰長(zhǎng)度為80bit。MILP全稱是混合整數(shù)線性規(guī)劃（Mixed-Integer Linear Programming）是一類(lèi)源于線性規(guī)劃的優(yōu)化，目標(biāo)是優(yōu)化在一定約束條件下的目標(biāo)函數(shù)。混合整數(shù)線性規(guī)劃在學(xué)術(shù)界和工業(yè)界都得到了廣泛的應(yīng)用。在分組密碼各個(gè)模塊，MILP的模型是不一樣的。孫思維教授在亞密會(huì)上提出了 MILP模型在分組密碼中的應(yīng)用，以及Nicky Mouha，Qingju Wang等人對(duì)于

4、MILP模型結(jié)合分組密碼的差分分析，以及最近由日本人Todo提出的Division Property，結(jié)合MILP方法去搜索輕量級(jí)分組密碼算法的積分區(qū)分器的平衡位置。
　　本研究主要內(nèi)容包括：⑴對(duì)SPN類(lèi)的Present算法，結(jié)合該算法的不可能差分特征進(jìn)行研究，使用兩種方法，一種是活躍 S盒擴(kuò)散的總數(shù)和輪數(shù)，統(tǒng)計(jì) S盒擴(kuò)散之和最少的那一種情況，即為最優(yōu)的情況；另一種是借助于貪婪算法進(jìn)行研究，排出不可能出現(xiàn)的差分特征。⑵對(duì)Feite

5、sl類(lèi)的Lblock算法進(jìn)行積分攻擊，核心是構(gòu)造合適的積分區(qū)分器，然后根據(jù)自己總結(jié)的 Lblock算法的密鑰擴(kuò)散規(guī)律，統(tǒng)計(jì)需要猜測(cè)的密鑰數(shù)量，并得出積分攻擊的時(shí)間復(fù)雜度和數(shù)據(jù)復(fù)雜度，并與 Lblock算法其他分析方法的時(shí)間數(shù)據(jù)復(fù)雜度進(jìn)行對(duì)比，基于積分攻擊的Lblock算法的時(shí)間復(fù)雜度降低。⑶由Lblock算法的積分攻擊，結(jié)合最新的 Todo提出的 Division Property理論概念，在前人的基礎(chǔ)上對(duì)Lblock算法結(jié)合MILP模