概率方法在布尔函数m阶Walsh谱中的应用

应用概率方法研究了布尔函数的ｍ阶Ｗａｌｓｈ谱的问题，首次给出了布尔函数的ｍ阶Ｗａｌｓｈ谱的概率方法表达式，给出了布尔函数的ｍ阶Ｗａｌｓｈ谱的性质及布尔函数与一个ｍ阶布尔函数相互独立的充要条件     

用概率方法研究Walsh谱的性质

给出了布尔函数的ｍ阶Ｗａｌｓｈ谱的概率表达式及布尔函数与一个ｍ阶布尔函数相互独立的判别条件；并用概率方法证明了布尔函数ｍ阶Ｗａｌｓｈ谱的性质     

具有最大代数免疫阶的布尔函数的新构造

针对密码学中布尔函数的构造需求, 利用布尔函数的代数标准型, 分析了布尔函数不存在次数低于 m 的非零零化子的充分条件, 得到布尔函数达到最大代数免疫阶的条件, 从而构造了一类具有最高代数免疫阶的布尔函数, 并对所构造函数的平衡性和计数问题进行了分析。     

布尔函数的非零零化子计数

在流密码和分组密码的加密体制中,为了构造具有较高代数免疫度的布尔函数,需要讨论布尔函数的非零零化子.利用布尔函数的真值表和线性方程组的方法,给出了布尔函数非零零化子个数的表达式.讨论了布尔函数达到最大代数免疫度时各阶非零零化子的计数问题.     

旋转对称布尔函数的最高非线性度与最优代数免疫

文章研究旋转对称布尔函数的最高扩散次数、最高非线性度和代数免疫性等问题.利用导数和e-导数证明了元数为偶数的完全2次齐次旋转对称布尔函数的非线性度达到布尔函数的最大非线性度.又利用导数从n次扩散性角度,证明了旋转对称Bent函数的存在性,即验证了最大非线性度旋转对称布尔函数的存在性.另外,利用导数证明了最优代数免疫旋转对称布尔函数的存在性,并给出了用Bent函数构造最优代数免疫旋转对称布尔函数的方法.利用导数还得出了一类旋转对称布尔函数的相关免疫性.     

密码函数的一类递归构造方法

首先利用递归的方法证明了结构形式更为一般的布尔函数的 Walsh谱分解式，然后利用这类布尔函数Walsh谱分解式，给出了密码学和编码学中具有重要应用价值的一些布尔函数，如弹性函数、Bent函数以及满足严格雪崩准则的布尔函数的构造方法。     

布尔函数的单调分解

利用化简布尔函数的常用方法，讨论布尔函数的单调分解，得到了判别布尔函数单调分解的几个简明判别准则。     

多元平衡H布尔函数的相关免疫性研究

对平衡H布尔函数的密码学性质进行深入研究,得出一些多元平衡H布尔函数的相关免疫性定理,如三元平衡H布尔函数一定不是相关免疫的,而对于四元平衡H布尔函数可以通过构造实现一阶相关免疫性,其进一步揭示了平衡H布尔函数优良的密码学性质,为更好地研究布尔函数的密码学性质保证密码系统的安全性和抗攻击性奠定了基础.     

与特定密码函数线性等价的布尔函数谱和自相关特征

对线性等价意义下2个布尔函数的密码学性质的异同做了进一步的分析，得到了一个布尔函数线性等价于某个具有m阶相关免疫性的布尔函数的充分必要条件和线性等价于某个满足k次扩散准则的布尔函数的充分必要条件，在线性等价意义上，给出了由不具有相关免疫性且不满足扩散准则的布尔函数，构造既具有相关免疫性、也满足扩散准则的布尔函数的实例。     

关于Bent函数的一些研究

利用布尔置换 ,构造了一种新的Bent函数 ,并对这类布尔函数的构造进行了研究 ,发现利用Bent函数的满足扩散准则的特性和布尔函数非线性度的中间结果可以构造出两类函数形式简单的 ,满足高次扩散准则的、具有较高非线性度的平衡布尔函数 ,从而拓宽了Bent函数的应用领域     

完全非线性广义布尔函数

