布尔函数导数的一些密码学性质

布尔函数的导数在线路分析和密码学研究中都是很有用的.文章给出了布尔函数的导数在密码学中的几个有关线性性、平衡性等的性质.     

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

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

布尔函数的几个密码学性质

布尔函数的几个密码学性质温巧燕肖国镇（西安邮电学院电信工程系，西安７１００６１；西安电子科技大学应用数学系，西安７１００７１；第一作者，女，３７岁，副教授）布尔（逻辑）函数在许多领域都有广泛应用，在不同领域中各自都提出一些重要的函数类，如数字电路分析...     

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

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

布尔函数与布尔多项式

布尔代数B上的n元布尔多项式f（x1,…,xn）可以表为f（x1,…,xn）=∑f（a1,…,an）x1^a1…xn^an的形式．设Fn与F^-m分别是布尔代数B上全体n元布尔函数与全体n元布尔多项式的集合,则Fa=F^-a当且仅当B是逻辑代数．     

一个特殊的线性函数与H布尔函数的关系

通过讨论一个特殊的线性函数与H布尔函数的关系问题,发现它的良好性质在H布尔函数的生成验证中都有用途.     

完全非线性广义布尔函数

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

布尔函数性质的谱特征

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

相关免疫布尔函数的几个计数公式

讨论了重量为４，６和８的ｎ元相关免疫布尔函数的个数。给出了相应的计数公式。     

布尔函数的二阶非线性度的下界

对形如f(x)=tr(∑﹂(n-1)/2」i,j=1bijxd)的n元布尔函数的二阶非线性度进行了研究,其中d=2i+2j+1,bij GF(2),1≤ij≤L(n-1)/2」.当n为奇数时,找出了函数f(x)达到最大非线性度的导数;当n为偶数时,找出了函数f(x)的半Bent函数的导数.基于这些具有高非线性度的导数,给出了f(x)二阶非线性度的紧下界.结果表明f(x)具有较高的二阶非线性度,可以抵抗二次函数逼近和仿射逼近攻击.     

关于多输出布尔函数的非线性度

多输出布尔函数的非线性度首先在文献[1]中被引进,本文称之为多输出布尔函数的第一类非线性度。本文定义了一种与之不同的多输出布尔函数的第二类非线性度,讨论了两者之间的关系,指出了它们的密码学意义,并且进一步讨论了两类多输出布尔函数的第二类非线性度。     

e-导数的几个性质和几个布尔函数密码学性质定理

密码安全是计算机信息安全,网络安全的保障．布尔函数的e-导数是为将其和导数一起用于研究布尔函数的密码学性质这一密码安全关键而于2007年才提出的新概念．笔者以e-导数为研究工具来探讨布尔函数的代数免疫,相关免疫这两个密码学性质的问题,得到一些判断布尔函数代数免疫阶和相关免疫阶的定理．同时,为便于对e-导数的使用,笔者也讨论了e-导数的一些性质,得出了一些相应的定理．     

基于素数性质的布尔函数约简算法

提出了基于素数性质的布尔函数约简算法,其主要思想是用素数表示布尔变量,以素数乘积有序对表示合取式,用算术运算取代原有的逻辑运算.将基于素数性质的布尔函数约简算法运用于粗糙集中,结果表明,该算法能够节省存储空间,提高运算效率,约简算法行之有效.     

平衡H布尔函数一些相关免疫性质

平衡H布尔函数是现代密码学中一类重要的函数.平衡H布尔函数的相关免疫性,关系到它抗DC攻击的能力,是一直受到关注和研究的问题,文章对平衡H布尔函数的相关免疫性和广义相关免疫性进行讨论,得出一些有意义的结果.     

Bent函数与线性函数关系中导出的密码学性质

以导数(偏导数)和e-导数做工具,讨论密码系统中具有最高非线性度的Bent函数结构性质、重量结构与线性函数的关系.利用线性函数可从Bent函数中得到H布尔函数,使Bent函数在密码系统中有了更进一步的使用价值.它也提供了Bent函数重量关系的一些规律性变化,我们可以利用这些性质来探讨相关免疫性变化、非线性度变化等问题并得到构造Bent函数的新方法.     

三谱值函数的性质

基于沃什谱理论研究了三谱值函数的一些特征,给出了三谱值函数限制在一个仿射子空间上的非线性度的下界,得到了三谱值函数具有一个k维线性结构时其变元个数n、三谱值阶数和k的制约关系,最后给出三谱值函数没有k维线性结构的充分条件.     

具有高阶传播准则的对称布尔函数的直接确定

在密码学的应用中,布尔函数的传播准则和对称性是非常重要的性质.Preneel等率先提出高阶传播准则.作者用一个新的非常有趣的组合方法,给出一个对所有对称且具有二阶或二阶以上传播准则的布尔函数的直接确定,当函数一旦对称时,此法很可能有效.