Needham-Schroeder密钥分配协议的改进

分析总结了密钥分配协议及其４种常用的攻击方法,指出了Ｎｅｅｄｈａｍ－Ｓｃｈｒｏｅｄｅｒ公钥系统密钥分配协议存在的一些缺陷,并分析了一些文献改进方案的不足,最后给出了一种简单的改进方案．     

UMTS AKA机制中序列号安全性分析

对认证与密钥协商协议( UMTS AKA)中无和有序列号SQN进行了3种攻击场景模拟并得到结论：SQN的使用不能有效抵抗重放攻击。基于此,进一步分析并仿真了使用一次性随机数抵抗重放攻击的3种改进协议,结果表明：AP-AKA和基于公钥密码学的AKA能够有效抵抗重放攻击,但是AP-AKA增加了实体的存储和计算资源,基于公钥密码学的AKA增加了算法的复杂性,而S-AKA只能部分抵抗重放攻击。     

Denning-Sacco密钥分配协议的分析与改进

研究了Denning-Sacco密钥分配协议,指出了该协议存在的缺陷和漏洞,并给出了两种攻击该协议的方法,一种是重放攻击,另一种是拦截攻击.虽然一些学者对该协议进行了修改,但是仍然存在缺陷和漏洞.针对原始协议存在的缺陷和漏洞,该文在原来协议的基础上,增加了一条消息,并用串空间模型来分析了修改后的协议,说明修改后的协议能够达到协议的目标.     

基于证书有效性凭据的UMTS认证和密钥协商协议

提出了一种混合采用对称密码加密和公钥密码认证的第3代移动通信系统认证和密钥协商(UMTS AKA)协议。在该协议中,归属网络负责在线验证拜访网络公钥证书的有效性,然后生成一个简短的安全凭据,拜访网络通过向移动设备(ME)出示该凭据证实自己的身份,ME无需在线接收并验证拜访网络的公钥证书即可确认其身份,从而降低了ME的通信传输和计算开销。实现了拜访网络与归属网络之间的身份认证和消息安全传输,提高了UMTS AKA全过程的安全性。采用BAN逻辑证明了协议的安全性。与SPAKA协议和Lee方案的对比分析表明,所提出的协议效率更高。     

扩展代理多方计算及其协议

针对安全多方计算中参与者无法执行协议的缺陷,提出了扩展代理多方计算模型. 相对于已有的几种相关模型,该模型具有安全性更强的特点. 从函数性、协议及协议安全性等方面形式化描述模型,并设计了该模型下的安全求并集协议,讨论和分析了该协议的效率、安全性与正确性.     

WAP环境下移动支付协议公平性分析

为保证买卖双方公平交换,基于主动测试定理和发送边存在定理分析了移动支付协议的公平性,指出该协议存在安全缺陷.由此提出了一种改进协议,通过增加时间戳和改变部分消息发送的主体弥补协议公平性缺陷,并用扩展串空间模型对其公平性进行了形式化分析,证明其在没有影响运行效率的前提下能够满足公平性要求.研究结果验证了所提的方法可以有效地分析协议公平性.     

一种高效安全的EPS AKA协议

针对4G认证与密钥协商协议(EPS AKA)中存在的安全问题,提出了一种高效安全的改进协议(ES-AKA)。该协议不仅能够抵抗重定向攻击和重放攻击,同时消除了密钥K泄露的安全隐患。安全性和协议性能分析表明：在更高的安全性能下,该协议降低了服务网络的存储空间和归属网络的计算量,有效减少了认证过程的比特通信量。     

Otway Rees协议改进及安全分析

选取Otway-Rees协议作为研究对象,用一种改进的BAN类逻辑——安全协议分析本征逻辑(SPALL)作为协议分析工具展开研究.首先对SPALL系统进行扩展,针对Otway-Rees协议存在的缺陷,提出了改进方案.为了更好地描述改进协议,用SPALL系统对其安全属性进行了形式化描述,并做出安全分析.分析结果表明,改进协议能够确保密钥分发的正确性,并具有密钥机密性和强认证性,还能满足通信双方验证会话密钥一致性的要求.     

一种高效安全的EPS AKA协议

针对4G认证与密钥协商协议(EPS AKA)中存在的安全问题,提出了一种高效安全的改进协议(ES-AKA).该协议不仅能够抵抗重定向攻击和重放攻击,同时消除了密钥K泄露的安全隐患.安全性和协议性能分析表明:在更高的安全性能下,该协议降低了服务网络的存储空间和归属网络的计算量,有效减少了认证过程的比特通信量.     

一个挂号邮件协议的缺陷分析和改进

可信第三方TTP（trusted third party）在电子商务协议中担任着重要的角色，作者在文中通过分析一个挂号邮件协议指出了TTP在离线TTP协议中的作用，说明了其中存在的缺陷及恶意的参与方利用该缺陷可能发起的攻击方法，最后给出了协议的改进建议，并验证了其可行性。     

基于身份的WiMAX认证协议

