一个完美并发签名协议的分析与改进

分析了Huang等提出的1个完美并发签名协议,设计了2种攻击方法对该协议进行攻击. 结果表明,该方案存在2个安全漏洞：参与的两方A和B都有能力在并发签名产生之后伪造1个对新消息的签名;A与B都有能力独自伪造双方的并发签名. 为了防止上述的伪造攻击,提出了1个改进方案,增加对关键信息的认证,并分析了改进方案的安全性.     

基于移动Ad Hoc网络的OLSR路由改进协议

提出了一种改进的OLSR路由协议,改进后的协议能根据本地网络拓扑结构自适应改变HELLO消息和TC消息的发送频率.仿真结果表明,改进后的协议在网络吞吐量和数据传送成功率等性能上有明显提高.     

基于签密的公平交易协议的安全性分析与改进

分析指出基于签密的并发签名方案是不抗接收者伪造的,即在没有签名者的关键数与密钥的情况下,接收者利用签名者的有效模糊签名便可恢复出签密消息,且可以以签名者身份伪造任意消息的模糊签名。因此,基于该签密并发签名方案的公平交易协议也是不安全的。进而提出了一个改进的基于签密的并发方案,弥补了原并发签名方案的安全缺陷,从而保证了公平交易协议的安全性。     

椭圆曲线密码体制在TLS协议中的应用研究

介绍了椭圆曲线密码体制(ECC)和TSL协议的主要子协议Handshake的工作过程,提出了在TLS协议中应用椭圆曲线密码体制的签名、认证、数字信封的实现方案,该认证方案不依赖可信第三方,防止了骗取消息的可能.     

TCAPsec协议研究及其网络模型性能分析

事务处理能力应用部分(TCAP)协议是移动通信网络的信令协议,TCAP安全(TCAPsec)协议为传输TCAP消息提供了安全保证,在研究TCAPsec协议工作原理的基础上,对协议存在的不足提出了改进方案。设计一个简化的TCAPsec网络模型,测试了不同模式下的网络时延,分析了TCAPsec对网络性能的影响。     

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

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

对一个门限共享验证签名方案的安全性分析

文献[1]提出了一种基于离散对数的(t,n)门限共享验证签名方案,它集成了消息恢复数字签名和门限方案;通过深入分析该门限共享验证协议的安全性,指出了签名发送者与验证者之一合谋可恢复其他验证者私人密钥的一种攻击方法;这种攻击表明在将两种密码学协议集成以设计新的协议时尤其要小心;最后给出了防止这类攻击的改进措施.     

对Chang等人的消息可恢复式签名方案的安全性分析

最近,C.C.Chang和Y.F.Chang提出了一个具有消息可恢复功能的数字签名方案,为提高运算效率,该方案摈弃了传统方案中所需要的单向hash函数和用于检验被恢复消息正确性的消息冗余方案．然而,通过密码学分析发现,正是由于缺少了单向hash函数和消息冗余方案,使得该签名方案并不像作者所宣称的那样是安全的．该文针对该方案给出两类伪造攻击,使得任意攻击者能够通过随机参数的选择而伪造可受攻击者控制的消息的有效签名．从而证明了Chang等人的签名方案不具备不可伪造性．     

一种改进的CMP1协议及其Petri网分析

研究了一种改进的电子商务协议CMP1协议。针对原有CMP1协议的冗余设计、不满足协议公平性和时限性要求、存在被重放攻击的可能等不足,提出了一种改进方案,并使用颜色Petri网协议分析方法对改进后的CMP1协议进行了建模仿真和性质分析。仿真结果证明改进后的CMP1协议不但满足网络协议的可追究性、公平性和时限性等属性要求,而且避免了被重放攻击的可能。     

支持透明离线TTP的多方非否认协议

针对电子商务中已提出的多方非否认协议不支持透明TTP,提出了一种新的协议,该协议的非否认证据不需使用TTP的签名,实现了对透明TTP的支持。协议由Exchange、Cancel和Finish三个子协议以及争议处理方案组成,在正常执行情况下,仅需3个消息交换步骤。对协议的分析表明,协议满足公平性、时限性和机密性。     

两个前向安全盲签名体制的安全性分析

前向安全盲签名能提供重要的安全保证,即使已经完全暴露了当前密钥,也能够形成在入侵之前的秘密密钥和电子签名的安全保护．针对最近由Hui-Feng Huang与Chin-Chen Chang,以及Yali Liu,Xinchun Yin与Juewei Chen分别提出的新的前向安全盲签名方案进行了安全性分析,通过密钥结构分析和困难问题分析成功攻破了该方案,证明了这些方案实际上都不具备前向安全性．     

对一个拥有RSA数字签名的零知识证明的分析

