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