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

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

基于数字签名方案的口令鉴别方案

本文在广义ＥｌＧａｍａｌ型签名方案上建立了许多口令鉴别方案，并且提出了文［１］的三个改进方案。利用这些方案，计算机系统不仅能监测和控制口令的使用，而且可以抗击许多对口令的伪造攻击。     

布尔函数的对偶性和线性点

本文主要讨论了部分自对偶和部分反自对偶函数、部分线性函数以及具有线性点的函数的性质。     

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

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

基于概率验证的可分电子现金系统

给出了一种概率验证方案,以决定匿名可分电子现金系统在支付时采用联机验还是脱机验证,从而减少,机电子现金系统由于用户的重复支付而产生的损失额,同时为消除由于加入概率证方案而增加的支付时间,采用并行处理的方法以提高效率。     

一种基于DNA技术的加密方法

利用DNA合成技术、DNA克隆技术、PCR扩增技术以及DNA芯片技术，结合密码学的计算复杂度理论．提出了一种基于DNA技术的加密方法．加密就是制作特殊设计的DNA混合物．解密就是根据Watson-Crick互补配对原理，在DNA芯片（microarray）上同时对数以万亿的DNA序列杂交，这体现了DNA在超大规模并行计算和超大容量的数据存储方面的巨大潜力．现有的生物技术的局限性以及计算技术的局限性为该方法提供了双重的安全保障．     

盲消息签名方案的设计与应用

盲答名在计算机信息网络安全方面，特别是在电子货币和电子投票等系统中起着非常重要的作用。本文利用ＥｌＧａｍａｌ 型签名方案建立了两个特殊的盲签名方案－盲消息签名方案，分析生讨论了这些方案的安全性，结出了它们的若干实际应用。     

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

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

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

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

Needham-Schroeder公钥协议的模型检测分析

密码协议安全性的分析是当前网络安全研究领域的一个世界性难题.提出了运用模型检测工 具SMV(symbolic model verifier)分析密码协议的方法,并对著名的Needham-Schroeder(NS )公钥协议进行了分析.分析结果表明,入侵者可以轻松地对NS公钥协议进行有效攻击,而这个 攻击是BAN逻辑分析所没有发现过的.同时,给出了经SMV分析过的一个安全的NS公钥协议 的改进版本.