一个认证协议的串空间模型与分析

认证性和保密性是认证协议设计的两个关键目标,针对在Needham—Schroeder和Otway—Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标．     

基于串空间模型的UMTS AKA协议安全分析与改进

通过分析Oh等设计的T-AKA协议,发现该协议无法实现网络对用户的正确认证及消息的新鲜性验证,并利用该安全漏洞构造出了伪冒用户的攻击方法.然后,在3GPP规范的基础上,在服务网络端引入公钥机制,提出了改进的认证与密钥协商协议.最后,应用串空间模型理论及认证测试方法,对改进协议的机密性和双向认证正确性进行了形式化证明.研究结果表明:改进协议能够保证消息的新鲜性和网络-用户间的双向认证,克服T-AKA协议中存在的伪冒用户攻击及其他重放、伪冒攻击,具有高的安全性;协议设计中保留了3GPP规范的框架,避免了用户终端进行繁重的公钥运算,具有强的实用性.     

基于串空间模型的3GPP认证密钥交换协议分析

基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划(3GPP)认证密钥交换协议,指出了该协议应用于不安全的信道时存在保密性和认证正确性的缺陷,同时给出了对该协议的2个攻击方法.由此提出了一种改进的3GPP认证密钥交换协议以克服原协议存在的缺陷,应用串空间模型理论及认证测试方法形式化证明了该改进协议在不安全的信道上可确保消息的保密性,移动用户和服务网络间的双向认证,以及消息加密密钥和完整性密钥的新鲜性.     

基于射频指纹的射频识别认证协议改进

通过研究对融合物理层硬件信息与应用层协议的射频指纹（Radio Frequency Frgerprints,RFF）进行射频识别（Radio Frequency Identification,RFID）认证问题,发现射频指纹RFID认证协议中存在的安全缺陷,对其进行改进．改进协议在融合RFID标签射频指纹的基础上进行挑战与应答．并进行RFID标签检测、存储与声称射频指纹的比对．性能分析与BAN逻辑形式化证明的结果表明,改进协议克服了原有缺陷,具有对抗有关RFID标签克隆攻击的能力．实现了RFID系统的高强度认证．     

Kerberos认证系统的分析和改进

首先介绍Kerberos的认证过程，特别是分析Kerberos认证协议的局性性，然后采用RSA加密算法的一种Yaksha改进算法，给出一种公钥认证协议，这种协议由用户验证自己产生的时间戳，这样就解决了时间同步的问题，并且克服了Kerberos的某些局限性。     

基于校园网单点登录系统模型的研究与设计

校园网规模不断扩大,基于校园网的应用越来越多,每个应用系统都有自己的用户认证系统．给校园网的统一管理和用户使用造成不便。本文分析了校园网单点登录和用户统一管理的需求．研究了Kerberos认证协议的不足．并提出了改进方法。采用LDAP协议数据库和改进的Kerberos认证协议,设计了一个安全、可靠、高效的校园网单点登录系统,进行用户的统一授权管理。     

密钥交换协议的安全性分析

通过对两种攻击的分析，指出缺少认证性的密钥交换协议是不安全的．从认证性入手，在以下两个方面探讨了密钥交换协议的安全性：一方面讨论该协议应采用的消息元素和密码体制，为规范此类协议的设计指出了一个可行方向；另一方面通过两个密码学游戏给出了安全密钥交换协议的定义，该定义量化了协议的认证性，与以往的定义相比，可更准确和直观地分析这种协议的安全性．     

WLAN与3G融合网络中认证体系研究

认证体系是3G与WLAN融合网络健康发展的关键技术之一.现在研究分析EAP/SIM认证协议基础上,对EAP/SIM认证协议进行了改进,增加了共享密钥加双向认证过程.改进后的EAP/SIM认证协议在安全性上更加可靠.     

基于Hash函数的轻量级RFID双向认证协议

通过对轻量级RFID系统中基于Hash函数认证协议安全性及计算成本等因素进行研究,分析了目前该类协议存在的安全缺陷和计算成本。通过对协议的改进,提出了一种轻量级RFID双向认证协议,在满足同等安全性能的条件下,减轻了标签的计算成本,提高了标签的计算性能,并通过BAN逻辑形式化证明了协议的安全认证过程。通过51单片机与天线模块仿制电子标签进行实验,从安全性、隐私性、协议性能等因素与其他基于Hash函数的协议比较。实验表明,本协议认证过程时间更短,并当数据库标签数量越多,改进协议的计算成本优越性较其他协议越突出,具有一定的实用价值。     

