广义Maiorana-McFarland布尔函数及其密码特性

定义了一类广义M-M函数,给出了它的Walsh谱的表达式, 代数次数和非线性度的界, 以及它是平衡函数, 相关免疫函数和resilient函数的充分条件。     

布尔函数非线性度界的问题

对目前有关布尔函数非线性度的界已有结果作了较全面的比较和分析,指出关于非线性度的界尚需解决的问题. 尤其对满足平衡性、相关免疫性和同时满足平衡相关免疫性函数的非线性度的界分别进行了研究,利用非线性度和相关免疫阶之间的关系,给出相关免疫函数非线性度的一种新的上界.     

三次单项布尔函数的二阶非线性度下界

本文研究了形如f_μ(x)=Tr(μx^d)的n元单项布尔函数,其中d=2ⁱ+2^j+1,μ∈GF(2ⁿ)^*,i,j均为正整数,且n＞i＞j.已有结论表明:当n＞2i时,f_μ(x)具有良好的二阶非线性度下界.在此基础上本文研究了n≤2i时f_μ(x)所有导数的非线性度下界,并给出n≤2i时f_μ(x)的二阶非线性度下界.结果表明n≤2i时f_μ(x)的二阶非线性度下界比n＞2i时f_μ(x)的二阶非线性度下界更紧.因此,f_μ(x)无论在n＞2i还是n≤2i时都可以抵抗二次函数逼近和仿射逼近攻击.     

布尔函数代数免疫度分析

本文主要分析了布尔函数代数免疫度的性质,以及其与Hamming重量的关系,进一步分析了代数免疫度与非线性度的关系,并对各种结果进行了分析比较,得出了较优的结果,最后对布尔函数零化子计数问题进行了分析,这些分析对密码抵抗代数攻击具有重要意义。     

满足k次扩散准则的布尔函数的性质和构造

本文研究了满足ｋ次扩散准则的布尔函数的性质,给出了形如ｆ（ｘ）＋ｇ（ｙ）＋ｈ１（ｘ）ｈ２（ｙ）的布尔函数满足ｋ次扩散准则的充要条件,并给出了一种新的构造方法。     

密码学性质优良布尔函数的构造与分析

给出了一类利用Bent函数直接加上其函数空间的一个子集E的示性函数构造高非线性平衡布尔函数的方法,讨论了可使上述方法所构造布尔函数密码学性质较为优良的子集E的2种具体的选取方法及E的存在性。     

奇数元布尔函数的构造及其密码学性质

构造具有高非线性度且平衡的奇数元布尔函数是现代密码学研究的一个重要课题 .借助于函数的卷积 ,同时利用Bent函数 ,给出了一类奇数元布尔函数 ,并进一步讨论了这类函数的Walsh循环谱特征、自相关函数、重量特征、平衡性、扩散性、稳定性、相关免疫性及非线性性等密码学性质     

关于二次非线性度达最大值的布尔函数的研究

在密码学中，为抵抗二次逼近引入了二次bent函数、二阶Walsh谱与二次非线性度的概念，并得到了n元布尔函数的二次非线性度的最大值为2^n-1-2^n/2-1。二次bent函数的二次非线性度达到了这一最大值。因此，二次bent函数既可以抵抗线性逼近又可以抵抗二次逼近攻击，是具有优良密码学特性的函数。但本文利用矩阵运算、向量的内积运算及汉明重量证明了这类函数实际上是不存在的。     

满足2次强扩散准则的布尔函数的性质分析及构造

利用布尔函数的W alsh谱,对满足2次强扩散准则的布尔函数的性质进行了研究,得到了布尔函数满足2次强扩散准则的一个等价判别条件,并根据强扩散准则与扩散准则之间的关系,给出了满足2次强扩散准则的布尔函数的两种构造。     

平衡对称布尔函数的构造与计数

据文献[1],平衡对称布尔函数的构造与计数等价于背包方程 的求解与解的计数。本文先求出了当 为奇数时这个背包方程的一个解集合 以及 中所有解的个数,然后给出了这个背包方程存在其它解（即不包含于集合 的解）的充分必要条件,同时提供了一种求其它解的方法。最后求出了当 （ 为正整数）时这个背包方程的部分解。     

一类布尔函数密码性质的分析与设计

分析了形如ｆ（ｘ，ｙ）＝ｈ（ｘ）·ｙｇ（ｘ）及ｆ（Ａｘ＋ａ）的ｎ元布尔函数的密码性质，并设计出几种好的布尔函数。其中ｇ（ｘ）是ＧＦ（２）ｋ１→ＧＦ（２）的函数，ｈ（ｘ）是ＧＦ（２）ｋ１→ＧＦ（２）ｋ２的函数，ｋ１＋ｋ２＝ｎ，Ａ是ｎ×ｎ可逆矩阵，ａ∈ＧＦ（２）ｎ。     

满足2次强扩散准则的布尔函数的性质分析及构造

利用布尔函数的W alsh谱,对满足2次强扩散准则的布尔函数的性质进行了研究,得到了布尔函数满足2次强扩散准则的一个等价判别条件,并根据强扩散准则与扩散准则之间的关系,给出了满足2次强扩散准则的布尔函数的两种构造。     

偶数元平衡对称布尔函数的构造与计数

平衡对称布尔函数的构造与计数等价于二元域上某个含有n个变量的背包方程的求解与解的计数,并且当n为偶数时,该背包方程存在2组平凡解。给出了当 为偶数时,这个背包方程有非平凡解的充分必要条件;提供了1种求非平凡解的方法;求出了当 和 （ 为正整数）时,这个背包方程的非平凡解。     

多输出布尔函数代数免疫度的若干性质

证明了n进m出多输出布尔函数代数免疫度的上界不大于“（n—m）／2”,并分析了多输出布尔函数的代数免疫度与平衡性和非线性度之间的关系,证明了具有平衡性和高非线性度是多输出布尔函数具有高代数免疫度的必要条件。     

相关免疫布尔函数的计数

本文修正了文献[1]中重量为6（或2^n－6）的n元相关免疫布尔函数的计数公式，并给出了重量为8（或2^n-8)的n元相关免疫布尔函数的精确个数。     

一些不平衡的初等对称布尔函数

文献[8]猜想n变元d次不平衡初等对称布尔函数X(d,n)具有唯一形式X(2t,2t+1l-1)。对于wt(d)=3,文献[9]给出了一些不平衡的X(d,n)。对于n=2t+1l-1,l为奇数,2t+1|/d,文献[10]证明了上述猜想。文献[11]证明了上述猜想对充分大的n成立,但没有估计n的大小。对于d=2tk,n=2t(2k+q)+m,k=2w(20+21+…+2s),文章证明了对于给定的s和q,如果w充分大(n也充分大),则wt(X(d,n))>2n-1,并且估计了w的大小,这个结果与文献[11]中的结果 wt(X(d,n))<2n-1不同。同时也证明了对于给定的w,q和t,如果s充分大(n也充分大),则wt(X(d,n))<2n-1。