布尔随机向量联合分布的分解式及其应用

本文首先给出了一般概率空间上ｎ维布尔随机向量的联合分布的“分解式”，然后将之应用于与布尔函数相应的布尔随机变量的有关联合分布的分解，揭示了关于布尔函数、布尔向量函数相关免疫性的若干等价条件的概率内在联系。     

数字签名的安全性分析

本文介绍了数字签名及其安全性的概念，对攻击和伪造进行了分类，接着引入随机oracle模型证明了几个关键的引理。然后利用引理分析了基于大数分解和离散对数难题上的签名方案的安全性。     

带记忆组合函数的相关性分析

本文首先给出了反例,说明文献［１］中引理１的错误,从而揭示了该文中两个主要定理的证明存在问题。然后利用布尔随机向量联合分布的分解式,给出了新的证明方法。     

布尔函数的非仿射逼近及二次Bent函数的不存在性证明

本文首先指出m阶相关免疫布尔函数和m阶广义ε－相关免疫布尔函数具有较强的抗变元个数不超过m的任一非仿射相关攻击的能力,接着证明了曾被人们寄予厚望的能够理想地抗二次布尔函数相关攻击的“二次Bent函数”实际上是不存在的。     

带记忆多值组合生成器的相关免疫性

考察带l位记忆多值组合生成器输入序列和输出序列的相关免疫性以及k阶相关免疫组合函数的构造。     

3G认证与密钥分发协议逻辑化分析

逻辑化方法是当前分析密码协议安全性的重要方法。文章通过运用一种新的认证逻辑系统，分析3G认证与密钥分发协议的安全性，并针对协议的安全漏洞，提出了改进的认证与密钥分发协议方案，解决用户的身份泄露和MS对VLR的认证问题，增强了网络安全性。最后，对改进的协议安全性进行了分析。     

相关免疫函数的谱与感知机表示

本文将ＧＦｎ（２）＝｛０，１｝ｎ上布尔函数的相关免疫（ＣＩ）性概念等价地引入到｛－１，１｝ｎ上，并基于｛－１，１｝ｎ上布尔函数的多项式表示，给出了ＣＩ函数的谱表示及其充要判别条件，首先得出了ｍ阶ＣＩ函数一般不能由ｍ阶感知机所表示这一结论，从而在一定意义上否定了用单展感知机攻击前馈组合函数的可能性。     

一个多站点传送的密钥分发方案

本文提出了一个多站点传送的密钥分发方案,给出了在一个完全保密的方案中用户信息集合大小的下界,并且构造了一个达到该下界的应用方案。     

H_2~r函数的性质和构造

讨论了n维2~r阶Hadamard矩阵所对应的一类特殊逻辑函数(即H_2函数)的一些性质,讨论了它与Bent函数的关系,以及它的一些新构造法。     

相关免疫布尔函数的计数

本文修正了文献[1]中重量为6（或2^n－6）的n元相关免疫布尔函数的计数公式，并给出了重量为8（或2^n-8)的n元相关免疫布尔函数的精确个数。