一类对称布尔函数的研究

主要讨论了一类对称布尔函数(记为)的性质。提供了不同的方法证明的一个子类具有最大代数免疫阶。给出了中函数达到最大代数免疫阶的一个必要条件,并得到了满足此必要条件的布尔函数个数的下界。同时给出了中大部分函数的代数次数,分析了中函数的线性结构和相关免疫性。结果表明,中函数没有非零的线性结构且仅有2个函数具有一阶相关免疫性。     

一类二阶相关免疫布尔函数

本文给出了一种称为完全组的向量组，利用它构造了一类二阶相关免疫布尔函数，并对这类函数结构间的关系进行了论述。     

关于一类布尔函数的存在性

证明了满足1次扩散准则的平衡k阶相关免疫函数的存在性．     

关于布尔函数的广义相关免疫性和无关度的一点注记

文中首先探讨了广义相关免疫阶和非线性之间的关系；其次论述了文献中引入二次Ｂｅｎｔ函数的不合理性，并对这个概念进行了修改。     

高非线性度布尔函数的构造

布尔函数的非线性度是衡量及其密码学意义的重要标志,而非线性度和其它密码学强度指标,如代数次数,扩散性,相关免疫性等存在着制约关系,本文研究了高非线性度布尔函数的构造,讨论非线性度和其它密码学准则之间的折关系,给出高非线性度,高代数次数,高非线性平衡相关免疫以及具有较好扩散性的高非线性度布尔函数的几种构造方法。     

布尔函数的相关免疫阶和非线性度之间的关系

本文讨论了布尔函数的相关免疫阶和非线性度之间的关系,说明了这两者之间存在着一种制约关系。     

布尔函数扩散性的矩阵刻画

该文利用布尔函数的特征矩阵, 给出了n(3) 元布尔函数在sGFn(2) 满足扩散准则的充分必要条件, 在此基础上得到了布尔函数满足严格雪崩准则(SAC)的一个充分必要条件和n元平衡布尔函数满足严格雪崩准则、代数次数达到最大且不含有非零线性结构的一个充分必要条件, 最后提出了平衡且满足严格雪崩准则的布尔函数的两种特殊的递补构造法。     

关于高度非线性平衡布尔函数的构造

本文利用Ｗａｌｓｈ谱分析了文献「１」中所构造的布尔函数的非线性度；证明了Ｆ＾２ｋ２上不存在满足２ｋ－１次扩散准则的平衡布尔函数。     

利用级联方法构造的布尔函数

级联构造作为布尔函数的主要构造方法之一,具有结构简单、实现快速灵活等优点,被广泛用于构造实用的布尔函数。文中给出了一种通过迭代来构造密码学性质好的布尔函数的级联方法,详细测试了这类函数主要的密码学性质及代数正规型项数,并从理论上分析了构造的这类函数能够具有平衡性、最优的代数次数、高非线性度、高的代数免疫阶等多种好的密码性质。文中的结果表明,提出的级联构造方法能够用于构造密码学性质良好的布尔函数。     

现代密码学中的布尔函数研究综述

本文以作者及课题组多年的研究成果为重点,概述目前这一领域的研究状况和新的重要研究成果,同时展望布尔函数研究的进一步发展,并指出了若干重要研究课题.     

一类相关免疫函数的非线性性和扩散特性

本文讨论了文献［１］中给出的一类相关免疫函数的非线性性和扩散特性，并说明了文献［２］中给出的等价构造方法与文献［１］中的构造方法相比并无多少优点。     

线性结构函数与一阶相关免疫函数的计数

通过研究线性结构布尔函数的相关免疫性，得到了一大类满足一阶相关免疫的线性结构函数，由此给出了一阶相关免疫函数个数的一个新的下界。     

满足扩散准则的元素之集的性质

设f(x)是V_n上的布尔函数,本文研究了f(x)的满足扩散准则的元素集合R^c_f的性质.证明了,若degf(x)=n,则R^c_f为空集.对于所有的二次布尔函数而言,均有R^c_f中的元素个数大于等于2^n-1.还对一类函数的雪崩性质进行了讨论.给出布尔函数不含有非零线性结构的充分必要条件是ζ_f中含有n个线性无关的元素,其中ζ_f={(α_i|〈ζ,l_i〉≠0,0≤i≤2ⁿ-1},l_i为线性函数φ_αi=〈x,α_i〉的序列.还给出了一种2阶扩散准则布尔函数的构造.     

高非线性度多输出布尔函数的构造

本文主要讨论了构造具有高非线性度多输出布尔函数的方法.对于输入变量个数少于输出变量个数的多输出布尔函数,我们给出了存在非零非线性度的充分必要条件及具体的构造方法.我们还利用一类特殊的多输出bent函数构造出具有非常高非线性度的无偏多输出函数.     

On Separable Boolean Functions

A necessary and sufficient condition for a Boolean function to be separable is presented. Several results towards a better understanding the characteristic properties of separable Boolean functions are derived. Some properties of separable plateaued functions are given.     

级联函数的密码学性质

 构造具有好的密码学性质的布尔函数一直是布尔函数的研究热点.在构造具有好的密码学性质的布尔函数的方法中,级联构造方法是一种重要的研究方法,利用级联构造方法可以构造密码学性质好的布尔函数.本文利用级联构造了布尔函数f₁‖f₃‖f₃‖f₂,并且在文中详细讨论了这类级联布尔函数的密码学性质:相关免疫性、扩散性、线性结构、代数免疫阶等.通过我们的讨论发现,在布尔函数f₁,f₂,f₃的密码学性质较好的前提下,级联布尔函数f₁‖f₃‖f₃‖f₂的密码学性质也较好.     

一类广义布尔函数的相关函数分析

基于广义布尔函数的理论研究,利用广义Walsh-Hadamard变换、相关函数以及平方和指标,分析了一类广义布尔函数的相关函数关系,得到这类广义布尔函数互相关函数以及自相关函数的关系;基于所得结果,利用自相关函数证明了一类广义Bent函数与Bent函数之间的关系.最后,给出一类广义布尔函数的平方和指标关系.