关于完全非线性函数的一些的研究.pdfVIP

关于完全非线性函数的一些研究 张习勇韩文报 (郑州信息工程大学信息工程学院信息研究系，中国郑州，450002 摘要本文从相对差集的角度研究j完全非线性函数的存在性和构造等问 题。给出7完全非线性函数的一种上升递归构造法。得到7一些非存在性方面 的结果，如当q=2l，z为奇数时，若mn，则不存在Z势到z嚣上的完全非线性函 数；当且仅当口是奇素数时，存在刃到Z；上的完全非线性函数。 关键词 完全非线性函数相对差集 组合集 群环理想 一、引 言 在密码学中，寻找能够抵抗差分攻击和仿射攻击的具有高非线性度的逻辑函数一直 是人们所关心的一个问题。完全非线性函数是K．NybergEa3在20世纪90年代初提出的一 类函数，因具有较好的差分平衡特性而在密码学中有着重要的应用。 文献[1]引入了完全非线性函数的定义，并对q是素数时的完全非线性函数给出了两 种构造方法，且在一定条件下，证明了该文的主要结果：完全非线性函数的输出维数不能 超过输入维数的一半。 当q不是素数时，关于完全非线性函数的研究很少。值得一提的是，文献[2，3]利用分 解域和类群等工具，证明了一些Z上的广义Bent函数的不存在性，因而此时不存在露 上的完全非线性函数。 本文利用完全非线性函数和一类分裂型半正则相对差集之间的等价关系，用不同的 方法，给出了关于完全非线性函数的一些新结果，包括一种递归构造法和一些非存在性结 果等。 本节主要介绍一些基本概念和基本结果。 定义1[11函数，(z)：z：一z；(z∈蜀)称为完全非线性的，如果对于任意给定的≠ OEz：，有Vy6z? I卫∈z：I／(z+叫)一f(z)一yI—q一 定义2H1设G是一个阶为口的有限群，,o—mn，N为G的n阶正规子群。若D为G 中一个^元子集，且其中任意两个元素的差d。矗1(d。，d。∈D，d。≠d：)刚好表示子集G＼Ⅳ 中的元素^次，表示．Ⅳ中元素0次，则称子集D为G中相对于子群Ⅳ的(m，n，^，^)一相对 为半正则的。 群环是研究差集的一个重要工具。一般有限群G中一个子集R可以看成群环zEG] 9971096) ·国亲自然科学基金重大研究计划资助项目I国家自然科学基金资助项目(1 ·228· zEG。，G。表示G的特征标群，舶表示G上的平凡特征，下文 中的一个元素∑。。。g。V 同。定义 R‘…一∑，∈xg～，z(R)一∑mz(孽) 由相对差集的定义不难理解，有限Abel群G的子集R是G中一个相对于子群Ⅳ的 ∽，rt，k，^)一相对差集，当且仅当R·R。”一^+A(G一Ⅳ)，这样就有了下面的结论。 引理114]设G是m”阶有限Abel群，Ⅳ是它的一个阶为n的子群，R是G的一个k 元子集，则R是G中相对于Ⅳ的(m，n，k，A)一相对差集，当且仅当对G中的任一非平凡 特征z∈G。＼{(‰))，有 ． ． f√±一An z是G上的非平凡特征，但在N上平凡 I√k z’是Ⅳ上的非平凡特征 引理2[”设G是阶为mn的有限群，u是它的一个“阶正规子群，p：G—G／U表示 自然群同态。如果R是G中相对于正规子群Ⅳ的(m，n，k，^)一相对差集，则 P(R)·P(R)(--1)一k+ua(G／U)一}Nnufa(NU／U) 特别地，若(，≤Ⅳ，则P(R)是G／u中相对于N／U的(m，n／u，k，“^)一相对差集。 定理1设G=Z：×z孑，Ⅳ一．{0)×zi为它的子群，则函数，(T)：z：呻z卅(z∈露)为 完全非线性函数当且仅当R一(b，，o))【xE召}是群G中相对于子群Ⅳ的分裂型(q”， q“，q”，q…)一相对差集。 证明 由相对差集的定义和完全非线性函数的定义，不难获证。 口 注作者后来发现，这个等价关系在文献[5]中已被发现(文献ES3证明了群完全非平 衡函数和相对差集的等价关系)。由