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

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