论文研究基于AKA的Parlay改进认证机制 .pdf

在总结污点分析研究现状基础上，给出了基于依赖的静态污点分析的形式化描述。提出并形式化定义跨方法的域变量和方法参数变量依赖关系以及依赖关系传播的操作语义，改进分析的精度。引入迭代求精方法对分析结果进行多

DES算法自出现以来便面对许多威胁，根据DES算法易受穷举攻击法、选择明文攻击法等方法攻击的缺陷，提出了一种新的基于前缀码的改进方案。通过改变子密钥的顺序来提高抵抗某些攻击的能力，在基本不影响DES算

针对移动IPv6（MIPv6）层次化切换中各节点之间的身份认证问题，提出一种新的基于MIPv6快速层次化切换的认证机制。利用改进的IBS签名方案和层次化的网络结构，从域间切换和域内切换两个角度分别论述

提出了一种基于部分已知室内环境的移动机器人路径规划方法。针对D*算法搜索空间较大的问题，引入抽象分层思想，将室内环境结构化为层次图并设置关键节点，将关键节点作为局部目标节点，分段进行路径搜索；为提高在

无线安全认证协议IEEE802.1x的改进，王跃峰，李腊元，本文主要介绍了IEEE802.1x的体系结构和认证流程，分析了它的缺陷，从数据完整性保护角度出发，在EAPOL包中增加了一个Protecti

异系统EAP-AKA协议重认证的分析和改进，仲伟伟，辛阳，用户设备在不同网络间切换时，需要通过EAP-AKA完成一次新的认证并生成相应的安全上下文，这严重影响了用户的切换速率。针对重认证��

论文研究-Park等远程用户认证协议的分析与改进.pdf,  2009年Park等提出了一个高效远程用户认证协议,并宣称这是第一个能抵抗离线口令猜测攻击 的基于智能卡的口令认证方案,具有不需要存储口令

对三个标准模型下可证明安全的身份基认证密钥协商协议进行了安全属性缺陷分析，在原方案基础上提出了一个安全增强的新方案。新方案满足目前已知的绝大多数安全属性要求，包括已知会话密钥安全性、抗密钥泄露伪装、抗

切换认证协议是确保移动节点在无线网络中多个接入点之间进行快速安全切换的关键，在设计切换认证协议时，必须充分考虑移动节点计算、存储能力低以及电池容量小等特点。针对无线局域网的切换认证协议HashHand

暴露在不安全公共网络中的医疗记录容易遭受到安全威胁和攻击,为了保护远程医疗信息系统中敏感的医疗数据,迫切需要一种安全高效的相互认证与密钥协商方案。针对Zhang等人的方案进行分析,发现此方案容易遭受内