正交矩阵的递归生成算法

正交矩阵是研究认证码的重要工具,该文给出了正交矩阵的递归生成算法。     

具有偶数个变元的高非线性度平衡布尔函数的构造

通过修改Maiorana-McFarland型bent函数,构造出具有偶数个变元的高非线性度平衡布尔函数.并对具有偶数个变元的平衡布尔函数的非线性度上界提出一个猜想.     

公钥密码体制与选择密文安全性

讨论了公钥密码体制对选择密文攻击的安全性(简称为选择密文安全性或IND-CCA2),比较和分析了几种使一般公钥密码体制达到IND-CCA2的方法,对目前所有达到IND-CCA2的方法进行了分类,从而找到它们的一个共同特点：构造密文合法性测试. 指出了OAEP+的IND-CCA2证明中存在的问题,并给出了两种解决方法.     

空调系统运行方式对单室火灾发展的影响

以某高层建筑的单室空调房间为研究对象,利用计算流体软件PHOENICS,分别对空调系统、排烟系统、兼用系统等空调系统的不同运行工况下单室火灾发展过程进行了数值模拟计算;分析火灾后空调、防排烟兼用系统对单室空调房间火灾发展,以及对室内人员疏散产生的影响.模拟计算的结果证明了兼用系统火灾后在排烟、降温、减压、增加疏散时间等方面的实用性和可行性.     

确定周期为pn的q元序列k-错复杂度曲线的一个快速算法

k-错复杂度是指改变序列一个周期段中k个或少于k个符号后所得到的序列的最小线性复杂度,k-错复杂度曲线即为该序列的k-错复杂度序列,该指标完全反映了当序列改变的比特数目不断增加时线性复杂度的变化情况．文中给出了一个确定周期为pⁿ的q元周期序列k-错复杂度曲线的算法,这里p,q为奇素数,并且q是模p的一个本原根．该算法分别推广了肖-魏-林等人计算q元pⁿ周期序列线性复杂度和魏-董-肖计算q元pⁿ周期序列k-错复杂度的算法．采用文中的算法计算q元pⁿ周期序列的k-错复杂度曲线至多需要Θ(2ⁿ⁺¹)步运算.     

pn-周期二元序列的线性复杂度与k-错线性复杂度

密码学意义上强的序列不仅应该具有足够高的线性复杂度,而且当少量比特发生变化时不会引起线性复杂度的急剧下降,即具有足够高的k-错线性复杂度．基于x^pn-1在GF(2)上的分解式非常明确和简单的事实,研究了周期为pⁿ的二元序列线性复杂度和k-错线性复杂度之间的关系,给出了k-错线性复杂度严格小于线性复杂度的一个充分必要条件,给出了使得LC(S+E)＜LC(S)成立的用错误多项式E^N(x)表达的一个充分条件,给出了使得LC_k(S)＜LC(S)成立的最小的k值(即最小错误minerror(S))的一个上界,这里p为奇素数,z是模p的本原根．     

在Pinch方案中检测欺骗者

提出了一个改进的Ｐｉｎｃｈ联机多重秘密共享方案,与Ｇｈｏｄｏｓｉ等提出的Ｐｉｎｃｈ修改方案相比较,新方案在不暴露秘密信息的情况下,可以检测任意多个欺骗者, 安全性依赖于大合数的因子分解。     

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

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

一种新的可转换不可否认签名方案的改进

Ｄａｍｇａｒｄ等人提出了一种新的可转换不可否认签名方案,该方案是将ＥｌＧａｍａｌ方案的加密形式和签名形式结合在一起,即对签名的结果Ｓ进行加密,它有一个缺陷;会话密钥ｒ必须为ｑ阶。该文提出了一个改进方案,实质是用ＥｌＧａｍａｌ加密方案对ＥｌＧａｍａｌ签名的消息ｍ进行加密,从而去掉了这个约束条件。改进方案的签名证实了／否认协议是完善／计算零知识的。     

基于分组密码的加密认证码

构造了发组密码结构的加密认证码,并证明了它的安全性完全信赖于分组密码的安全性。对一类简易的迭代加密认证码,证明了其一阶安全性。