基于混合整數(shù)線性規(guī)劃模型的SPONGENT S盒緊湊約束分析

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