基于可分性改进分组密码 SM4 和 FOX 的积分区分器

可分性是由 Todo 在 EUROCRYPT 2015 上首次提出来的, 可以看作积分分析的推广, 已经被应用于许多对称密码的分析. 目前, 结合可分性与数学工具, 例如混合整数线性规划和布尔可满足性问题等的自动化方法是搜索积分区分器最流行的方法之一. 此方法根据可分性在密码基本部件上的传播规则建立约束模型, 再选择合适的初始可分性搜索积分区分器. 对一个分组密码来说, 不同的建模方式和模型的精度会影响自动化搜索积分区分器的结果. 本文针对分组密码的两种基本部件: 分支异或压缩结构和非比特置换的线性变换, 分别提出了两种基于比特可分性的建模策略. 策略一根据分支异或压缩结构的特点, 增加相关分...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of Cryptologic Research Ročník 10; číslo 6; s. 1197
Hlavní autoři:	Yong-Xia, MAO, Wen-Ling, WU, 毛永霞, 吴文玲
Médium:	Journal Article
Jazyk:	čínština
Vydáno:	Beijing Chinese Association for Cryptologic Research, Journal of Cryptologic Research 01.01.2023
Témata:	Automation Combinations (mathematics) Constraint modelling Dividing (mathematics) Integer programming Linear programming Linear transformations Mixed integer Permutations Propagation
ISSN:	2097-4116
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!