Bent函数的构造

文献给出了一类布尔函数的Walsh谱分解式，并由此分解式构造出了大量的Bent函数．本文在相关文献的基础上，继续给出一类布尔函数的Walsh谱分解式，利用谱分解式给出了Bent函数的另几种构造方法．     

Bent函数的构造

给出了一类布尔函数的Walsh谱分解式,并据此给出了Bent函数的构造。     

布尔函数性质的谱特征

布尔函数对于分组密码及流密码的安全性起着重要的作用。为了抵抗几种对密码体制的攻击,布尔函数需要具有几种相应的准则:平衡性,高代数次数,高非线性度和高相关免疫度等。Walsh变换和Walsh谱技术是研究布尔函数性质的有效方法,利用Walsh谱技术研究布尔函数的一些重要性质,将这些性质(平衡性、非线性度、相关免疫性、扩散准则、严格雪崩准则、代数免疫性)进行量化。主要研究了布尔函数的Walsh谱及相关的性质,重点介绍了布尔函数的几种密码学性质及Walsh谱与其他密码学性质之间的关系,得到了布尔函数性质的一些结果:首先介绍了布尔函数Walsh谱及其他的密码学性质,然后分析了布尔函数Walsh谱与其他性质之间的关系,包括与汉明重量、平衡性、非线性度、相关免疫性、扩散性、严格雪崩性、代数免疫性之间关系。     

一类k阶拟Bent函数的构造

通过映射构造了一类布尔函数，利用布尔函数循环Walsh谱的方法给出了该类布尔函数是k阶拟Bent函数的充分必要条件，并利用集合性质给出了满足该条件的方法．另外，给出了一类k阶拟Bent函数的递归构造.     

布尔函数性质Walsh谱和算术Walsh谱

经典的Walsh谱技术是研究布尔函数性质的有效方法,算术Walsh变换是一种新提出的带进位的Walsh变换,定义多元2-adic数上的加法和乘法运算,构建一种新的环结构,是对经典Walsh变换的带进位计算的模拟。对两种Walsh谱变换的性质进行了比较,并证明了对称布尔函数的算术Walsh变换是实值对称函数。具有相同汉明重量的点具有相同的算术Walsh系数。     

一类二次APN函数的Walsh谱

讨论了一类二次函数的Walsh谱,借助线性化多项式的性质和等量代换技巧,将Walsh谱值的计算问题归结为一类线性化多项式的核子空间维数的求解问题,发现该二次函数的Walsh谱与Gold函数的Walsh谱相同。     

概率方法在布尔函数m阶Walsh谱中的应用

应用概率方法研究了布尔函数的ｍ阶Ｗａｌｓｈ谱的问题，首次给出了布尔函数的ｍ阶Ｗａｌｓｈ谱的概率方法表达式，给出了布尔函数的ｍ阶Ｗａｌｓｈ谱的性质及布尔函数与一个ｍ阶布尔函数相互独立的充要条件     

多输出函数的自相关函数特征及Walsh谱特征

给出了多输出函数自相关函数的定义,并得到了多输出函数的自相关函数特征和Walsh谱特征的关系式;证明了多输出函数的Walsh谱的两种变换的关系式、Plancheral公式、能量守恒公式、卷积公式;得到了谱的平稳性．有助于进一步研究多输出函数的密码学性质．     

k阶拟Bent函数的构造

给出了一类布尔函数为k阶拟Bent函数的充分必要条件，并给出了其循环Walsh谱特征和具体构造方法。另外，还给出了k阶拟Bent函数的一种递归构造方法。由此，可构造出大量的k阶拟Bent函数。     

半Bent函数的密码学特性

给出了半bent函数的定义与Walsh谱特征，并讨论了其密码学特性。     

正形置换的Walsh谱特征

在研究多输出Boole函数Walsh循环谱的基础上,利用多输出Boole函数的正交性与其坐标函数任意组合函数的平衡性之间的等价关系,证明了一个置换f(x)是正形置换的充要条件是其Walsh循环谱W(f)(α,α)=W(f)(0,α)=0.     

用概率方法研究Walsh谱的性质

给出了布尔函数的ｍ阶Ｗａｌｓｈ谱的概率表达式及布尔函数与一个ｍ阶布尔函数相互独立的判别条件；并用概率方法证明了布尔函数ｍ阶Ｗａｌｓｈ谱的性质     

一类APN幂函数的Walsh谱及其应用

设n≥3为一正奇数,令d=(3n+1)/4+(3n-1)/2,则幂函数xd是有限域F3n上的几乎完全非线性函数,即APN(almost perfect nonlinear)函数。到目前为止,该APN函数的Walsh谱还未被确定。计算了APN幂函数xd的Walsh谱,并给出了所得结果的一点应用。     

平衡相关免疫函数的特征和结构

研究了简称相关免疫函数的特征和结构。用频谱理论和重量分析方法，给出了平衡相关免疫函数的Walsh谱特征和重量特征；分析和介绍了几类重要平衡相关免疫函数的结构，给出了构造具有良好密码特性的平衡相关免疫函数的方法。     

一般二次型函数的Walsh谱值

基于一个二次型方程与一个线性方程公共解的个数问题和二次型的某些理论,计算和分析了在不同的有限域上一般二次型函数的Walsh谱,由此得到了此类函数的较好的谱值．     

环Z/2~n上仿射函数Walsh谱的快速算法

通过研究环Z/2n上仿射函数进位函数的性质,首先给出了一个计算环Z/2n上仿射函数Walsh谱的快速算法,进而给出了环Z/2n上多输出仿射函数Walsh谱的快速算法.实验表明,该算法可以将环Z/2n上仿射函数Walsh谱的计算复杂度由关于变量规模n的指数时间降为线性时间.     

环Z/2n上仿射函数Walsh谱的快速算法

通过研究环Z/2n上仿射函数进位函数的性质,首先给出了一个计算环Z/2n上仿射函数Walsh谱的快速算法,进而给出了环Z/2n上多输出仿射函数Walsh谱的快速算法.实验表明,该算法可以将环Z/2n上仿射函数Walsh谱的计算复杂度由关于变量规模n的指数时间降为线性时间.     

布尔函数的迹单项式逼近

提出了用单项迹函数代替线性函数来定义的布尔函数一种新的谱值,称之为布尔函数的d-Walsh循环谱,通过计算d-Walsh循环谱来研究布尔函数的最佳单项迹函数逼近,使用该方法的计算复杂性仅为22n/n.利用单项迹函数逼近序列密码的前馈函数可实现对序列密码的采样攻击,对序列密码设计与分析具有重要意义.     

关于Chrestenson谱和Walsh谱的性质

给出了Chrestenson谱三个性质的证明,并且给出了Walsh谱一个性质的证明.     

选择逻辑函数的密码学性质

通过计算选择逻辑函数的Walsh循环谱和自相关函数，系统分析了选择逻辑函数的密码学性质。所得结论表明选择逻辑函数在变元个数较大的情况下具有理想的稳定性，能够抵抗最佳仿射（BAA）攻击，但是其“扩散”特性不够理想，在一定意义下不能有效地抗击差分攻击。讨论了与选择逻辑函数线性等价意义下满足严格雪崩准则或具有相关免疫性的逻辑函数构造问题。