现代密码学中的布尔函数研究综述

本文以作者及课题组多年的研究成果为重点,概述目前这一领域的研究状况和新的重要研究成果,同时展望布尔函数研究的进一步发展,并指出了若干重要研究课题。

m阶相关免疫函数的构造与计数

讨论了ｍ阶相关免疫函数的构造与计数问题，构造了一大类ｍ阶相关免疫函数。

一阶相关免疫函数计数下界的改进

本文构造了一大类相关免疫布尔函数，给出了一阶相关免疫函数个数的新的下界，从而大大改进了相关免疫函数的计数公式。

量子密码协议安全性分析

密码分析和密码设计是密码学的两个分支,它们相辅相成,共同推动密码学的发展.量子密码也是如此.然而与经典密码相比,目前量子密码中的密码分析工作还远远不够.本文介绍了多种常见的量子密码攻击方法的基本原理和过程,包括截获-测量-重发攻击、关联提取攻击、假信号攻击、纠缠附加粒子攻击、被动攻击、拒绝服务攻击等,并对部分攻击方法给出了具体攻击方案.纠缠附加粒子攻击是最具一般性的分析方法,截获-测量-重发攻击、假信号攻击等都可以看作是这种攻击的特例.论文概括了有效的检测窃听策略,如共轭基测量、分步传输-步步检测等,并建议明确各类协议的安全性标准,结合自身特点分析其安全性.如多方量子密码协议中要重点分析参与者攻击,而量子安全直接通信中则要注意蛮力攻击.最后论文指出了量子密码分析未来的发展方向.

量子密钥分发中身份认证问题的研究现状及方向

本文详细介绍了几种主要的量子身份认证协议,提出量子身份认证的具体要求,并对这个领域今后的发展方向进行了展望.

弹性函数的递归构造

本文研究在容错分布计算、量子密码学中的密钥分配以及流密码中的随机序列产生等领域都有着广泛应用的一类多输出布尔函数——弹性函数 (Resilient Functions) ,它用于密码系统能抗信息泄露 ,是熟知的相关免疫函数的特殊情况——无偏相关免疫函数 .相关免疫函数和正交矩阵的研究是等价的 .弹性函数和 0 ,1上多维空间的正交分划 (一个正交矩阵组 )是一致的 ,文中给出了正交分划的递归构造方法 .通过正交分化可给出函数的小项表示 .所以这种方法直观简便 ,易于实现 .

2阶相关免疫函数的构造与计数

本文讨论２阶相关免疫函数的构造与计数问题，构造出了一大类重量为２的方幂的２阶相关免疫函数，首次给出了２阶相关免疫函数个数的下界。

弹性函数的计数

通过构造性的方法讨论弹性函数的计数,给出了弹性性最佳时的精确计数.

满足K次扩散准则的平衡相关免疫函数的构造

利用有限域及线性码知识构造出平衡且满足ｋ次扩散准则的相关免疫函数，并给出了构造这类函数的一种方法。

正交矩阵的递归生成算法

正交矩阵是研究认证码的重要工具。

m阶相关免疫函数的计数问题

主要讨论m阶相关免疫函数的构造和计数问题,并给出了m阶相关免疫函数个数的一个新的下界和一些特殊情况下的精确值。

高非线性度布尔函数的构造

布尔函数的非线性度是衡量其密码学意义的重要标志．而非线性度和其它密码学强度指标，如代数次数、扩散性、相关免疫性等存在着制约关系．本文研究了高非线性度布尔函数的构造，讨论非线性度和其它密码学准则之间的折衷关系．给出高非线性度、高代数次数、高非线性度平衡相关免疫以及具有较好扩散性的高非线性度布尔函数的几种构造方法．

广义相关免疫与相关度

讨论了广义相关免疫函数的理论意义和应用价值，发展了相关度的概念，给出了Ｂｅｎｔ函数的相关度及广义相关免疫阶，证明了Ｂｅｎｔ函数是一类理想的广义相关免疫函数．

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

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

非退化相关免疫函数的构造与计数

本文给出了非退化一阶相关免疫函数的一个构造方法，得到了这类函数个数的一个新的下界，并且给出了阶数大于1的相关免疫函数非退化的一个充分条件及实例．

用于流密码中的布尔函数计数问题

本文讨论了满足一定条件的布尔函数和一阶相关免疫函数的关系及其计数问题。

平衡二阶相关免疫函数的构造

构造了一大类平衡的二阶相关免疫函数。

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

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

相关免疫函数的稳定性

本文讨论了相关免疫函数的稳定性,证明了相关免疫性是不稳定的,但广义相关免疫却具有较好的稳定性。

广义相关免疫函数的构造问题

主要讨论广义相关免疫函数的构造思想和构造方法。