可证明安全的基于RSA的远程用户口令认证协议

身份认证是确保信息系统安全的基本手段,基于RSA的认证协议由于实用性较强而成为近期研究热点.讨论了Xie等提出的一个基于RSA的双因子远程用户认证协议,指出该协议不能抵抗重放攻击和密钥泄露仿冒攻击,无法实现所声称的安全性,并且存在用户隐私泄露和可修复性差问题,不适于实际应用.给出一个改进方案,在随机预言机模型下,基于RSA假设证明了改进方案的安全性.与现有的基于RSA的同类协议相比,改进协议在保持较高效率的同时,首次实现了可证明安全性,适用于安全需求较高的移动应用环境.     

动态多方签名及其可证明安全性

多方签名是一类有效的多方安全计算协议。分析了现有多方签名方案的安全漏洞以及不足,基于多方安全算法提出了一类动态的多方签名方案,方案实现了签名与验证参数的动态生成及签名的匿名性。利用随机预言机(Random Oracle)模型,证明了方案在UF-CMA模型下的不可伪造性及不可否认性。方案中充分利用了多方安全计算的优势,降低了软硬件实现的系统开销,有广泛应用前景。     

一种基于ELGamal签名和零知识证明的双向认证方案

利用有向签名的方法,结合零知识证明的思想,在ELGamal签名机制的基础上提出了一种新型的基于身份的双向认证方案。只有特定的双方用户,不必暴露自己的秘密信息就可以实现双向身份认证。该方案具有良好的安全性和较低的计算复杂度。     

ZigBee节点多因子身份认证方案研究

针对Zig Bee网络所面临的中间人攻击和假冒攻击,提出了一种Zig Bee节点多因子身份认证方案,该方案引入以特定周期更新的新鲜因子,并将其与节点硬件信息绑定,调用单向杂凑函数生成硬件信息因子,由控制中心匹配节点上传的密钥信息因子、硬件信息因子和配置信息因子完成对节点的身份认证;同时,节点对接收到的消息进行签名验证,完成节点对控制中心的身份认证,从而实现节点间的双向身份认证,并对节点持有的对密钥实施更新,以防止非法节点入网对整个网络造成危害。BAN逻辑安全性分析及实验结果表明,该方案可有效抵御中间人、假冒等攻击,同时在计算开销和存储需求上有明显优势。     

广义椭圆曲线数字签名动态用户认证机制

基于口令的身份认证机制是分布式系统安全体系的重要组成部分。利用一个无需求逆的广义椭圆曲线签名算法构造了一个动态远程用户认证方案:GECSA方案。该方案基于“质询响应”机制,无需时戳,其安全性基于单向Hash函数和椭圆曲线离散对数计算的困难性,包括注册阶段、登录阶段、认证阶段和更改口令阶段,允许用户自主选择并更改口令,实现了双向认证;具备完备性和不可转让性,是一个低开销的、安全的远程用户认证机制。     

基于IBC策略驱动的组播内容分发方案

针对内容分发应用中的组播加密方案和多接收者加密方案所存在的动态组密钥管理复杂、计算和通信代价高等问题,分析了内容分发系统的典型安全需求,采用基于身份密码学提出了一种新的面向群组的安全内容分发系统模型与方案,经安全性与性能分析表明,方案满足接收方访问控制、发送方鉴别与防抵赖、策略加密等安全要求。将发送方的计算和通信代价降为O(1),同时具有密钥管理简单、组密钥更新开销小和易于实现等特点,能方便地应用于商业的组播内容分发系统。     

基于AKB-OTS的传感器网络广播认证协议

现有的基于一次性签名的传感器网络广播认证协议因存储开销较大,较难适用于大规模尤其是多广播节点网络.提出基于辅助密钥的一次性签名方案(assistant-key based-onetime signature,AKB-OTS),引入辅助密钥和Merkle树机制对HORS进行改进,降低其公钥和私钥尺寸.提出基于AKB-OTS的多广播节点传感器网络广播认证协议.分析和验证表明,本协议存储、通信和计算开销低,能够抵抗穷举、选择明文、DoS等攻击,适用于大规模多广播节点传感器网络.     

对应点集移动相对性建模于脱机签名鉴定研究

提出并论证了欧氏空间中签名的对应点集具有移动相对性,基于该原理构建了一种新的脱机签名鉴定模型,并研究了签名间对应点集获取的方法。在鉴定方案中,待鉴定的脱机签名图像和参考样本的签名图像可以看作欧氏空间内两个不同坐标系中的图像,两者间能够建立相对应的点集合,而欧氏空间平面图像其对应点集具有确定的约束关系,利用该约束关系建立模型可以反映出对应点集移动相对性的大小,因此可以利用该值的差异进行签名真伪鉴定。该方法对于真签名的数量要求较低,并且不需要伪签名来进行训练,适用于脱机签名鉴定中存在的极少样本集情况。实验采用中、英文两种签名数据库验证了该方法的有效性。     

支持数据完整性验证的可问责数据交易方案

针对数据交易方案的密钥泄露、合谋等安全问题,提出原子性可问责的数据交易方案。将数据审计技术与智能合约结合实现自动支付,确保交易过程中数据的完整性以及支付的公平性;采用自认证公钥密码技术设计用户注册过程,确保即使遭受单点故障问题,用户私钥仍然安全;借助会话密钥加密通信,解决了对称密钥分发问题,同时能够高效维护通信安全;构造了可公共审计的问责机制处理用户争议,以抵抗合谋攻击。安全性分析及实验表明本方案不仅能抵抗密钥泄露攻击和合谋攻击,还能够降低通信成本、高效问责。     

