布尔函数性质的谱特征

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

布尔函数导数的一些密码学性质

布尔函数的导数在线路分析和密码学研究中都是很有用的.文章给出了布尔函数的导数在密码学中的几个有关线性性、平衡性等的性质.     

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

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

具有高阶传播准则的对称布尔函数的直接确定

在密码学的应用中，布尔函数的传播准则和对称性是非常重要的性质.Preneel等率先提出高阶传播准则.作者用一个新的非常有趣的组合方法，给出一个对所有对称且具有二阶或二阶以上传播准则的布尔函数的直接确定，当函数一旦对称时，此法很可能有效.     

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

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

一类具有多种密码学性质的布尔函数构造

介绍一类高非线性的平衡相关免疫的布尔函数的构造方法,并利用Bent函数的高非线性,经直和的方法构造出具有多种密码学性质的布尔函数.     

关于多输出布尔函数的非线性度

多输出布尔函数的非线性度首先在文献[1]中被引进,本文称之为多输出布尔函数的第一类非线性度。本文定义了一种与之不同的多输出布尔函数的第二类非线性度,讨论了两者之间的关系,指出了它们的密码学意义,并且进一步讨论了两类多输出布尔函数的第二类非线性度。     

具有抵抗DPA攻击能力的高非线性度旋转对称布尔函数的搜索

提出了一种有效的搜索算法以实现在旋转对称布尔函数类中搜索具有抵抗DPA攻击能力的高非线性度布尔函数。 利用搜索算法在9、10元旋转对称布尔函数中得到了新的透明阶和非线性度等性质良好的函数, 其中包括透明阶优于已有结果的函数。 此外, 基于多核并行技术实现了8元旋转对称布尔函数的遍历, 首次给出了所有非线性度不低于112的8元旋转对称布尔函数, 并对其非线性度、透明阶、代数次数进行了统计分析, 这些函数可以用来构造密码学性质优良的S盒。     

均匀逻辑公式的基本性质及其真度的分布

基于密码学中布尔函数的等重性在二值命题逻辑中引入了均匀公式的概念。证明了每个均匀公式的真度都小于或等于1／2, 全体均匀逻辑公式的真度之集在逻辑度量空间中有惟一的聚点0。 研究了均匀逻辑公式的基本性质, 给出了含有同样原子公式的二均匀逻辑公式的析取式真度以及二者之间的相似度的简单计算方法。     

S盒布尔函数非线性度的分析

基于S盒构造准则,给出了构造较高非线性度,并具备良好密码学性质的布尔函数的理论依据;针对多输出布尔函数的非线性度和第二类非线性度,分析了两者之间的关系,并给出了有效抗击最佳多输出仿射逼近攻击的一个判断依据;最后利用walsh谱理论得出walsh循环谱与非线性度的关系,并对Camellia算法S盒中的布尔函数非线性度进行...     

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

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

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

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

具有高代数免疫阶的平衡布尔函数的构造

在探讨密码学中布尔函数性质的基础上,构造一类具有高代数免疫阶的布尔函数.它具有好的代数次数,并且具有平衡性.     

具有高代数免疫阶布尔函数的构造

在探讨密码学中布尔函数性质的基础上，提出了一个具有高代数免疫阶布尔函数的构造方法，利用这种方法可以构造出一类具有高代数免疫阶的布尔函数，并给出了一个实例。     

关于Bent函数的一些研究

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

具有最大代数免疫阶的布尔函数的新构造

针对密码学中布尔函数的构造需求, 利用布尔函数的代数标准型, 分析了布尔函数不存在次数低于 m 的非零零化子的充分条件, 得到布尔函数达到最大代数免疫阶的条件, 从而构造了一类具有最高代数免疫阶的布尔函数, 并对所构造函数的平衡性和计数问题进行了分析。     

关于Bent函数的一些研究

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

一种简化计算的Bent函数判定方法

为讨论Bent函数性质的需要,在研究了线性函数与Bent函数关系及e-偏导数的密码学性质的基础上,本文提出了一种判断布尔函数是否为Bent函数较容易的算法.同时,也讨论了Bent函数旋转变换生成的函数性质.     

类差分平衡函数的性质及其应用

定义了布尔函数的类差分和类差分平衡函数，研究了类差分平衡函数的密码学性质以及构造方法。作为类差分平衡函数的应用， 给出了Z24上逻辑函数是完全非线性函数的充要条件，并在首先分析得到所有四元类差分平衡函数的基础上，编程搜索出Z24上所有的完全非线性函数。     

两类偶特征有限域上的几乎完全非线性函数

密码学中所涉及的函数包括布尔函数和向量值函数,这两类函数的安全性指标包括差分一致性和非线性度等.构造密码学性质良好的低差分一致性函数是密码学中的热点问题.构造了两类偶特征有限域上的、新的几乎完全非线性(almost perfect nonlinear,APN)函数,并分别证明了它们与偶特征有限域上已知的单项式APN函数EA不等价.