Construction of balanced rotation symmetric boolean functions with optimal algebraic immunity

Algebraic immunity is a new cryptographic criterion proposed against algebraic attacks. In order to resist algebraic attacks, Boolean functions used in many stream ciphers should possess high algebraic immunity. This paper presents one main result to find balanced rotation symmetric Boolean functions with maximum algebraic immunity. Through swapping the values of two orbits of rotation class of the majority function, a class of 4k＋l variable Boolean functions with maximum algebraic immu- nity is constructed. The function f（x） we construct always has terms of degree n-2 independence of what ever n is. And the nonlinearity off（x） is relatively good for large n.     

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

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

两类具有最优代数免疫阶的奇变元布尔函数

奇变元的对称布尔函数中达到最优代数免疫阶的有且仅有两个：f0和f0＋1．在此基础上构造了两类奇变元的具有最优代数免疫阶,有较高代数次数,并且非线性度等于2^n-1-（n-1（n-1）/2）的平衡非对称布尔函数．     

两类具有特殊线性结构点的平衡旋转对称函数的计数

基于对旋转对称轨道的计算,分别给出了当变元个数为pk和pq(其中p,q均为奇素数,k≤1)时,旋转对称函数类中两类具有特殊线性结构点的平衡函数的计数.     

奇数元最优代数免疫布尔函数的构造与计数

为了抵抗代数攻击,流密码中使用的布尔函数应该具有较高的代数免疫阶,首先提出了一种构造奇数元旋转对称的最优代数免疫(MAI)布尔函数的一般方法.基于已经得到的旋转对称布尔函数,通过替换其支撑集中一些点的方法构造了大量非旋转对称的MAI函数,并且对某些构造给出了精确的计数.     

轮换对称多项式通式的构造及初等轮换式的自动发现

通过改进算法的轮换对称多项式的通式构造程序,研究了初等轮换对称多项式的构造,编写Maple程序得到了3元到7元的初等轮换对称多项式;提出并编程实现列表乘法运算,为较多元多项式的线性表示及多项式的通式构造提供了强有力的工具;提出了3个猜想并编程实现部分验证.     

流密码中的布尔函数设计研究进展

密码函数,主要包括单输出布尔函数和多输出布尔函数,在流密码及分组密码系统中扮演着重要角色.在基于线性反馈移位寄存器的流密码系统中为了抵抗各种攻击,一个好的密码函数需要满足以下指标:较高的非线性度、平衡性、低阶相关免疫性、高的代数次数,高代数免疫阶等等.主要总结了近年来在高非线性度弹性密码函数,具有最优代数免疫度的函数和具有良好自相关性质的函数等研究方面的进展,并对其后续工作进行了展望.     

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

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

具有最大代数免疫度的偶数元布尔函数的计数

利用级联的思想研究具有最大代数免疫度的布尔函数的计数问题, 给出达到最大代数免疫度的偶数元布尔函数个数的一个新的下界, 该下界优于已有的下界结果。     

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

在探讨密码学中布尔函数性质的基础上，提出了一个具有高代数免疫阶布尔函数的构造方法，利用这种方法可以构造出一类具有高代数免疫阶的布尔函数，并给出了一个实例。     

布尔函数代数免疫阶的计算

讨论了计算布尔函数代数免疫阶过程中的几个算法。将矩阵仿射变换、Wiedemnn′s等方法联合运用,讨论了计算过程中各阶段的时间和空间复杂度,并进行了实际验证。     

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

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

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

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

具有有限直径的对称无限布尔方阵的本原指数

研究了对称无限布尔方阵,利用图的直径给出了对称无限布尔方阵为本原阵的一个充分必要条件,并且对于具有有限直径的无限布尔方阵,给出了本原指数的一个上确界,推广了Delorme和Sole 1991年给出的一个结果.     

一类具有较好自相关性质的密码函数

通过级联一类特殊的二次函数和线性函数，构造出具有较好自相关性质的平衡布尔函数，同时这类函数还具有较高的非线性度和较高的代数次数．     

关于对称共轭点的亚纯双向单叶倒星象函数类的系数估计

在单复变函数几何理论的研究中,构造函数类及研究它的几何性质是重要的研究课题.而在几何性质的研究中,对于系数的估计具有重要的作用.国内外许多学者对于单叶函数类和多叶函数类都进行了较为深入的研究.而对于亚纯函数类尤其是倒结构的亚纯函数类的研究却很少.引入了一类关于对称共轭点的亚纯双向单叶倒星象函数类,得到了该函数类的积分表达式和系数估计.特别地,得到了Fekete-Szeg问题的精确估计.     

一类P-叶负系数解析函数

主要引入和研究一类p-叶负系数解析函数Hp(α,β),得到该族的充分必要条件和系数估计结果,讨论其Quasi-哈达玛乘积的情况,极值点集被很好的确定.     

一种角速率激光陀螺惯导系统高精度姿态算法

在分析圆锥误差补偿通式的基础上,提出了利用角速率求取角增量的拟合算法,并给出了该算法的数学证明.详细推导了基于纯角速率输入的圆锥误差补偿算法的补偿系数和误差主项通式,并从理论上对精度进行了分析.结合激光陀螺频谱特性的仿真对比结果表明,纯角速率输入圆锥误差补偿算法优于常规的四阶龙格库塔算法,能够提高纯角速率输出的捷联惯性导航系统的姿态精度.     

理赔量和理赔间隔时间相依的Erlang(2)风险模型

考虑理赔量和理赔间隔时间相依,理赔间隔时间服从Erlang(2)分布的风险模型.通过求取生存概率的Laplace变换,并对其进行Laplace逆变换,可以得到生存概率的显示表达式.