RSA算法中的代数结构

本文首次应用二次剩余理论对RSA中的代数结构进行了研究.计算出了Zn中模n的二次剩余和二次非剩余的个数,对它们之间的关系进行了分析,并用所有二次剩余构成的群对Zn进行了分割,证明了所有陪集构成的商群是一个Klein四元群.对强RSA的结构进行了研究,证明了强RSA中存在阶为φ(n)/2的元素,并且强RSA中Zn可由三个...     

对两个可转变认证加密方案的分析和改进

该文对可转变认证加密进行了研究,指出了Wu-Hsu(2002)方案和Huang-Chang(2003)方案中存在的问题,分别给出了这两个方案的改进方案,很好地解决了认证加密方案的公开验证问题。     

数字签名中的阈下信道封闭协议研究

对G.J.Simmons的阈下信道封闭协议进行了研究,发现了该协议中存在的缺陷,并给出了基于该协议构造的两个窄带阈下信道,一个是基于无害消息的构造,另一个是Y.Desmedt基于ElGamal签名(r,s)中因子r的构造. 经深入讨论表明,不可能完全封闭数字签名中的阈下信道. 文中同时讨论了阈下信道的最低传输效率问题.     

Plateaued函数的正规性

Plateaued函数作为Bent函数和部分Bent函数的扩展,是一类能实现多个密码学准则折中的性质优良的密码函数。该文基于布尔函数与其分解函数的Walsh谱之间的关系研究了Plateaued函数的复杂性度量指标之一的正规性,根据其正规性质给出了判定给定Plateaued函数是否正规的一个较为简单的算法,并分析了已知Plateaued函数类的正规性。     

Hamming重量为k的布尔函数的全局特征和非线性度

该文给出了布尔函数的自相关系数和互相关系数的一些性质,得到n元布尔函数f (x)满足t 阶扩散准则时,n,t 和Hamming重量wt(f)的制约关系,给出了任意Hamming重量为k的布尔函数的平方和指标下界表达式,推出了仅由布尔函数Hamming重量所确定的非线性度的上界表达式。这些结论推广了已有结果。     

利用环上的椭圆曲线实现基于身份的加密体制

分析了基于身份加密体制的构造框架,利用剩余类环上的椭圆曲线密码实现了一种新的基于身份的加密机制．剩余类环上的椭圆曲线的群运算同时具有RSA门限单向函数的性质和椭圆曲线离散对数单向函数的性质,将这两种性质分别应用于基于身份的加密系统的密钥颁发和加解密阶段,使得新的基于身份的加密体制具有运算量小,易于分析的优点．用mathematica工具分析了一种伪群运算,给出了它的基本运算性质,利用这种伪群算法使明文更为安全和方便地嵌入到密文中．     

平衡性与相关免疫性之间的关系

本文用重量分析方法和概率方法对布尔函数的平衡性与相关免疫性之间的关系进行了研究,揭示了平衡与相关免疫之间的一种密切关系;同时还得到了布尔函数满足平衡相关免疫性的一个必要条件.     

基于网络认证的动态群签名方案

群签名方案是数字签名方案中非常重要的一种,允许群成员代表群进行签名而不泄露群成员的任何信息.而群签名方案中群成员的删除一直是一个难题.在此提出了一个基于网络认证的动态群签名方案,主要是为了解决群成员的删除问题.方案包括认证和签名2个模块,被删除的群成员在认证时就不能通过.在签名模块中利用ElGa-mal加密算法和知识签名等来构造群签名方案,使其具有抵抗攻击的能力.该方案中认证模块的效率高且可移植于其他类型的不具有删除群成员能力的群签名方案之中,可以解决不能删除群成员的难题.     

移动通信系统中有效的身份认证方案和支付协议

文中给出了一个基于公钥密码的有效的身份认证和密钥交换协议，该协议可以实现通信双方的相互认证，产生的会话密钥对通信双方是公正的，且会话密钥的产生不需要其他第三方的参与，协议的结构简单，执行效率高：在此协议基础上设计了一个适用于移动通信系统的小额支付协议。     

基于KryptoKnight的移动用户认证协议

本文基于KryptoDnight[6],为个人通信系统设计了一轻量级认证与密钥分配协议．该协议与现有的协议相比，新协议具有很高的安全性和运行效率，特别适合用作PCS移动环境中的低层网络协议