新的一阶相关免疫布尔函数计数下界

研究了一阶相关免疫函数构造、计数问题,提出了两种新的一阶相关免疫函数的构造方法,并通过这两种构造方法给出了一个目前最好的一阶相关免疫函数个数下界。     

一阶相关免疫布尔函数的构造和计数

给出了一阶相关免疫布尔函数的新的构造方法,并通过该方法改进了一阶相关免疫布尔函数的计数下界。     

m阶相关免疫函数的构造和计数

若布尔函数的输出不泄漏其输入值的有关信息,则称该函数是相关免疫的.这类函数在计算机保密应用中用途广泛.本文研究了m阶相关免疫函数的构造和计数问题,给出了两种新的构造方法.进一步,将这两种新构造方法与Seigenthaler,杨义先,Camion,Seberry以及温巧燕等人的构造方法进行了比较,证明了本文中的构造方法实际上推广了这些文献中的结论.利用本文中的构造方法,既可直接构造任意阶的相关免疫函数,又可根据已知的相关免疫函数来构造新的相关免疫函数.另外,基于新的构造方法,改进了m阶相关免疫的平衡函数的计数下界.     

PS 类Bent函数的一种构造方法

PS 类bent函数类是所有2^(n/2)-1或2^(n/2)-1+1个Fⁿ₂的"不交的" n 2 维子空间的指示函数的模2和所组成的函数的集合.这些函数具有很好的代数结构并在密码学中有很多应用.如何来刻画 PS bent函数的代数范式一直是公开的难题.构造 PS 类bent函数关键在于如何将Fⁿ₂划分为2^n/2+1个 n 2 维子空间.本文给出一种划分的方法,从而构造出 PS 类bent函数,并给出了对应的代数范式.     

基于两族函数的低相关二元序列集构造

低相关序列集在码分多址(CDMA)扩频通信系统和密码系统中具有极其重要的作用,运用有限域上的函数族能有效地构造相关性较好的序列集.针对n≡2(mod 4)时,本文首次运用阶数为2ⁿ的有限域上的两个二次布尔函数族,构造了2^2n-2个低相关序列集;这里每个序列集包含2ⁿ+1条周期为2ⁿ-1的二元序列,其最大相关值为2^n/2+1+1.这将为通信系统和密码系统提供更多可供选择的序列集.     

Tr（...）的二阶非线性度下界

作为影响系统安全的重要因素,对称密码中的密码函数应具有较高的r阶非线性度。对于r>1,目前对r阶非线性度的研究主要根据布尔函数微商的非线性度与其二阶非线性度之间的关系来进行。对于正整数n≡2（mod 4）,确定了一类布尔函数Tr(x^{2n/2+2n/2-1+1})的二阶非线性度下界。与相同变元数的两类已知布尔函数相比,研究的函数具有更紧的二阶非线性度下界。     

非退化相关免疫函数的构造与计数

本文给出了非退化一阶相关免疫函数的一个构造方法，得到了这类函数的一个新的下界，并且给出了阶数大于１的相关免疫函数非退化的一个充分条件及实例。     

一阶相关免疫函数的计数

本文在文献「１」「２」的基础上研究了一阶相关免疫函数的计数问题,给出了非经的一介相关免疫函数计数的最新公式,从而也给出了一阶相关免疫函数计数的一个新的下界。     

一阶相关免疫布尔函数的计数

本文研究线性结构布尔函数的相关免疫性,得到了一大类满足一阶相关免疫的线性结构函数,并大大改进了一阶相关免疫函数的计数结果,得到了目前为止的最好下界.     

一阶相关免疫布尔函数的计数

本文研究了结构布尔函数的相关免疫性，得到了一大类满足一阶相关免疫的线性结构函数的计数并大大改进了一阶相关免疫函数的计数结果，得到了目前为止的最好下界。     

H布尔函数的相关免疫性与重量的关系

将布尔函数的导数和与导数一起便可直接明确刻画布尔函数的重量而定义的e-导数一起作研究工具,深入到布尔函数取值的内部结构中去,讨论了在H布尔函数存在的一个大重量范围内,所有不同重量的H布尔函数的一阶、任意m阶相关免疫函数存在与否的问题。对存在m阶相关免疫性的H布尔函数,它的相关免疫阶数m与维数n的具体关系,以及m的最大值问题。给出了m阶相关免疫H布尔函数只存在于2种重量的H布尔函数中,其相关免疫阶数m的最大值为n-2,以及其余重量的H布尔函数中不存在二阶以上(包括二阶)相关免疫函数等一系列结果。同时,也给出了一些判断布尔函数相关免疫性的方法。     

