高度非线性平衡布尔函数构造的注记

非线性度是用于密码体制的布尔函数的非线性准则之一。通过综合使用级联、分解、修改、变换等 方法,给出了3种高度非线性平衡布尔函数的新的构造方法,在同等条件下,它的构造函数的非线性度要高 于用以往的方法构造的函数。     

关于有限域上函数的非线性度

本讨论有限域上函数的非线性度的性质，给出了一些函数的非线性度的下界和上界，推广了关于二元域上布尔函数的非线性度的一些结果。     

一类具有多种密码学性质的布尔函数构造

介绍一类高非线性的平衡相关免疫的布尔函数的构造方法,并利用Bent函数的高非线性,经直和的方法构造出具有多种密码学性质的布尔函数.     

一类高非线性度平衡相关免疫函数的构造

以Ｂｅｎｔ函数为基础,给出一种高非线性度平衡相关免疫函数的构造方法．     

正交Bent函数组与高非线性度满足SAC平衡函数

通过构造一组正交的Bent函数(序列),利用它进一步构造出一类具有高非线性度、满足SAC的平衡函数,得到比较广泛的结果。     

关于Bent函数的一些研究

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

一种获得高非线性平衡布尔函数的启发式算法

利用混沌动力系统的良好特性,把它引入传统的模拟退火中,提出一种称为混沌搜索模拟退火的新启发式算法,用于设计高度非线性平衡布尔函数。笔者分别对此方法和传统的模拟退火算法,进行多项仿真实验。实验分析表明,此算法能够更有效地避免陷入局部极小值,对于获得密码性质好的布尔函数,比单一的模拟退火具有更大优势。     

多输出布尔函数非线性度的一个下界

本文讨论了多输出布尔函数的非线性度,证明了关于下界的一个新结果.文中结论可以为设计和构造具有较大非线性度的多输出布尔函数提供一种新思路.     

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

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

关于Bent函数的一些研究

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

广义布尔函数的正规性

基于布尔函数的正规性,提出了广义正规Boolean函数的概念,给出了一些广义正规Boolean函数的构造方法,证明了广义正规Bent函数及其对偶函数所具有的一些独特性质.     

高非线性度n-输入m-输出布尔函数的一般构造方法

给出一种构造具有高非线性度n-输入m-输出布尔函数的一般方法,还给出了存在非线性度是非0的n-输入m-输出布尔函数的一个充要条件.     

Boolean方阵的注记

一个 n阶 Boolean方阵 A =[aij] n× n 等价于顶点集是 1 ,2 ,… ,n的有向图 D(A) ,所以 Boolean方阵有很大实用价值 .目前它已经成为工程技术和信息处理中不可缺少的数学工具 ,并逐渐渗透到其他领域 .Kim[1 ] 曾论述了 Boolean向量和 Boolean方阵的性质 ,但对 Boolean方阵的某些性质未做深入研究 .Boolean方阵与 Hadamard矩阵有许多相似之处 ,文献 [2 ]作者利用 Boolean向量巧妙地证明了不存在4K(K >1 )阶完全循环的 Hadamard矩阵的猜想 .文献 [3]较系统地讨论了 Boolean方阵的幂序列 ,使人们对 Boolean方阵的性质的认识日渐深化 ,…     

布尔函数性质的谱特征

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

基于布尔代数的功能树简化研究

当前较大规模的功能树存在解空间庞大、冲突定位困难的问题,对此提出基于布尔代数的与或功能树简化方法;证明了收缩简化、删除简化、提取简化的相关定理,并籍此给出其布尔代数的简化算法;最后通过实例,证明该方法可在保持逻辑等价的前提下有效降低问题的复杂度,从而提高设计者进行概念设计的效率.     

关于布尔线路计算模型的注记

本文给出了一种布尔线路的编码方案.证明了有关布尔线路编码中的两个定理,其中定理1表明对布尔线路这种计算模型,没有类似于图灵机的递归式定理那样的结论;定理2表明对于布尔线路计算模型,存在类似于图灵机中的Smn定理那样的结论.另外,本文还证明了一个有关布尔线路宽度的定理,此定理表明,布尔线路的宽度与计算能力无关.