基于身份的密钥协商协议对Kerberos的改进

详细论述了Kerberos协议的认证过程及主要缺陷,介绍了基于身份的公钥密码学理论,提出了基于身份的可认证密钥协商协议,在此基础上对Kerberos协议进行改进,使其具有更高的安全性.通过详细的安全性能分析,该方案使系统更安全,更加容易管理和维护.     

Muller法的一种改进方法

提出了Muller法的一种改进方法,不仅摒弃了Muller法中的符号选择,简化了算法,而且在求实根时不再需要使用复数运算,同时具有与Muller法相同的1.839阶的收敛速度.     

Euler方法中的不分裂输运算法

为解决用Euler方法求解多种介质的流体力学问题时,物质的输运中维数分裂算法容易出现重复或遗漏的问题,以Youngs界面重构技术为基础,输运步中采用维数不分裂算法,除了考虑相邻4个网格的输运外,同时还考虑斜对角网格的输运计算,有效地解决了消除重复或遗漏输运的问题. 论证了不分裂算法的合理性,给出了向相邻8个网格输运的所有可能分配量的表达式. 数值模拟结果表明,不分裂输运算法的精度有所提高.     

无约束最优化计算方法中的Newton法与BFGS法的组合方法

本文提出了适合于求解目标函数的Hesse矩阵不正定或病态等实际问题的Newton法与BFGS法的组合方法，并证明了该方法具有二次收敛性和全局收敛性。     

龙格—库塔方法与差分法的比较

利用Taylor级数展开而构造出的龙格—库塔方法是具有高精度的一种算法.将二阶龙格—库塔方法与差分方法的多种计算格式在求解扩散方程中进行了对比.结果表明,当网格比固定时,龙格—库塔方法在计算精度和计算速度上具有明显优势.     

基于LZW算法的改进算法

在分析LZW算法的基础上对LZW算法的缺陷进行了探讨,并对LZW算法进行了改进,大幅度减少了编码的长度,降低了匹配长度取值变化的影响,完全兼容LZW算法,在平均压缩率方面有较大的提高,而且对改进的算法进行了分析论证.     

TPN与B方法集成的形式化技术

单一的形式化方法和技术在描述系统时总是有一定的不足，通过集成TPN与B方法可以相互取长补短。本文讨论了TPN-B技术如何将TPN与B方法的抽象机之间构建起映射关系，介绍了如何用TPN-B对系统进行一个初始的构造，并通过对滑动窗口协议进行描述来体现。     

Haebara等值方法及其加权准则

项目反应理论（IRT）框架下的等值,目前比较流行的有Stocking-Lord方法和Haebara方法,即使对于相同的项目参数和能力参数,这两种等值方法计算出的等值系数也是不相同的.受Pearson卡方检验的启发,文中导出一种新的求取等值系数方法,即：加权等值方法（Weighted criterion,Wcrit）,它实际上是Haebara准则的加权式.Monte-Carlo模拟结果表明：Stocking-Lord方法和Haebara方法的表现各有千秋,而通常情况下,加权等值方法比Haebara方法表现更优.     

关于单纯形方法的再探讨

本文主要是针对线性规划问题的求解方法—单纯形法存在的一些问题,提出了一种改进算法,它与单纯形法的主要区别是主元的选取不同。并将它与单纯形方法的优缺点作一对照分析,并附有实例。实践证明,用该方法求解线性规划问题是一种有效方法。     

桩基有限元法、静力法和经验法对比研究

以某工程实际的层状地基为例,用静力法、经验法和桩基有限元法分别研究了在不同桩长、桩径和桩径比情况下单桩极限承载力的变化关系。结果表明,当桩长L<60m时,三种方法的计算值偏差较大;当桩长L>60m时,三者的计算值偏差较小,可用静力法和经验法代替繁琐的有限元法来计算桩的极限荷载,同时也能保证桩基的经济合理性。     

利用Newton法改进Halley迭代

利用Ｎｅｗｔｏｎ迭代法对Ｈａｌｌｅｙ迭代法进行了某种修正。修正后的迭代法具有更高的敛速和效率，而且也不增加程序设计的困难。