通过对WiMAX空中接口阶段认证密钥交换协议的考察,使用椭圆曲线双线性对设计了一个基于ECDLP和ECDH困难性假设的认证密钥协商协议。该协议认证部分是基于身份的认证方案,会话密钥协商部分的运算主要用点乘实现,既提高了协议的安全性又避免了过大的计算开销。与WiMAX空中接口阶段认证密钥交换协议相比,该协议具有更强的安全性和更简单的结构。     

悬臂深梁的应力分析

针对文献［１］在求解悬臂深梁问题中存在的缺点，本文建议了另一个关于是臂深梁问题的解法以完善文献〔１］中的解法。文中所述方法对求解其它深梁问题亦属有效。     

GPRS与IMS认证及密钥分配优化方法

移动用户通过通用分组无线业务(GPRS)接入IP多媒体子系统(IMS)时,GPRS和IMS都会对移动用户进行认证和密钥分配,操作过程类似,通信开销大,缺乏效率。为解决该问题,结合相关研究成果,提出一种优化方法,该方法可只进行GPRS的认证与密钥分配(AKA)协议操作,IMS基于GPRS的认证结果实现了对移动用户的认证。同时给出了该优化方案的可行性分析。     

一种应用层协议解析加速算法

本文研究并解决WEB应用服务端高并发压力时应用层协议解析带来的性能和稳定性问题。通过统计分析发现一些应用层协议(如RTSP、HTTP、SSDP等)结构具有字段数量有限、字段名称固定、名称与分割符之间内容为该字段值以及结构非固定等特征,提出一种协议字段树结构,基于该结构提出一种应用层协议内容解析加速算法,在解析过程中不会出现匹配失败及回溯情况。针对具有上述特征的应用层协议,通过与传统的协议解析方法及多模字符串匹配算法实验对比,结果显示本文提出的基于协议字段树结构的解析加速算法解析性能比传统的解析方法平均提升16.5%以上,算法适用于高并发压力下ASCII及二进制形式的协议内容解析,具有良好的扩展性。     

GPRS与IMS认证与密钥分发的一种优化集成方法

移动终端通过通用分组无线业务 (GPRS)接入IP多媒体子系统(IMS)时,GPRS和IMS都会对移动终端进行认证和密钥分配,操作过程类似,独立进行两次,缺乏效率。为解决该问题,结合相关研究成果,提出一种优化集成方法,可以只进行GPRS的AKA协议操作,IMS基于GPRS的认证结果实现对移动终端的认证,同时满足移动终端对IMS网络的认证需求及双方的密钥分配需求。对该方法的可行性及性能进行了分析。     

聚吡咯复合材料的制备与应用研究

导电聚合物材料因导电率高、质量轻、防腐蚀、电学和光学性能良好等优点引起科研工作者的兴趣。其中,聚吡咯作为典型的导电高分子材料,因其合成条件简单,且具有良好的环境稳定性、环境友好性、电导率变化范围广且可调节等优点而备受关注,但它存在难溶解、难熔融、力学性能及加工性能较差等缺点,限制了其应用。聚吡咯与其他材料复合形成的复合材料,在改善聚吡咯缺点的同时结合了二者的优点,赋予材料新的性能,拓宽了材料的应用领域。简述了聚吡咯的主要合成方法,分析了每种方法的优势与缺点,并对其在超级电容器、气敏传感器和生物组织工程等领域的应用进行了总结,讨论了聚吡咯复合材料所面临的问题及解决方案,对未来的发展进行了展望。     

一种基于负载均衡机制的Ad Hoc网络路由协议技术

AdHoc网络是一种无线基础设施支持的移动网络,网络中的节点均由移动主机构成。而路由协议则是移动AdHoc网络中最关键的技术之一,它对网络的性能起决定性作用。首先阐述了AdHoc网络路由协议AODV,分析了其不足之处,给出了一种基于反向路由查找机制、单路径负载均衡和跨层节点拥塞的协议优化方案。     

面向网络的一种新分布式事务处理协议

提出了一种新的适合于当前网络环境,基于客户机/服务器应用方式及远程过程调用(RPC)的分布事务处理模型及其实现协议。分析与实验表明它不仅满足网络中客户机/服务器应用的具体特点与要求,而且可以克服各种两段式提交协议中由于协调者故障造成的阻塞,同时避免了三段式提交等协议为解决阻塞而引起的开销过大,实现复杂等问题。     

基于对角积分双谱的雷达辐射源信号识别

双谱以其独特的抗噪优势,广泛应用于信号分析。双谱的数据量较为庞大,目前减少双谱数据量的方法中积分双谱的效果最好,然而各种积分双谱均存在一定的缺陷。文章提出了对角积分双谱,它沿平行于双谱次对角线的直线序列积分,不但避免了插值,而且包含了更多的相位和幅度信息。最后将对角积分双谱应用于低截获概率（LPI）雷达信号的特征提取。仿真条件下,对比分析了各种积分双谱的识别性能,结果表明对角积分双谱的识别性能优于其它积分双谱。     

锚杆支护技术的应用现状与发展前景

针对我国锚杆支护的现状做了初步分析．运用支护设计中常用理论及方法,对其中的优缺点进行了分析和评价,同时对实际支护工程中的某些不足进行了具体讨论,并对未来的发展趋势进行了初步分析．