广义多项式函数单圈性判定的一个新证明

作     者：瞿成勤 周学广 QU Cheng-Qin;ZHOU Xue-Guang

作者机构：海军工程大学信息安全系武汉430033 

基　　金：国家自然科学基金项目(61672531) 

出 版 物：《密码学报》 (Journal of Cryptologic Research)

年 卷 期：2017年第4卷第5期

页      码：423-430页

摘      要：T-函数是由Klimov和Shamir在2002年提出的一类新的非线性函数,这种函数软硬件实现速度快、效率高,而且所生成的序列线性复杂度高、稳定性强,故有望代替线性反馈移位寄存器,成为新的序列密码设计的非线性驱动环节,多项式函数作为一类密码学中常用的T-函数,其可逆性、周期性一直是相关研究中的重要问题,Klimov利用函数的代数正规型给出了多项式函数f(x)=a_0+a_1x+…+a_dx^d mod 2~n是单圈的充分条件,同时借助于"bit-slice"方法和参数的概念给出了广义多项式函数f(x)=a_0⊕a_1x⊕…⊕…a_dx^d mod 2~n是置换的充分条件.进一步地,刘卓军等借助于徐克舰的2-adic整数的乘法公式,给出了函数f(x)=a_0⊕a_1x⊕…⊕a_dx^d mod 2~n单圈性的判定定理.本文利用1-Lipschitz函数模2-微分理论,发展使用模4-微分确定遍历变换的技术,并结合"bit-slice"方法,给出函数遍历性判定的一种新方法,进而给出了此类函数单圈性判定定理的一个新证明.

主 题 词：广义多项式函数 单圈 模2-微分 

学科分类：07[理学] 070104[070104] 0701[理学-数学类] 

核心收录：

D　O　I：10.13868/j.cnki.jcr.000194

馆 藏 号：203279705...