以MILP模型可解为判定条件的最优不可能差分分析方法技术

技术编号:40919611 阅读:22 留言:0更新日期:2024-04-18 14:45
本发明专利技术一种以MILP模型可解为判定条件的最优不可能差分分析方法,核心在于在不可能差分区分器的搜索过程中,提出了以可解为判定条件的MILP不可能差分区分器搜索模型,进而在搜索的区分器上进行向上和向下扩展,得到需要猜测的密钥,最后得到最小猜测基。通过以可解为判定条件有效的将不可能差分区分器搜索和密钥恢复攻击过程作为一个统一整体进行MILP建模,最后通过求解该模型得到最优的不可能差分区分器和最小猜测基,进而有效地降低密码算法攻击的复杂度。

【技术实现步骤摘要】

本专利技术涉及信息安全领域,具体是一种以milp模型可解为判定条件的最优不可能差分分析方法。


技术介绍

1、不可能差分分析是差分分析的一个变种,分别由knudsen[1]和biham[2]分别独立提出。2017年欧密会上,sasaki与todo[3]首次提出一种基于milp的不可能差分区分器的搜索新工具,该文章中以milp模型不可解为判定条件对不可能差分区分器进行搜索。随后2020年,boura等人[4]给出了基于8比特s盒及复杂线性层的分组密码差分传播的比特级milp建模方法,并将其应用于不可能差分分析。在2021年,sadeghi等人[5]给出了使用milp验证基于差分的区分器是否存在正确明文对的方法。区分器的自动化搜索已经广泛应用于密码分析的各种攻击方法中,极大改进了密码分析结果并提高了密码分析效率。在过去的分析过程中,都是将区分器搜索与密钥恢复攻击分成了两步进行,并未将其统一为一个整体问题;并且用milp模型搜索不可能差分区分器是以模型不可解为判定条件进行搜索,这也导致了无法将这两个步骤合并为一个milp模型。2023年hadipour用cp建模将本文档来自技高网...

【技术保护点】

1.一种以MILP模型可解为判定条件的最优不可能差分分析方法,其特征在于,包括如下步骤:

2.根据权利要求1所述的最优不可能差分分析方法,其特征在于:

3.根据权利要求2所述的最优不可能差分分析方法,其特征在于:

4.根据权利要求3所述的最优不可能差分分析方法,其特征在于:

【技术特征摘要】

1.一种以milp模型可解为判定条件的最优不可能差分分析方法,其特征在于,包括如下步骤:

2.根据权利要求1所述的最优不可能差分分析方法,其特征...

【专利技术属性】
技术研发人员:李灵琛谯智陈佐甲韦永壮武小年
申请(专利权)人:桂林电子科技大学
类型:发明
国别省市:

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1