相关免疫布尔函数的计数

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

MIMO雷达相位编码波形集相关函数下界综述

MIMO雷达波形集的互相关函数峰值越低，则正交性越好，波形分集增益越高。非循环互相关函数下界的研究有助于确定波形分集增益的极限值，对MIMO雷达波形设计与应用有重要意义。相位编码波形集是目前被研究最多的MIMO雷达波形集，对其相关函数下界的研究较为深入。本文对目前相位编码波形集相关函数各类下界的研究进行归纳总结，包括相关函数峰值旁瓣下界、相关函数积分旁瓣下界、互相关内积下界、互补序列相关函数下界四大类。相关函数峰值旁瓣下界是影响MIMO雷达波形分集增益的关键指标，其他类型的下界与相关函数峰值旁瓣下界之间存在潜在联系，这可能有助于相关函数峰值旁瓣下界的确定。不同波形数，不同码长的典型相位编码波形相关函数指标与下界的对比结果表明，目前已有下界都不够紧，尤其在波形数较多时。因此，MIMO雷达相位编码波形集相关函数下界仍是一个值得研究的开放问题。      

Correlation Immune Functions with Controllable Nonlinearity

In this paper, we consider the relationship between nonlinearity and correlation immunity of Boolean functions. In particular, we discuss the nonlinearity of correlation immune functions suggested by P. Camion et al. For the analysis of such functions, we present a simple method of generating the same set of functions, which makes it possible to construct correlation immune functions with controllable correlation immunity and nonlinearity. Also, we find a bound for the correlation immunity of functions having maximal nonlinearity.     

Bent-function sequences

In this paper we construct a new family of nonlinear binary signal sets which achieve Welch's lower bound on simultaneous cross correlation and autocorrelation magnitudes. Given a parameternwithn=0 pmod{4}, the period of the sequences is2^{n}-1, the number of sequences in the set is2^{n/2}, and the cross/auto correlation function has three values with magnitudesleq 2^{n/2}+1. The equivalent linear span of the codes is bound above bysum_{i=1}^{n/4}left(stackrel{n}{i} right). These new signal sets have the same size and correlation properties as the small set of Kasami codes, but they have important advantages for use in spread spectrum multiple access communications systems. First, the sequences are "balances," which represents only a slight advantage. Second, the sequence generators are easy to randomly initialize into any assigned code and hence can be rapidly "hopped" from sequence to sequence for code division multiple access operation. Most importantly, the codes are nonlinear in that the order of the linear difference equation satisfied by the sequence can be orders of magnitude larger than the number of memory elements in the generator that produced it. This high equivalent linear span assures that the code sequence cannot be readily analyzed by a sophisticated enemy and then used to neutralize the advantages of the spread spectrum processing.     

均衡弹性函数的结构与弹性阶

弹性函数是相关免疫布尔函数的自然推广。本文讨论均衡弹性函数,得到以下结果:给出了均衡弹性函数的一种结构,并因此得到了由均衡(n,m,2t)弹性函数构造均衡(n+1,m,2t+1)弹性函数的非线性方法;证明了均衡线性函数的弹性阶等于对应线性分组码的码字最小重最减1,且弹性阶上确界常常能由非线性函数所达到。     

满足k阶PC(l)的密码函数的新构造

该文基于线性分组码和双射函数,给出了满足七阶PC(l)的均衡相关免疫布尔函数新的构造方法。并据此进一步给出满足七阶PC(l)的(n,m,t)弹性函数的一般构造方法。此外,该文还揭示了这些函数的其它良好的密码学性质,如较高的非线性度、良好的代数次数、良好的构造计数等。     

Further Results of Cheating Immune Secret Sharing

Cheating immune secret sharing in the unconditionally secure case are investigated in this paper.Constructionsof defining functions of cheating immune secret sharing on V_n are given,where n is any integer greater than 5.Further-more,the obtained defining functions have good cryptographic properties.The nonlinearity of them is 2~(n-1)－2~(n/2 1) whenn≡0(mod 4)and 2~(n-1)-2~((?)n/2」 2) otherwise.And thedegree is「n/4(?).     

布尔函数的代数厚度

基于布尔函数的代数次数和代数厚度,给出了布尔函数和其分解函数的代数厚度的关系,利用递归和反证法导出了n元布尔函数代数厚度的上界是2* *(n-1),这个上界回答了"是否存在代数厚度大于2* *(n-1)的n元布尔函数"这个公开问题.在此基础上改进了n元k(2≤k≤(n-1)/2)次基本对称布尔函数的代数厚度的上界,同时也得到了布尔函数的代数厚度的一些性质.