关于S盒NPNP等价匹配和构造优秀S盒的研究.pdfVIP

摘要

摘要

在大多数分组密码算法中，S盒是唯一的非线性结构，它的密码特性直接决定

了密码算法的安全性。S盒NPNP等价是指对其中一个S盒的定义域和值域分别作

取非操作和置换操作后两个S盒的值域相等。非线性度是衡量S盒密码性质的最

基本指标，它刻画了S盒抵抗线性密码分析的能力，且NPNP等价的两个S盒的

非线性度是相等的。著名的AES分组密码算法、Camellia分组密码算法、CLEFIA

8

分组密码算法和SMS4分组密码算法均采用有限域上与逆函数仿射等价的向量

值函数作为S盒。

对于布尔函数的NP等价，其主要应用于逻辑综合及验证，例如：工艺库绑定、

组合逻辑验证、FPGA工艺映射、不受工艺库约束的工艺映射等。根据S盒和布尔

函数的相关性，可以将S盒看作向量布尔函数，故本文在基于布尔函数NP等价匹

配算法的基础上，设计了一个基于深度优先搜索的S盒NPNP等价匹配算法，用

于判断两个不同的S盒是否NPNP等价。不同于仿射等价，本文提出的算法对于

判断可逆S盒和非可逆S盒是否NPNP等价的时间复杂度是一致的。实验方面，

本文使用现在各个密码算法中常用的S盒进行实验，实验结果证实了本文方法的

有效性，且计算效率远远优于枚举。

S盒作为密码算法中的关键组件，其强度必须能够抵抗差分密码分析、线性密

码分析及各种变形算法的威胁，故构造的S盒必须满足一系列的安全性指标。本

文考虑的S盒安全性指标有可逆性、非线性度、代数度和差分均匀度，并在优化

函数和拼接构造的基础上分别设计了基于罚函数构造优秀S盒算法和基于整数规

划构造优秀S盒算法，用于构造优秀S盒。实验方面，上述两种算法均可在短时

间内构造出已被证明的最优4变量S盒，且构造得到的8变量S盒的最大非线性

度分别为96和102。实验结果表明，基于整数规划构造优秀S盒算法要好于基于

罚函数构造优秀S盒算法。

关键词：深度优先搜索，S盒NPNP等价，S盒安全性指标，优化函数，拼接构造

I

ABSTRACT

ABSTRACT

Inmostblockcipheralgorithms,S-boxistheonlynonlinearstructure,andits

cryptographiccharacteristicsdirectlydeterminethesecurityofthecipheralgori-thm.

TheNPNPequivalenceoftheS-boxmeansthatafterpermutation-then-XORoperation

byoneoftheS-boxes,thevaluerangeofthetwoS-boxesareequal.Nonlinearityisthe

mostbasicindicatortomeasurethenatureofS-boxcrypto-graphy,whichdescribesthe

abilityofS-boxestoresistlinearcryptanalysis,anditisequalifthetwoS-boxesare

NPNPequivalent.ThefamousAESblockcipheral-gorithm,Campelliablockcipher

algorithm,CLEFIAblockcipheralgorithmandSMS4blockcipheralgorithmallusethe

vector-valuedfunctiononthefinitefieldthatisaffineequivalenttotheinverse