基于比特可分性的PRIDE和RoadRunneR积分区分器搜索

发布时间：2023-05-07 21:02

　　PRIDE和RoadRunneR是近几年提出的两种轻量级分组密码算法,在2016亚密会上,向泽军等人提出利用基于比特可分性的MILP(混合整数线性规划)模型搜索积分区分器。利用该思想,针对两种不同类型的轻量级分组密码算法,为了评估该算法积分性质,验证新方法的实用性,根据其不同密码算法结构分别建立MILP模型,利用Gurobi优化器求解此模型,搜索可用的积分区分器。结果分别得到9轮和5轮的积分区分器,是PRIDE和RoadRunneR目前已知最长的积分区分器,利用该区分器可进行更多轮的积分攻击。

【文章页数】：6 页

【文章目录】：
0 引言
1 预备知识
    1.1 符号
    1.2 可分性与可分路径
    1.3 比特可分性传播规则与模型化
    1.4 目标函数
2 PRIDE的MILP模型
    2.1 S层的线性不等式表示
    2.2 线性层的线性不等式表示
3 RoadRunneR的MILP模型
    3.1 S层的线性不等式表示
    3.2 线性层的线性不等式表示
4 积分区分器搜索
    4.1 PRIDE的8轮积分区分器
    4.2 PRIDE的9轮积分区分器
    4.3 RoadRunneR的5轮积分区分器
5 结束语



本文编号：3811319