基于特征选择的脱机签名模糊鉴定建模与仿真

在建立脱机签名鉴定模型的过程中,首先设计提取了签名的静态特征和伪动态特征,并提出了一种基于离差测度的新的选择准则用于特征选择.另外,在鉴定模型中引入模糊理论,通过模糊集合来表征特征的不确定性,并采用隶属度函数构造权重系数作用于模糊规则的输出来进行鉴定.仿真实验对于中、英文两种签名数据库分别取得了大约9.2%和10.5%的平均错误率,其中,英文数据库的平均错误率较现有文献的结果降低了大约3%.     

基于功率谱估计的舰船噪声特征提取及声场通过特性仿真

通过对舰船辐射噪声频谱特性的深入分析，给出了一种目标特征提取的方法。并在建立目标通过特性数学模型的基础上，结合所提取的特征量，分别对两类目标在不同横距、不同深度、不同信噪比下，噪声信号全频段和各频段的通过特性进行仿真。     

超宽带雷达目标回波建模

根据复杂目标在超宽带信号照射下的电磁散射特性 ,建立起超宽带雷达目标合理的冲击响应模型 ,并分别针对线性调频、冲击、二相编码无载波等三种典型超宽带雷达信号 ,确定了给定目标的回波特征 ,对回波相关处理的结果表明 ,其输出能反映出目标特征 ,有利于雷达目标的识别。     

几种典型目标的角闪烁特性分析

从角闪烁的概念出发分析了谐振区典型目标的角闪烁特性。利用解析方法给出了无限长导体圆柱角闪烁的产生机理,角闪烁与电尺寸的关系;利用矩量法求解电磁场积分方程,分析了导体平板和有限长导体圆柱的远区散射场和波印廷矢量,发现导体平板和有限长导体圆柱的波印廷矢量在球坐标系下的3个分量随远区观察距离的平方衰减,因此对导体平板和有限长导体圆柱来说,由波印廷矢量法计算所得的角闪烁与观察距离有关。     

基于红外物理与传热学的目标红外成像模型

现有计算机图形学的光照模型,都是对可见光的光照效果的描述,由于它们没能反映物体的红外特性,因而不能为目标的红外仿真提供显示模型。本文从红外物理及传热学的基本理论出发,提出目标的红外成像仿真模型。该模型成功地模拟了由内热源引起的目标的红外特征。从实验结果看,模型的红外仿真效果较理想。     

Two Improved Digital Signature Schemes

1. INTRODUCTIONWith the rapid development of information technologyl the security and secrecy of computer network systemare becoming more and more important. Therefore, in order to guaratee the security of the network systemand data information, we must study new type of cipher and encryption technology. This is one of the mosteffective ways to guaratee that the system can be run dependably. Only if the data is encrusted, the integrityof the information content in communication links is a…     

一种网上合同签署方案的PKI模型

随着公钥基础设施 (publickeyinfrastructure ,PKI)的出现 ,使得越来越多的电子商务方面的应用可以架构其上。提出一种适于网上电子合同签署的PKI模型。首先介绍了方案中用到的密码学相关知识 ;然后提出模型(包括单CA模型的扩展模型 )并对模型的正确性给出了相应的证明 ;最后 ,比较两个模型 ,对模型的特点作了进一步的说明。此外 ,为了清楚起见 ,还进一步给出了模型的实施方案简图。     

扩展目标的角闪烁

本文简要地综述了扩展目标角闪烁的研究概况。系统地阐述了角闪烁的概念、产生机理、计算方法和数学模型。在此基础上,详细分析了角闪烁的控制技术,既研究角闪烁的抑制方法,也研究人工增强技术。最后指出了角闪烁对隐身飞形器的设计具有潜在重大意义。     

反向投影成像算法的理论分析及目标特征恢复

分析了用于超宽带冲激信号 SAR系统的反向投影 (BP)成像算法 ,得出了BP算法固有的旁瓣形成解析式及旁瓣分布 ,说明了成像结果中系统频率特性对目标特征的频率有加权作用 ,并且是造成成像畸变的主要原因。提出了对回波信号逆滤波以恢复目标特征及采用匹配滤波来抑制成像旁瓣的方法。对冲激雷达实验系统的成像数据的处理结果表明 ,提出的逆滤波方法是有效的。     

基于能量特征匹配的在线手写签名验证算法研究

侧重签名能量特征提取方法的研究,提出了一种基于小波分析的在线手写汉字签名验证算法。基于Daubechies小波的方法对签名波形进行分解,重构部分波形后,提取签名波形在跳变点处的能量,并对跳变点处签名能量进行大小排序,选出M个较大能量作为特征矢量,并提出了一种新的匹配算法。算法能快速消除随机伪造签名,实现自动签名验证的目的。实验表明,对于随机伪造签名,当误拒率为0%时,误纳率为8.5%。     

多表面阻抗加载凸导体柱的电磁散射

飞行器隐身技术之一是阻抗加载。本文研究充电大尺寸(ka=10)任意截面多表面阻抗加载凸导体柱的电磁散射。问题的反应积分方程是采用组合Fock理论和矩量法的混合方法建立,并由Leontovich阻抗边界条件来求解的。对一个多表面阻抗加载圆柱体的混合法的数值分析表明,利用多表面阻抗加载,可实现较大角范围内后向雷达散射截面(RCS)的减缩,并同时产生后向散射相位的强烈跃变,从而获得大的角闪烁线偏差,这是一种新的隐蔽技术措施。