目前拥有RSA数字签名的零知识证明的两个方案给出了防止RSA 数字签名任意传播的一种新方法,但其中第一个方案并不是那样安全.文章指出在随机oracle模型下,当公钥的值较小时,一个不拥有RSA数字签名的证明者能够欺骗验证者.     

使用双线性对构造基于身份的不可否认签名

使用椭圆曲线上的映射对构造基于身份的确认签名（也是不可否认签名），最早由Han S等人提出．然而，Zhang F等人证明Han S的签名是不安全的．本文对Han S的方案进行了修改，构造了使用椭圆曲线上映射对和零知识证明的基于身份的不可否认签名方案，且证明了它是安全的．     

对几种部分盲签名方案的安全性分析与改进

对张彤等人最近提出的几种基于离散对数的部分盲签名方案进行了安全性分析．发现敌手可在不被察觉的情况下将盲化的消息乘以部分盲因子的逆而成功地去掉该方案中签名的部分盲特性．并且可以伪造签名中的嵌入常数．利用大数分解困难性隐匿张等方案中有限域中生成元的阶，对方案进行了一些改进．新的方案不仅满足部分盲特性要求．并可以防止敌手伪造嵌入参数．同时具备张等方案的其他安全性要求．     

Convertible Proxy Signcryption Scheme

In 1996, Mambo et al introduced the concept of proxy signature. However, proxy signature can only provide the delegated authenticity and cannot provide confidentiality. Recently, Gamage et al and Chart and Wei proposed different proxy signcryption schemes respectively, which extended the concept of proxy signature.However, only the specified receiver can decrypt and verify the validity of proxy signcryption in their schemes.To protect the receiver‘ s benefit in case of a later dispute, Wu and Hsu proposed a convertible authenticated encryption scheme, which can enable the receiver to convert signature into an ordinary one that can be verified by anyone. Based on Wu and Hsu‘ s scheme and improved Kim‘ s scheme, we propose a convertible proxy signcryption scheme. The security of the proposed scheme is based on the intractability of reversing the one-way hash function and solving the discrete logarithm problem. The proposed scheme can satisfy all properties of strong proxy signature and withstand the public key substitution attack and does not use secure channel. In addition, the proposed scheme can be extended to convertible threshold proxy signcryption scheme.     

求解气体动力学方程组的高效差分格式

给出了求解多维无粘可压Euler方程组的二阶半离散中心迎风格式。因考虑到了非线性波在Riemann扇内传播的局部速度，从而能更加准确地估计出局部Riemann扇的宽度，最终既回避了计算网格的交错，又降低了格式的数值粘性，建立了介于迎风格式和中心格式之间的高分辨率的半离散中心迎风格式。同时，该格式利用Tadmor等人的耗散型MinMod限制器和Harten等人的压缩型UNO限制器的凸组合来重构分片线性多项式，不仅能快速求解多维无粘可压Euler方程组，还可有效地防止数值解产生伪振荡。     

一维高阶ENO格式的应用研究

构造了基本ENO有限体积格式，在标量守恒系，矢量守恒系中研究了ENO格式的具体应用，给出了矢量守恒系中基于特征分量的ENO重构算法，通过采用Roe平均通量差分分裂(Roe-FDS)，有效地抑制了间断解附近的振荡。一维Euler方程的数值模拟结果进一步表明ENO格式具有较高的激波分辨率和较低的数值耗散，在激波附近基本无振荡的特性。     

可证安全的无证书部分盲签名机制

针对现有无证书部分盲签名机制计算复杂度过高的问题,该文设计了一种高效的无证书部分盲签名机制。首先,分析了一个无证书部分盲签名机制的安全性;其次,利用椭圆曲线密码构造一种新的无证书部分盲签名机制;最后,在随机预言模型下证明提出的无证书部分盲签名机制是安全的。分析表明,提出的无证书部分盲签名机制不仅能解决以往机制中存在的安全性缺陷,而且具有更好的性能。     

地形跟随系统中的自校正阵风减缓控制

本文对隐式多维极点配置广义最小方差自校正控制在地形跟随系统中的应用进行了研究。所采用的算法结构，可以满足飞机跟踪精度的要求，克服了选取加权因子的困难。并且，选取独立于加权因子的参数来实现在线调整加权因子，使闭环极点能够迅速地处于期望的位置上。仿真结果表明，系统的动态性能符合要求，跟踪误差也在允许的范围之内。     

使用双线性对构造的智能卡口令认证方案

研究了双线性对在智能卡口令认证方案中的应用;针对Giri et al方案在敌手能够获取存储在智能卡中信息的情况下不能抵抗冒充攻击的安全缺陷,提出了一种使用双线性对构造的智能卡口令认证方案。在该方案的登录阶段中只是执行群上的加法运算,没有使用杂凑函数和公钥加解密操作,因而计算代价更低,但却提供了更好的安全性,能够抵抗重放攻击、离线攻击和冒充攻击。