无双线性对的无证书两方密钥协商方案*

近几年来,有许多无证书密钥协商方案相继被提出,它们都需要双线性对运算,而且它们中大部分不能抵抗密钥泄露伪装攻击和临时私钥泄露产生的攻击。2009年,Lippold等人提出一个可证安全无证书密钥协商协议,但该协议需要较大计算量。为了解决上述问题,给出了一个新的无双线性对运算无证书两方密钥协商方案,并分析了它的安全属性,只要每方至少有一个未泄露的秘密,那么新方案就是安全的。因此,即使密钥生成中心知道双方的临时私钥,新方案也是安全的。与Lippold等人的协议相比,新方案降低了计算复杂度。     

改进的基于身份认证密钥协商协议*

对标准模型下可证安全的基于身份认证密钥协商协议进行安全分析,指出由于传送消息存在冗余,协议不能抵御伪装攻击。为解决上述安全漏洞,提出一个改进的基于身份认证密钥协商协议,并在标准模型下分析其安全性。结果表明,新协议满足基于身份认证密钥协商协议的所有安全要求。     

Al-Ti-C中间合金的显微组织与细化性能研究

采用自制的Al-Ti-C中间合金晶粒细化剂,检验其对工业纯铝的细化效果,并通过光学显微镜（OM）、扫描电镜（SEM）和能谱分析（EDS）等手段研究了不同中间合金组织对工业纯铝的细化性能的影响.结果表明,Al-Ti-C细化剂合金组织由α-Al基体,针状或块状TiAl3相及TiC粒子团组成;Al-Ti-C具有优异的细化α-Al晶粒的性能,添加0.2%的Al-Ti-C后工业纯铝开始获得明显的细化效果;Ti/C比对Al-Ti-C组织有重要影响,在纯铝中添加不同组织的Al-Ti-C产生不同的细化效果,其中块状TiAl3的细化性能优于针状TiAl3;在其它工艺条件不变的前提下,选用Ti/C比为8,添加量为0.4%的中间合金,性价比较为理想.     

强安全两方认证密钥协商方案*

基于CK（Canetti-Krawczyk,CK）安全模型的认证密钥协商（authenticated key agreement ,AKA）方案不能抗临时私钥泄露产生的攻击,因此,CK模型下被证明是安全的AKA方案也许仍然是不安全的。2007年,LaMacchia等人首次提出了eCK（Extended Canetti-Krawczyk,eCK）安全模型,该模型被认为是当前AKA方案最安全的模型。但LaMacchia等人提出的方案不能抗哈希值泄露产生的攻击。为了解决上述问题,一个新的强安全认证密钥协商方案被提议。新方案满足抗密钥泄露伪装、己知会话临时信息安全和能抗哈希值泄露攻击等特性,只要每方至少有一个未泄露的秘密,那么新方案在eCK模型下就是安全的,而且新方案是已知同类方案中运算量最少的。     

周期更新的可验证秘密共享方案

在(t，n)秘密共享方案中，秘密的安全性是建立在攻击者在秘密的整个生命周期最多只能获取t个秘密碎片。对于长生命周期和敏感的秘密来说，这种保护是不够的。本文基于离散对数问题的难解性，提出一个周期更新的可验证秘密共享方案，方案在秘密信息保持不变的情况下，定期对秘密碎片进行更新。参与者可以对自己的秘密碎片和其他成员出示的秘密碎片进行验证。为了防止秘密碎片的毁坏和丢失，即保证秘密的完整性和可用性，方案还具有检测损坏的秘密碎片和恢复正确的秘密碎片的功能。     

基于身份的多方认证组密钥协商协议

2002年,Boneh和Silverberg提出了多线性表理论和基于多线性表的多方Diffe-Hellman密钥交换协议,H.K.Lee等人在该协议基础上利用证书对参与者进行身份认证,解决了该协议容易遭受中间人攻击的问题,H.M.Lee等人进一步引入基于身份的公钥密码技术替代数字证书,提高了密钥协商的效率,形成了ID-MAK协议.在本文中,我们对ID-MAK协议进行了安全性分析,发现ID-MAK协议没有真正实现它所宣称的身份认证,不能抵御主动攻击,敌手可冒充任意合法成员参与到密钥协商中获取组密钥.本文在计算多线性D-H问题假设下提出了两个ID-MAK协议改进方案,两个改进协议只需一轮即可协商一个组密钥,本文还给出了相应的成员动态变化和组密钥更新协议.本文最后对我们改进的协议进行了安全性分析.     

对一种代理签名方案的攻击和改进

分析了文献[12]提出的一系列代理签名方案的安全性,包括基本的代理签名方案、电子支票的可控授权协议和前向安全的代理签名方案,指出这些方案是不安全的.利用伪造攻击,一个敌手可以成功伪造代理签名密钥,冒充诚实的代理签名人生成有效的代理签名,威胁原始签名人和代理签名人的合法权益,相应地,给出了修正方法抵抗代理签名密钥伪造攻击...     

基于改进S变换的直流电动机间接测速研究

提出了一种基于改进S变换的直流电动机间接测速新方法。该方法首先确定了合适的可调节频率分辨率的参数g以便将换向电流与噪声信号和低频直流分量分离,有效获取了换向电流;其次,为减少高频毛刺换向电流对测试精度的影响,根据换向公式和额定空载转速确定了最大阈值频率;最后对换向电流进行改进S变换,根据改进S变换的时频分布最大化原则和最大阈值频率估计出换向电流瞬时频率,进而得到直流电动机空载起动时的转速特性曲线,实验结果证明该方法的可行性和有效性。     

高效的口令基认证组密钥协商协议

对认证的口令基组密钥协商协议进行安全分析,指出传送数据中的冗余导致协议的不安全。基于Burmester and Desmedt的协议,给出一种改进的协议。该协议的计算复杂度较低,通信轮数较少;该协议不但满足前向安全性、双向认证性,还能有效地抵抗中间人攻击。最后,依赖于Diffie-Hellman(CDH)假设,在随机预言机和理想密码模型下证明了协议的安全性。     

固溶处理时间对Mg-Zn-Mn-Y合金微观组织和腐蚀性能的影响

采用光学显微镜、激光共聚焦扫描电镜等研究了 450℃固溶处理不同时间后Mg-Zn-Mn-Y合金的微观组织和去除腐蚀产物后的表面腐蚀形貌,通过动态腐蚀质量损失法研究了合金在模拟人体体液中的降解行为,用电化学工作站研究了其电极腐蚀动力学过程.结果表明,随着固溶时间的增加,合金组织中的第二相减少,晶粒逐渐粗化,合金的腐蚀方式由局部腐蚀转变为均匀腐蚀.固溶处理18 h时的合金耐蚀性最好,动态质量损失平均腐蚀速率、自腐蚀电流密度分别为(0.418±0.027)mm/y、11.34 μA/cm2.