基于比特可分性的BORON和Khudra积分区分器搜索

作者：李艳俊; 梁萌

来源：计算机应用研究, 2020, (10): 3063-3067.

DOI：10.19734/j.issn.1001-3695.2019.05.0235

• BORON
• Khudra
• 可分性
• 混合整数线性规划 BORON
• division property
• mixed integer linear programming(MILP)

分别针对近年来提出的SPN结构的BORON密码算法和Feistel结构的Khudra密码算法进行积分性质的评估。根据各自算法线性层和非线性层的结构,建立基于比特可分性的混合整数线性规划(MILP)模型。根据最终搜索的目标轮数生成相应的目标函数,利用Gurobi优化器进行求解,并进行积分区分器的搜索,分别得到了BORON算法的6轮积分区分器和Khudra算法的7轮积分区分器,均是目前已知的最长区分器。利用积分区分器,可以对密码算法进行更多轮数的积分性质评估。

• 单位
  北京电子科技学院