关于旋转对称布尔函数线性结构的几点注记

该文研究了旋转对称布尔函数(RSBF)的线性结构特征,讨论了RSBF的代数次数与线性结构点之间的关系。证明了代数次数为n-1且平衡的偶数元RSBF不存在非全0的线性结构点这个公开问题。给出了自共轭轨道的计数公式,并以此计算了以全1向量为其线性结构点的RSBF的个数。     

一类对称布尔函数的研究

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

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

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

布尔函数的代数厚度

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

对称Boole函数的线性结构

本文证明了非仿射对称Boole函数的非零线性结构只能是全1向量,证明了具有非零恒变线性结构的奇数元对称平衡 Boole 函数(即 SBB 函数)恰是目前已构造出来的奇数元 SBB 函数,证明了偶数元 SBB 函数不具有恒变线性结构。本文还证明了目前所构造出的偶数元非仿射SBB函数均没有非零线性结构,并通过计算机验证了当n≤15时,2n元 SBB 函数和2n+元SSB 函数均没有非零不变线性结构。     

多输出布尔函数与布尔函数代数免疫阶之间的关系

本文给出了多输出布尔函数状态函数集合的代数结构,证明了多输出布尔函数的代数免疫阶等于某布尔函数的代数免疫阶,且该布尔函数是多输出函数的分量函数的一个非零非线性组合.接着证明了该组合的代数免疫阶是所有非零非线性组合中最小的,从而得出多输出布尔函数的代数免疫阶等于其所有非零非线性组合代数免疫阶的最小值.     

求布尔函数零化子的一种算法以及一类代数攻击不变量

该文首先给出了一种新的求布尔函数代数次数d的零化子的算法,并且利用布尔函数的特征矩阵得到了低次零化子存在性的判别条件。其次,该文通过研究(5,1,3,12)旋转对称饱和最优函数的代数免疫和一类构造函数的代数免疫,证明了一类函数为代数攻击不变量,并对此性质作了进一步推广。     

工程数学

()153,2 00050017线性结构与非线性度之间的关系/吴文玲,冯登国(中国科学院软件所)11电子学报.一2 000,28(1).一139-141文中分析了布尔函数的非线性度与线性结构之间的关系.结果表明布尔函数的非线性度和线性结构有一定的制约关系,并解决了非线陕度小于2n一2的平衡布尔函数的线性结构集和反自对偶点集的维数分布问题.参2(金)2参3(木)0153.3 00050018非零特征域上的导代数/张江峰、徐成贤(西安交通大学)11西安电子科技大学学报.一1999,26(4).一471-474,486讨论了非零特征域上的导代数,给出了它的基底、中心及N oether性质,并证明它是、讥y代…     

滤波生成器的旋转对称攻击

滤波生成器的安全性主要由滤波函数提供.为抵抗代数攻击,通常选取代数免疫函数作为滤波函数.我们发现已知的几类代数免疫函数都具有较强的旋转对称性,并在此基础上给出了一种针对滤波函数的旋转对称性质的攻击方法.我们还讨论了布尔函数的旋转对称性质以及该性质对旋转对称攻击的影响,分析了最优代数免疫函数对旋转对称攻击的脆弱性,提出了...     

素数元旋转对称弹性布尔函数的构造与计数

通过对素数元旋转对称弹性布尔函数特征矩阵的研究,给出了其特征矩阵的若干性质,得到了素数元旋转对称布尔函数为弹性函数的一个充要条件,由此完全决定了旋转对称弹性函数的构造以及这类函数的精确计数公式,最后还给出了所有的三元、五元、七元旋转对称弹性布尔函数的构造方案与精确计数。     

Constructions of rotation symmetric 2-resilient functions with 4t-1 number of variables

Some properties of rotation symmetric orbits were proposed in n dimensional vector space over finite field of characteristic 2,a matrix on the distributions of number pairs such as 00,01 and 11 was defined,and a new characterization of 2-resilient rotation symmetric functions was introduced.Constructions of rotation symmetric 2-resilient Boolean functions with 4t-1 number of variables were presented by modifying the support of the linear rotation symmetric functions,such as f₀(x)=x₁+x₂+…+x_n,where n=4t-1.At last,an example was demonstrated to introduce the spirit of the proposed method to construct 2-resilient rotation symmetric functions with 4t-1 number of variables.     

Construction and count of multi-output rotation symmetric resilient functions with 8 input variables

The value ranges of the number of output variables were determined respectively under the existence of multi-output rotation symmetric balanced functions and resilient functions with 2^rinput variables.Based on the equivalence between the resilient functions and large sets of orthogonal arrays,some results on the construction and count of multi-output rotation symmetric balanced functions with 8 input variables were presented according to the different dimensions of output vectors,and construction and count of multi-output rotation symmetric 1-resilient functions with 8 input variables were also studied.Besides,constructions of multi-output rotation symmetric resilient functions are transformed into the problem of solving a system of equations.     

构造具有良好密码学性质的旋转对称布尔函数

该文提出构造具有良好密码学性质的2m元旋转对称布尔函数的新方法。该类函数是平衡的,具有最大代数免疫度、最优代数次数和高非线性度,是一类能够同时满足多种密码学指标的优良函数。     

互耦条件下均匀线阵DOA盲估计

阵元间存在互耦时,经典的波达角(DOA)估计算法性能急剧下降甚至失效。针对互耦条件下均匀线阵DOA估计问题,该文提出一种基于盲源分离的DOA盲估计算法。首先,利用源信号的统计特性,由盲源分离方法估计广义阵列流形矩阵;然后,利用均匀线阵互耦矩阵带状、Toeplitz矩阵的特点,将DOA估计问题转化为多个可分离非线性最小二乘问题,由多个1维频域搜索得到DOA的估计。该算法无需高维搜索或多维迭代,对互耦自由度要求更低,互耦自由度未知时仍旧适用,稳健度高。数值仿真验证了该文算法的有效性。     

具有均匀差分分布的一类置换

本文研究了置换的差分分布，证明了如果一个置换的坐标函数的每个线性组合都有非零线性结构，则该置换具有均匀差分分布的充要条件，是它的坐标函数的每个非零线性组合都是只有一个恒变线性结构的部分ｂｅｎｔ函数，并且它的坐标函数的不同非零线性组合所具有的非零线性结构互不相同。还证明了如果一个偶数维置换的坐标函数的每个线性组合都有非零线性结构，则该置换一定不具有均匀差分分布。本文还研究了Ｋ．Ｎｙｂｅｒｇ构造的能够达到最大非线性度的置换，证明了这些置换都具有均匀差分分布，从而解决了具有均匀差分分布的置换的存在性问题。     

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

设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阶扩散准则布尔函数的构造.     

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.     

基于拉丁方的GF(p)上q元旋转对称弹性函数的新构造

在特征为p的有限域上,基于弹性函数与正交表大集间的等价关系,借助于一个具有最大圈结构的拉丁方,给出了一个构造q元旋转对称弹性函数的新方法.此外,通过一个具体的实例说明了本文的方法能够构造出已有方法不能构造的GF（p）上的q元旋转对称弹性函数.     

Stability analysis of constant linear systems by Lyapunov's second method

The stability of x? = Ax can be determined by solving the matrix equation A'B + BA = ? C, which represents ?n(n + 1) linear eiquations for the ?n(n + 1) elements of the symmetric n × n matrix B. It is shown that the number of equations to be solved can be reduced by n.