引进广义布尔函数概念、广义布尔函数的线性度与非线性度.给出关于完全非线性广义布尔函数的一些结论,并证明了一些新的结论.     

布尔函数性质的谱特征

布尔函数对于分组密码及流密码的安全性起着重要的作用。为了抵抗几种对密码体制的攻击,布尔函数需要具有几种相应的准则:平衡性,高代数次数,高非线性度和高相关免疫度等。Walsh变换和Walsh谱技术是研究布尔函数性质的有效方法,利用Walsh谱技术研究布尔函数的一些重要性质,将这些性质(平衡性、非线性度、相关免疫性、扩散准则、严格雪崩准则、代数免疫性)进行量化。主要研究了布尔函数的Walsh谱及相关的性质,重点介绍了布尔函数的几种密码学性质及Walsh谱与其他密码学性质之间的关系,得到了布尔函数性质的一些结果:首先介绍了布尔函数Walsh谱及其他的密码学性质,然后分析了布尔函数Walsh谱与其他性质之间的关系,包括与汉明重量、平衡性、非线性度、相关免疫性、扩散性、严格雪崩性、代数免疫性之间关系。     

可求和布尔函数的性质

可求和布尔函数是临界布尔函数判定理论中比较重要的内容之一。该类函数有一个参数k,k表示布尔函数存在k个成真点X~1,X~2,…X~k和k个成假点Y~1,Y~2,…Y~k,并且它们的和相等。本文主要研究了n元2-可求和布尔函数和n元3-可求和布尔函数的基本性质。     

关于Bent函数的一些研究

利用布尔置换，构造了一种新的Bent函数，并对这类布尔函数的构造进行了研究，发现利用Bent函数的满足扩散准则的特性和布尔函数非线性度的中间结果可以构造出两类函数形式简单的，满足高次扩散准则的、具有较高非线性度的平衡布尔函数，从而拓宽了Bent函数的应用领域。     

一类平衡相关免疫H布尔函数的构造

介绍一类平衡相关免疫的H布尔函数的构造方法,首先构造一组平衡的和相关免疫的H布尔函数,然后通过直和来构造同时满足平衡性和相关免疫性的H布尔函数。     

一类k阶拟Bent函数的构造

通过映射构造了一类布尔函数，利用布尔函数循环Walsh谱的方法给出了该类布尔函数是k阶拟Bent函数的充分必要条件，并利用集合性质给出了满足该条件的方法．另外，给出了一类k阶拟Bent函数的递归构造.     

固定权值的可分布尔函数的计数

证明了任意可分布尔函数的阈值都可取为1或－1，任意可分布尔函数的权值和阈值都可取为整数，解决了固定权值的可分布尔函数的计数问题。     

具有抵抗DPA攻击能力的高非线性度旋转对称布尔函数的搜索

提出了一种有效的搜索算法以实现在旋转对称布尔函数类中搜索具有抵抗DPA攻击能力的高非线性度布尔函数。 利用搜索算法在9、10元旋转对称布尔函数中得到了新的透明阶和非线性度等性质良好的函数, 其中包括透明阶优于已有结果的函数。 此外, 基于多核并行技术实现了8元旋转对称布尔函数的遍历, 首次给出了所有非线性度不低于112的8元旋转对称布尔函数, 并对其非线性度、透明阶、代数次数进行了统计分析, 这些函数可以用来构造密码学性质优良的S盒。     

线性布尔函数的小项表达式

本文讨论线性布尔函数小项表达式的结构.文中给出了用小项表达的布尔函数是线性齐次函数的一个充要条件.     

正规性和代数免疫

布尔函数的代数免疫性是衡量其抵抗代数攻击能力的重要指标,为快速计算布尔函数的代数免疫,进而有效实施代数攻击,利用布尔函数特征矩阵代数结构和代数次数之间的关系,首次给出了正规性与代数免疫度的制约关系.得到代数免疫度的一个上界,若n元布尔函数是k-正规的,则其代数免疫度满足AI(f)≤min{degf,n-k},且当变元个数≤5时上式等号成立.作为推论,给出了布尔函数代数免疫度为1和2时的充分条件,为判定布尔函数是否存在低次零化子提供了理论支持.