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

来源：计算机应用研究杂志2020年第10期北京时间：

作者：李艳俊,梁萌,

单位：北京电子科技学院,北京100070；

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

关键词：BORON,Khudra,可分性,混合整数线性规划,

基金资助：中央高校基本科研业务费资助项目(328201915)；；