基于plateaued函数的平衡布尔函数构造

布尔函数在对称密码的设计和分析中起着重要的作用。通过对谱不相交函数集中子函数平衡性的问题的研究给出了包含4个plateaued函数的函数集中有3个为平衡函数的充分条件。在此基础上,基于3个平衡的谱不相交plateaued函数,一类特殊的布尔置换以及一个高非线性度平衡函数,提出了一个构造高非线性度平衡布尔函数的方法。通过分析可知,利用该方法可以构造代数次数达到最优、非线性度不小于2^2k-1-2^k-1-2^k/2-2^{⌈(k-1)/2⌉}的2k元平衡函数。     

关于代数攻击中代数免疫的若干性质分析

代数免疫是衡量布尔函数抵抗代数攻击能力的重要指标,本文证明了在仿射变换作用下,代数免疫保持不变,并且通过证明布尔函数与仿射函数异或后所得到的新函数与原布尔函数代数免疫最多相差1,找到了Walsh谱与代数免疫的关系,使得代数免疫作为密码函数的一个性质特征与其他特征类似,同样可以通过谱来衡量。     

互补对称布尔函数的非线性度

互补对称布尔函数是一类特殊的对称布尔函数。在所有代数免疫最优的对称布尔函数中,有相当的比例均属此类函数。特别是当变元数量为2m元时,有2/3比例的代数免疫最优对称布尔函数都是互补对称布尔函数。通过布尔函数非线性度、Walsh谱和Krawtchouk多项式间的关系,计算出互补对称布尔函数的非线性度。结果表明,任意n元互补对称布尔函数的非线性度为2n-1-1/2[nn/2]     

New constructions of balanced Boolean functions with high nonlinearity and optimal algebraic degree

In this paper, we propose a technique for constructing balanced Boolean functions on even numbers of variables. The main technique is to utilize a set of disjoint spectra functions and a special Boolean permutation to derive a balanced Boolean function with high nonlinearity and optimal algebraic degree. It is shown that the functions we construct are different from both Maiorana-McFarland's (M-M) super-class functions introduced by Carlet and modified M-M super-class functions presented by Zeng and Hu. Furthermore, we show that they have no nonzero linear structures.     

一类弹性布尔函数的谱值分布

Sarka等人在文献[1]中给出了弹性布尔函数的一种构造方法,利用该方法可以构造出非线性度、弹性阶和代数次数等密码学性质均较理想的奇数元弹性布尔函数。对其构造得到的弹性布尔函数的谱值分布进行了研究,分析了由该方法所构造得到的5元1阶和7元1阶弹性布尔函数的谱值,给出了这两类弹性布尔函数的谱值分布情形,并给出了相应谱值点的计数结果。     

满足k次强扩散准则的布尔函数谱特征分析

利用概率方法和频谱理论,给出布尔函数满足强扩散准则的一个新的等价判别条件,并根据强扩散准则与扩散准则之间的关系,得到满足k次强扩散准则的布尔函数的2种构造方法。结合具有平衡性和相关免疫性的布尔函数的谱特征,给出缸欺骗免疫秘密共享定义函数的谱判别条件。     

On the equal-weight symmetric Boolean functions

Two important classes of symmetric Boolean functions are the equal-weight Boolean functions and the elementary (or homogeneous) symmetric Boolean functions. In this paper we studied the equal-weight symmetric Boolean functions. First the Walsh spectra of the equal-weight symmetric Boolean functions are given. Second the sufficient and necessary condition on correlation-immunity of the equal-weight symmetric Boolean function is derived and other cryptology properties such as the nonlinearity, balance and propagation criterion are taken into account. In particular, the nonlinearity of the equal-weight symmetric Boolean functions with n (n ≥ 10) variables is determined by their Hamming weight. Considering these properties will be helpful in further investigations of symmetric Boolean functions.     

相关免疫函数的性质和构造

利用Walsh频谱方法给出了一个布尔函数是m阶相关免疫函数的一个充要条件, 给出了几种由已知相关免疫函数构造新的相关免疫函数的方法.     

Quaternary Fixed-Polarity Reed-Muller expansion computation through operations on disjoint cubes and its comparison with other methods

A new algorithm for calculating quaternary Fixed-Polarity Reed-Muller (FPRM) spectra is described in this paper. The presented algorithm directly converts array of disjoint cubes representation of a quaternary function into its FPRM spectral coefficients. The main advantage of this algorithm is that it requires less memory space than other algorithms. Since each spectral coefficient can be calculated independently of other spectral coefficients, the algorithm can be implemented using parallel programming. Brief reviews and experimental results of several existing algorithms for the calculation of quaternary FPRM spectra are also included in this paper together with experimental results of the new algorithm for comparison purpose.     

一种分组密码算法的功耗分析新方法

功耗分析能够有效地析出内嵌密码芯片的分组密码的密钥,Walsh谱变换是一种研究分组密码布尔函数的重要工具。该文在相关功耗分析的基础上,提出了一种基于Walsh谱的功耗分析新方法,证明了分组密码布尔函数的非线性度越高,密码防范功耗分析的能力就越弱的结论。实验表明,相对差分功耗分析、相关功耗分析而言,基于Walsh谱的功耗分析能有效地提高析出密钥的效率和精度。     

