一种简化计算的Bent函数判定方法

为讨论Bent函数性质的需要,在研究了线性函数与Bent函数关系及e-偏导数的密码学性质的基础上,本文提出了一种判断布尔函数是否为Bent函数较容易的算法.同时,也讨论了Bent函数旋转变换生成的函数性质.     

计算布尔差分与布尔偏导数的表格方法

为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程，提出了一种基于表格的新方法. 该方法通过用表格列出Reed-Muller型逻辑函数的1值积项，并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分. 二阶布尔差分通过两次变换产生新积项，并删除相同积项来得到. 一阶布尔偏导数作为一阶布尔差分，二阶布尔偏导数通过对积项中相应位作两次连续的1到0的变换来得到. 该方法用表格模拟了计算布尔差分与布尔偏导数的过程. 应用结果表明，与图形方法相比较，该方法不需要画图，操作简便，可适合求解多变量逻辑函数以及计算机编程.     

密码学性质均衡布尔函数的构造

提出了一种具有均衡密码学性质布尔函数的递归构造,研究了所构造布尔函数的密码学性质并重点讨论了其代数免疫性,提出了一种关于它的代数免疫度的判定方法。所构造的函数不仅具有平衡性、相关免疫性、扩散性,还具有高的代数免疫度,且在计算机上容易实现。     

奇数元布尔函数的构造及其密码学性质

构造具有高非线性度且平衡的奇数元布尔函数是现代密码学研究的一个重要课题 .借助于函数的卷积 ,同时利用Bent函数 ,给出了一类奇数元布尔函数 ,并进一步讨论了这类函数的Walsh循环谱特征、自相关函数、重量特征、平衡性、扩散性、稳定性、相关免疫性及非线性性等密码学性质     

关于对数积分的基本理论

提出了实对数导数与对数积分的基本理论，证明了实对数导数和对数积分与（常义）导数和积分的关系及充要条件。所得到的定理与公式在实 数域内对处理函数乘、除、乘方、开方及复合函数的性质具有独特的优势，实对数导数与对数积分的基本理论是对经典微积分理论的扩充。     

奇数元布尔函数的构造及其密码学性质

构造具有高非线性度且平衡的奇数元布尔函数是现代密码学研究的一个重要课题。借助于函数的卷积，同时利用Bent函数，给出了一类奇数元布尔函数，并进一步讨论了这类函数的Walsh循环谱特征、自相关函数、重量特征、平衡性、扩散性、稳定性、相关免疫性及非线性性等密码学性质。     

高阶方向导数及其应用

将多元函数方向导数概念予以推广,在得到二阶方向导数定义和计算公式后,给出了多元函数的高阶方向导数.提出了高阶方向导数的应用:1)把一元函数性质推广到多元函数的一般途径;2)得到多元函数取极值的必要条件和充分必要条件;3)利用二阶方向导数解释了矩阵半正定和半负定的几何意义;4)揭示出线性方程组当矩阵正定或负定时,背后存在的一个极值问题.5)推导出多元函数的Taylor展式.     

密码学性质优良布尔函数的构造与分析

给出了一类利用Bent函数直接加上其函数空间的一个子集E的示性函数构造高非线性平衡布尔函数的方法,讨论了可使上述方法所构造布尔函数密码学性质较为优良的子集E的2种具体的选取方法及E的存在性。     

2 次单轨道旋转对称布尔函数的重量分布

旋转对称布尔函数在现代密码学中有重要的应用价值。给出了关于任意2次单轨道旋转对称布尔函数快速求值的算法,并得到了其重量的递归关系。结论提高了对2次单轨道旋转对称布尔函数求值的速度,有助于研究一般旋转对称布尔函数的重量和非线性度。     

函数的切导数及其性质

依据集值映射的切导数概念，给出了实值函数的切导数、切上导数和切下导数的定义，并讨论其性质，最后给出了在优化理论中实用的广义费马定理．     

满足2次强扩散准则的布尔函数的性质分析及构造

利用布尔函数的W alsh谱,对满足2次强扩散准则的布尔函数的性质进行了研究,得到了布尔函数满足2次强扩散准则的一个等价判别条件,并根据强扩散准则与扩散准则之间的关系,给出了满足2次强扩散准则的布尔函数的两种构造。     

满足2次强扩散准则的布尔函数的性质分析及构造

利用布尔函数的W alsh谱,对满足2次强扩散准则的布尔函数的性质进行了研究,得到了布尔函数满足2次强扩散准则的一个等价判别条件,并根据强扩散准则与扩散准则之间的关系,给出了满足2次强扩散准则的布尔函数的两种构造。     

基于正形置换的密码函数的构造

平衡性,非线性度,代数次数,扩散特性和线性结构是衡量密码安全布尔函数的重要指标,这种密码函数的个数对于密码体制的设计也是应当考虑的。正形置换的对分效应具有一定的密码学意义。该文基于正形置换构造了一类密码性能良好的布尔函数,并给出了这种函数的计数下界。这些结果为正形置换的密码学应用了开辟了一个方向。     

Survey of results of (n,m)-functions against differential power attack

(n,m) functions (or S-boxes) are the most basic components in symmetric cryptography,and its cryptographic properties determine some security of symmetric cryptography.Therefore,how to design and analyze (n,m) functions which satisfy various cryptographic properties is an important problem in the research on symmetric cryptography.With the development of the research on the side channel of symmetric cipher algorithms,there are some indicators in the aspect of (n,m) functions resisting differential power attack:the signal-to-noise ratio,transparency order and confusion coefficient.These indicators have gradually become the main indicators to measure the cryptographic properties of (n,m) functions cryptography,and have been applied to the design and analysis of block cipher S-boxes.In this paper,the research results of the signal-to-noise ratio (SNR),transparency order (TO) and confusion coefficient (CC) of (n,m) functions are summarized,including:(1) some relationships between the signal-to-noise ratio of (n,m) functions and the traditional cryptographic indicators;(2) some relationships between the transparency order of (n,m) functions and the traditional cryptographic property;some relationships between the transparency order of a Boolean function and its decomposition functions;few distributions of the transparency order of small variable balance functions;(3) the confusion coefficient of (n,m) function(s);(4)a comprehensive analysis of three indicators of a S-box in some public algorithms.Finally,the research prospect of these three indicators is given.     

非线性滤波器信息泄漏的关键问题研究

非线性滤波器在现代密码系统设计中被广泛采用,因而研究其密码学性质对提高密码设计和分析水平有重要意义.介绍了现代密码体制中使用的布尔函数应满足的性质;定义了扩张函数和扩张谱,定义了非线性滤波器的信息泄漏度;分析了非线性滤波函数输出序列泄漏输入序列信息的关键原因,设计了一种基于信息泄漏的非线性滤波器的攻击方法,该方法还可用于攻击使用了非线性滤波器的密码算法;最后用一个实例说明了如何使用该方法进行攻击.     

关于二次非线性度达最大值的布尔函数的研究

在密码学中 ,为抵抗二次逼近引入了二次bent函数、二阶Walsh谱与二次非线性度的概念 ,并得到了n元布尔函数的二次非线性度的最大值为 2 n -1-2 n/ 2 -1.二次bent函数的二次非线性度达到了这一最大值 .因此 ,二次bent函数既可以抵抗线性逼近又可以抵抗二次逼近攻击 ,是具有优良密码学特性的函数 .但本文利用矩阵运算、向量的内积运算及汉明重量证明了这类函数实际上是不存在的 .