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

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

布尔函数性质的谱特征

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

关于布尔函数的拟线性性

文章给出了布尔函数关于自变量对是拟线性的充分必要条件,同时研究了布尔函数关于自变量对是拟线性的谱特征.     

关于Bent函数的一些研究

利用布尔置换，构造了一种新的Bent函数，并对这类布尔函数的构造进行了研究，发现利用Bent函数的满足扩散准则的特性和布尔函数非线性度的中间结果可以构造出两类函数形式简单的，满足高次扩散准则的、具有较高非线性度的平衡布尔函数，从而拓宽了Bent函数的应用领域。     

关于Bent函数的一些研究

利用布尔置换 ,构造了一种新的Bent函数 ,并对这类布尔函数的构造进行了研究 ,发现利用Bent函数的满足扩散准则的特性和布尔函数非线性度的中间结果可以构造出两类函数形式简单的 ,满足高次扩散准则的、具有较高非线性度的平衡布尔函数 ,从而拓宽了Bent函数的应用领域     

平衡H布尔函数一些相关免疫性质

平衡H布尔函数是现代密码学中一类重要的函数.平衡H布尔函数的相关免疫性,关系到它抗DC攻击的能力,是一直受到关注和研究的问题,文章对平衡H布尔函数的相关免疫性和广义相关免疫性进行讨论,得出一些有意义的结果.     

多输出Bent函数有关性质的研究

讨论了多输出Bent函数的自相关特征,给出了Bent函数自相关的两个充分必要条件;研究了多输出Bent函数的代数次数、扩散特性及计数;归纳了多输出Bent函数的等价性质;给出了多输出Bent函数的两种构造方法.     

一类平衡相关免疫H布尔函数的构造

介绍一类平衡相关免疫的H布尔函数的构造方法,首先构造一组平衡的和相关免疫的H布尔函数,然后通过直和来构造同时满足平衡性和相关免疫性的H布尔函数。     

流密码中的布尔函数设计研究进展

密码函数,主要包括单输出布尔函数和多输出布尔函数,在流密码及分组密码系统中扮演着重要角色.在基于线性反馈移位寄存器的流密码系统中为了抵抗各种攻击,一个好的密码函数需要满足以下指标:较高的非线性度、平衡性、低阶相关免疫性、高的代数次数,高代数免疫阶等等.主要总结了近年来在高非线性度弹性密码函数,具有最优代数免疫度的函数和具有良好自相关性质的函数等研究方面的进展,并对其后续工作进行了展望.     

布尔函数相关免疫性的一种研究方法

利用分析布尔函数的特征矩阵的方法，讨论了两个布尔函数某些组合的相关免疫性。     

旋转对称布尔函数的最高非线性度与最优代数免疫

文章研究旋转对称布尔函数的最高扩散次数、最高非线性度和代数免疫性等问题.利用导数和e-导数证明了元数为偶数的完全2次齐次旋转对称布尔函数的非线性度达到布尔函数的最大非线性度.又利用导数从n次扩散性角度,证明了旋转对称Bent函数的存在性,即验证了最大非线性度旋转对称布尔函数的存在性.另外,利用导数证明了最优代数免疫旋转对称布尔函数的存在性,并给出了用Bent函数构造最优代数免疫旋转对称布尔函数的方法.利用导数还得出了一类旋转对称布尔函数的相关免疫性.     

一类k阶拟Bent函数的构造

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

不重复齐次函数的性质及其应用

不重复齐次函数是一类特殊的布尔函数，它在构造密码安全非线性组合函数中有着重要的应用。因此，文中研究了这类函数的密码性质，作为结果，得知不重复齐闪一次函数有良好的平衡性和相关免疫性。不重复齐次二次函数是一类Bent函数，有着最高的非线性度和最高的扩散次数等，并以此为基础，深入研究了不重复齐次函数在构造非线性组合函数中的应用，从而得到了具有高非线性度且平衡相关免疫的函数和具有较高非线性度且代数次数达到最高的函数的结构。     

Bent函数的构造与计数

给出了判定形如f(x,y) =τ(y)x+g(y)的布尔函数是Bent函数的充分必要条件,并据此给出了Bent函数的几种等价方法. 另外, 还给出了Bent函数一个较好的计数下界.     

满足k阶严格雪崩准则的多值逻辑函数的谱特征

给出了剩余类环Zm上逻辑函数的k阶严格雪崩准则(SAC)的概念, 用概率方法证明了m值逻辑函数满足高阶严格雪崩准则时一定满足低阶严格雪崩准则, 并借助Chrestenson谱给出了m值逻辑函数满足k阶严格雪崩准则的一个充分必要条件。     

密码函数的一类递归构造方法

首先利用递归的方法证明了结构形式更为一般的布尔函数的 Walsh谱分解式，然后利用这类布尔函数Walsh谱分解式，给出了密码学和编码学中具有重要应用价值的一些布尔函数，如弹性函数、Bent函数以及满足严格雪崩准则的布尔函数的构造方法。     

Bent函数的性质与构造

给出了形如F(x, y) = f (x τ(y))q(y) g(y) 的布尔函数是Bent 函数的充分必要条件,并据此给出了二次Bent 函数的已拥有等价类. 另,文中还给出了Bent 函数的几种构造方法. 特别地,给出了Bent 基函数的完全构造.     

多元平衡H布尔函数的相关免疫性研究

对平衡H布尔函数的密码学性质进行深入研究,得出一些多元平衡H布尔函数的相关免疫性定理,如三元平衡H布尔函数一定不是相关免疫的,而对于四元平衡H布尔函数可以通过构造实现一阶相关免疫性,其进一步揭示了平衡H布尔函数优良的密码学性质,为更好地研究布尔函数的密码学性质保证密码系统的安全性和抗攻击性奠定了基础.     

Bent函数与线性函数关系中导出的密码学性质

以导数(偏导数)和e-导数做工具,讨论密码系统中具有最高非线性度的Bent函数结构性质、重量结构与线性函数的关系.利用线性函数可从Bent函数中得到H布尔函数,使Bent函数在密码系统中有了更进一步的使用价值.它也提供了Bent函数重量关系的一些规律性变化,我们可以利用这些性质来探讨相关免疫性变化、非线性度变化等问题并得到构造Bent函数的新方法.     

二元向量输出的Partially Bent函数

把关于布尔函数的Carlet不等式推广到向量输出的布尔函数并且引入了向量输出的Partially Bent函数的概念,即广义Carlet不等式中等式成立的向量输出布尔函数.给出了一些广义Carlet不等式中等式成立的充分必要条件.进一步讨论了二元向量输出的partially bent函数的密码学性质.