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

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

布尔函数代数免疫度分析

本文主要分析了布尔函数代数免疫度的性质,以及其与Hamming重量的关系,进一步分析了代数免疫度与非线性度的关系,并对各种结果进行了分析比较,得出了较优的结果,最后对布尔函数零化子计数问题进行了分析,这些分析对密码抵抗代数攻击具有重要意义。     

分块矩阵与函数矩阵

本文主要以交换Ｂａｎａｃｈ代数上矩阵的观点将分块矩阵与函数矩阵联系起来，用函数矩阵来研究分块矩阵的性质，并引入了正分块矩阵函数的概念，讨论了它的一些性质。     

一种代数正规形快速变换的零化子算法

利用布尔函数代数正规形的性质提出一种代数正规形快速变换和计算方法,该方法具有最小的存储空间和很高的计算效率．以此为基础,提出两种计算布尔函数零化子的有效算法：第1种算法可以求出所有n元布尔函数的代数免疫阶数和最低次零化子的代数正规形表达式;第2种算法能够求出任意一个n元平衡布尔函数代数免疫阶数和所有不超过d次的零化子．同已有基于求解线性同余方程组的零化子求解算法相比,该方法可操作性强,能够更加有效地用于评估布尔函数抵抗代数攻击的强度．     

距离生成子

讨论了非负函数与距离函数的复合仍为该空间上的距离的条件及有关代数性质，并进一步讨论了这种复合函数与原距离函数所确定的收敛关系。     

关于Negabent函数的性质研究

本文介绍了Negbent函数的定义，详细的给出了Nega—Hadamard变换的一些性质，证明了Nega—Hadamard变换的能量守恒定律，并在此基础上给出了Negabent函数的代数次数、判定条件等性质并给予证明。     

基于遗传算法的静态逻辑拓扑设计

设计了一种遗传算法,在使用较短通路情况下实现了链路和节点的负载均衡. 在算法中采用了自然数编码、随机选取种群、简单的“双亲单子”交叉策略和固定的突变概率. 以美国国家自然科学基金网络为例进行了仿真. 对目标函数中的权值进行了讨论,分析了适应性函数值与遗传代数之间的关系,对种群选取范围与适应性函数之间的关系进行了验证.     

离散微分代数系统的有界性及周期解的存在性

研究离散微分代数系统的解的有界性，得出：若一个具有周期性质的离散微分代数系统的解是最终有界的，则必存在周期解．利用广义Lyapunov函数研究一类离散微分代数大系统，给出了其存在周期解的充分条件．     

高级加密标准AES恒定的代数结构性质研究

介绍了高级加密标准AES一个新奇的代数性质,将AES非常简单的代数运算进行组合,出现了一系列恒定不变的代数结构,而且组合的代数运算具有非常小的代数阶数,这是目前其他的密码算法所不具有的代数性质,或许这种代数性质就是我们日后攻击AES的一个出发点。     

利用特征矩阵求布尔函数的零化子

对n元非线性布尔函数的代数次数、特征矩阵和代数免疫度进行了研究,在分析布尔函数的代数次数与特征矩阵关系的基础上,得到了布尔函数的代数免疫度与特征矩阵的关系,并据此给出了寻找布尔函数零化子的一个算法。     

对具有高代数免疫度布尔函数的新型代数攻击

代数免疫度是衡量布尔函数抵抗代数攻击的重要性能指标,具有低代数免疫度的布尔函数是不能抵抗代数攻击的．利用分拆布尔函数的方法证明了如下结论: (1)对于对称布尔函数,即使它们具有高代数免疫度,如果使用不当仍然不能抵抗新型代数攻击; (2)对于由旋转对称函数和低次布尔函数的直和构成的布尔函数即便具有高代数免疫度,如果使用不当,也会受到新型代数攻击．提出的代数攻击需要一段连续的密钥流．     

Windows7内核完整性验证机制研究

改变奇变元严格择多布尔函数在某些轨道的函数值,Sarkar和Maitra构造了一类具有最优代数免疫的旋转对称布尔函数。通过级联此类代数免疫最优的旋转对称布尔函数,构造了一类偶变元1阶弹性最优代数免疫布尔函数,并讨论了该类布尔函数的非线性度。最后,扩展了该构造方法。     

布尔函数零化子的构造及其在流密码中的应用

代数攻击的基本思想是建立密钥比特和输出比特之间的方程,然后通过解超定的低次方程组来恢复密钥。在代数攻击中,可以通过布尔函数的零化子建立低次方程,从而使算法的复杂度降低。文章首先给出了两种布尔函数零化子的构造方法,然后将构造2分别应用于LILI-128和Toyocrypt中,得到低次零化子,通过此低次零化子建立低次方程进行攻击。与已知的攻击方法相比较,攻击的复杂度大大降低。     

一类多输出k阶拟Bent函数的构造及其密码学性质

给出了多输出k阶拟Bent函数的一种构造方法.该方法通过组合两个无共同变元函数而构造出多输出k阶拟Bent函数.同时,还讨论了所构造的这类多输出k阶拟Bent函数的代数次数,非线性性,平衡性,扩散性及稳定性等密码学性质.这些性质来显示,多输出拟Bent函数是一类密码学性质良好的多输出函数.用作分组密码体制的非线性组合器时,能有效地抵抗差分分析和线性分析的攻击.另外,它还可应用于多输出前馈网等方面.     

素域Zp上n变元n-1阶相关免疫多值逻辑函数的代数结构

本文研究了素域Zp上n变元n-1阶相关免疫多值逻辑函数的代数结构,给出了素域Zp上n变元n-1阶平衡多值逻辑函数的构造定理.特别,当p=5时,给出了素域Z5上2变元1阶相关免疫平衡5值逻辑函数的全部构造与精确计数.     

代数函数逼近及其应用

给出了一种代数函数逼近的定义 ,并且指出此种逼近可用来求实函数的零点和一阶常微分方程数值解     

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

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

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

利用布尔函数的代数标准型,总结了f与f+1具有高次数非零零化子的条件,得到布尔函数具有最高代数免疫阶的充分条件.构造了具有最高代数免疫阶的布尔函数,并对所构造函数的平衡性与对称性乾地了讨论.     

MOEA/D聚合函数的二次泛化及其优化性能分析

基于分解的多目标进化算法（Multi-objective Evolutionary Algorithm Based on Decomposition,MOEA/D）是多目标优化算法的一个重要分支,多目标优化的关键问题是如何在算法的收敛性和散布性之间达到良好的平衡.目前主流算法的聚合函数存在着不同的优缺点,尤其是当使用切比雪夫方法选择个体时,经常出现个体偏离权重现象,个体和权重间得不到很好的粘合.本文基于此提出了一种新的聚合函数方法,提高了MOEA/D的性能.该聚合函数的函数形式为二次函数,种群个体在该函数下的等高线是一条二次曲线（本文称双曲线函数方法,Hyperbola Function Method,HYB）,是对目前存在的聚合函数的一种泛化形式.该HYB方法相比PBI （Penalty-based Boundary Intersection）方法更强调收敛性,能更容易地在收敛性散布性之间达到平衡.本文测试了MOKP问题及DTLZ系列等测试函数,并与其他算法进行了实验对比,结果显示HYB方法更稳定有效且种群在收敛速度上有一定的提高.