关于布尔函数的二次逼近

本文首先利用矩阵形式引入了二阶ｗａｌｓｈ谱的概念并讨论了其性质，其次引入了二次ｂｅｎｔ函数的概念，同时论述了二次ｂｅｎｔ函数的密码学意义。     

广义e—bent函数

本文针对广义ｅ－ｂｅｎｔ函数进行了讨论，证明了此类函数仅包括ｂｅｎｔ函数，常数函数和形如ｆ（ｘ１，ｘ２，…，ｘｎ）＝α０＋（ｘ１＋α１）（ｘ２＋α２）…的函数，其中αｉ∈｛０，１｝，ｉ＝０，１，…，ｎ。     

广义e－bent函数

本文针对广义ｅ－ｂｅｎｔ函数进行了讨论，证明了此类函数仅包括ｂｅｎｔ函数、常数函数和形如的函数，其中αｉ∈｛０，１｝，ｉ＝０，１，…，ｎ。     

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

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

基于迹函数的negabent函数构造

Negabent函数是一种具有最优自相关性、较高非线性度的布尔函数,在密码学、编码理论及组合设计中都有着广泛的应用。该文基于有限域上的迹函数,将其与置换多项式相结合,提出两种构造negabent函数的方法。所构造的两类negabent函数均具备${\text{Tr}}_1^k(\lambda {x^{{2^k} + 1}}) + {\text{Tr}}_1^n(ux){\text{Tr}}_1^n(vx) + {\text{Tr}}_1^n(mx){{\rm{Tr}}} _1^n(dx)$形式：构造方法1通过调整$\lambda ,{\text{ }}u,{\text{ }}v,{\text{ }}m$中的3个参数来获得negabent函数,特别地,当$\lambda $≠1时,能得到$({2^{n - 1}} - 2)({2^n} - 1)({2^n} - 4)$个negabent函数;构造方法2通过调整$\lambda ,{\text{ }}u,{\text{ }}v,{\text{ }}m,{\text{ }}d$中的4个参数来获得negabent函数,特别地,当$\lambda$≠1时,至少能够得到${2^{n - 1}}[({2^{n - 1}} - 2)({2^{n - 1}} - 3) + {2^{n - 1}} - 4]$个negabent函数。     

类似于bent性质的平衡函数的构造

ｂｅｎｔ函数有较好的密码学性质，但ｂｅｎｔ函数不是平衡函数，从实际应用角度来说，我们有必要构造具有类似于ｂｅｎｔ性质的平衡函数，本文对此做了一些研究。     

级联函数的密码学性质

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

三类Semi-Bent函数的构造

Semi-bent函数是一种具有高非线性度的布尔函数,它们在密码和通信领域中都有重要的应用价值.本文构造了三类由迹函数表示的semi-bent函数.证明了当限制某些参数的取值范围时,这些新构造函数的semi-bent性与Kloosterman和密切相关.并且证明了每一类新构造的含有n个变元的semi-bent函数,都存...     

布尔函数若干设计准则的研究

本文在简要介绍密码应用中布尔函数应满足的一些设计准则及其各自构造方法的基础上,分析了这些设计准则的作用及相互关系,提出了同时满足几个最重要设计准则的较实用的构造方法,并给出了相应的例子。     

满足严格Avalanche标准的布尔函数的性质

本文讨论了满足严格Ａｖａｌａｎｃｈｅ标准的布尔函数的一个必要条件；对满足（ｎ－３）阶严格的Ａｖａｌａｎｃｈｅ标准（ＳＡＣ）的布尔函数，和所有次数不超过二次的满足任意阶严格Ａｖａｌａｎｃｈｅ标准的布尔函数，本文给出了它们的布尔多项式特征。     

Some results on the algebraic immunity of Boolean functions

From the motivation of algebraic attacks on stream and block ciphers,the concept of algebraic immunity(AI) of a Boolean function was introduced and studied extensively.High algebraic immunity is a necessary condition for resisting algebraic attacks.In this paper,we give some lower bounds on the algebraic immunity of Boolean functions.The results are applied to give lower bounds on the AI of symmetric Boolean functions and rotation symmetric Boolean functions.Some balanced rotation symmetric Boolean functions with their AI near the maximum possible value「n/2」are constructed.     

ENUMERATING CORRELATION-IMMUNE BOOLEAN FUNCTIONS OF ORDER ONE

A large class of linear structural functions(LSF) satisfying the condition of correlational immunity of order one are constructed by studying the linear structural Boolean functions. With these new founded functions, the known enumeration bounds of correlation-immune functions of order one are greatly improved. In fact, the best, up to now, lower bound is found.     

相关免疫布尔函数的计数

本文给出一种关于相关免疫布尔函数的计数方法，并由此给出了一些小重量的相关免疫布尔函数的确切计数公式。本文还根据Rao不等式分析了高阶相关免疫函数计数的性质，并得到了对于高阶相关免疫函数存在的一个关于重量的必要条件，证明了文献【1】中提出的一个猜想是正确的。     

Enumerating Boolean functions of cryptographic significance

In this paper we describe applications of functions from GF(2) ^m onto GF(2) ⁿ in the design of encryption algorithms. If such a function is to be useful it must satisfy a set of criteria, the actual definition of which depends on the type of encryption technique involved. This in turn means that it is important to ensure that the selected criteria do not restrict the choice of function too severely, i.e., the set of functions must be enumerated. We discuss some of the possible sets of criteria and then give partial results on the corresponding enumeration problems. Many open problems remain, some of them corresponding to well-known hard enumeration questions.     

布尔函数相关免疫性与平衡性关系的研究

以布尔函数的e导数及已有的导数一起作工具,深入到布尔函数内部不同结构中,分析布尔函数的密码学性质的方法,这在密码学领域是一个新的研究课题.利用这种方法,重点讨论了对密码系统的安全性有重要影响的布尔函数的平衡性和相关免疫性的关系,得出一些以往从布尔函数整体结构上分析布尔函数性质难以得出的有用结论,为平衡H布尔函数的相关免疫性增添了新的内容并找到一种新的研究方法,进而提高了密码系统的抗攻击性.     

旋转对称布尔函数线性结构的2个公开问题

证明了代数次数为 的偶变元平衡旋转对称布尔函数不存在非零线性结构这个公开问题,给出了代数次数为 的奇变元旋转对称布尔函数不存在非零线性结构这个公开问题成立的充分条件和不成立的必要条件。