基于混合整數(shù)線性規(guī)劃模型的SPONGENT S盒緊湊約束分析
計(jì)算機(jī)應(yīng)用
頁數(shù): 7 2022-06-15
摘要: 應(yīng)用基于混合整數(shù)線性規(guī)劃(MILP)模型的S盒緊湊約束計(jì)算方法,可以較好地解決SPONGENT在差分密碼分析過程中差分路徑搜索效率低下的問題;為尋找S盒的最優(yōu)描述,提出一種緊湊性驗(yàn)證算法從約束條件存在必要性的角度驗(yàn)證S盒的不等式約束的緊湊性問題。首先,引入MILP模型分析SPONGENT S盒的不等式約束,得到了由23個(gè)不等式組成的約束;然后,提出一種用于評(píng)價(jià)約束不等式存在必要... (共7頁)