Gbent函数的构造

基于研究布尔函数在子空间的限制,得到关于Gbent函数的一个充分必要条件。给出了两类简单的正则的Gbent函数。在此基础上,通过间接构造Bent函数的方法,利用已知的Gbent函数构造出了更多的Gbent函数。     

半Bent函数和多输出布尔函数的构造

半bent函数是一类非线性度几乎最优且平衡的布尔函数,它弥补了bent函数的一些不足,如变元个数可以是奇数,具有平衡性.半bent函数可用于对称密码系统的设计和CDMA系统中的正交可变扩频码的构造.本文利用不相交线性码构造了一类新的半bent函数,设输入维度为n,当n=2k+1时,将F2^n划分为2^k+1个[n,k]线性码和1个[n,k+1]线性码,通过从该码集中选取合适线性码作支撑集来构造新的半bent函数.另一方面,多输出布尔函数(向量值函数)在应用中的效率更高,因此其使用场景更为广泛.本文同时利用不相交线性码构造了(n,n-k)平衡的多输出布尔函数,其中n/3相似文献   

A simple method of Walsh spectra multiplication

The paper presents a new easy method to obtain the product of the Walsh spectra of two functions. The method makes use of both the spectra of Walsh and block-pulse functions (b.p.f.s). The proposed method can be easily implemented with a digital computer. It will be very useful in the analysis and optimal control of time varying systems via Walsh functions.     

Multiplicative Properties of Spectral Walsh Coefficients of the Boolean Function

It is shown for the first time that spectral Walsh coefficients of the Boolean function have the structure in the form of the product of Walsh derivatives of this function. A method and an algorithm are suggested for the analysis of multiplicative properties of Walsh coefficients in terms of the behavior of the Boolean function and results of the experiments on test logic circuits are given.     

The global avalanche characteristics of two Boolean functions and algebraic immunity

The global avalanche characteristics criterion of two Boolean functions was introduced by Zhou et al. [On the global avalanche characteristics criterion of two Boolean functions and the higher order nonlinearity, Inform. Sci. 180(2) (2010), pp. 256–265] to measure the cryptographic behaviour in a global characteristic. The two indicators σ _{f, g} and Δ _{f, g} of Boolean functions f and g were presented. In this paper, a new upper bound on σ _{f, g} is derived, and a technique on constructing Boolean functions to attain the lower bound on the sum-of-squares indicator is described by using the disjoint spectra method. Some new upper bounds on Δ _{f, g} and σ _{f, g} are deduced for two special Boolean functions. Two relationships between σ _{f, g} and algebraic immunity of the two Boolean functions are obtained. Finally, some links among different cryptographic indicators are shown.     

扩展Toffoli门及其在多输出电路设计中的应用

用量子计算电路实现布尔逻辑运算是发展量子计算的一个重要目标。提出了量子扩展Toffoli门,及其在实现多输出逻辑电路中的转换算法。该算法将传统PLA文件的SOP积项转换到实现等价逻辑功能的量子Toffoli积项,能够用量子扩展Toffoli门实现。通过MCNC基准电路的测试结果表明,与经典PLA描述相比,用扩展Toffoli门能够更有效地描述多输出逻辑函数。     

5元饱和最优布尔函数的计数问题

同时达到代数次数上界n-m-1和非线性度上界2^n-1-2^m+1的n元m阶弹性布尔函数(m＞n/2-2)具有3个Walsh谱值:0,±2^m+2这样的函数被称为饱和最优函数(saturated best,简称SB).将利用(32,6)Reed-Muller码陪集重量的分布,从一种全新的构造角度出发,给出n=5的饱和最优函数的个数.     

奇数变元plateaued函数代数免疫性质研究

Plateaued函数是包含Bent函数和部分Bent函数的更大函数类,具有许多优良的密码学性质。基于布尔函数非线性度与代数免疫阶之间的关系,利用Walsh谱等工具,讨论奇数变元的plateaued函数的代数免疫性质,得到其存在低次零化子的一个充分条件,并进一步刻画变元个数n与plateaued函数的阶r之间的具体关系,利用此关系可确定函数代数免疫阶的上界。     

一类具有最高代数免疫阶的布尔函数

研究了布尔函数的线性结构点个数与其代数免疫阶之间的关系,得到了具有1型线性结构布尔函数的代数免疫阶完全取决于函数零化子代数次数的结论．从线性结构点的角度构造了一类具有最高代数免疫阶的布尔函数,并给出了”为偶数时,函数的Walsh循环谱和自相关函数的取值特点．     

SMS4算法S盒代数性质的研究

对中国分组密码新标准SMS4算法s盒布尔函数的密码性质进行了深入的分析,研究其平衡性、非线性、代数次数等性质,理论上证明了SMS4算法s盒所拥有的一些较好的安全特性。