论文部分内容阅读
EAP—AKA是应用于3G网络的身份认证和密钥分配协议。本文在详细分析EAP-AKA协议认证过程的基础上，使用改进的认证测试方法对其安全性进行验证分析。验证结果说明，EAP-AKA协议能够满足对等端和EAP服务器间的双向身份认证。
EAP—AKA无线认证协议的形式化验证方法
【摘 要】
：
EAP—AKA是应用于3G网络的身份认证和密钥分配协议。本文在详细分析EAP-AKA协议认证过程的基础上，使用改进的认证测试方法对其安全性进行验证分析。验证结果说明，EAP-AKA协议能
【机 构】
：
湖南大学计算机与通信学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2009年4期
其他文献
单电子晶体管以其超小的器件尺寸和极低的功耗，被认为是最有希望代替MOS器件的技术。国内外研究人员已经提出了多种基于单电子晶体管的逻辑结构。本文在分析单电子晶体管体电
由于受现行土地管理法的约束，我国农村集体土地在城市化进程中不能享有与国有土地同等的权利，不仅所有权得不到尊重、使用权受到严格限制，而且土地的主人农村集体和农民个人的土
健全的税制既包括每一个税种税制要素的合理设计，也包括税制中主体税种和辅助税种的合理搭配。以不动产税为主体的财产税不同于流转税和所得税，不动产税经历的两大环节——保有
随着遥感技术的快速发展,多源遥感图像的快速融合成为很多遥感任务的关键处理步骤。为了加速遥感图像的融合处理过程,本文首先提出了一种新的基于双树复小波变换的并行融合算法(PACWT)。算法中综合运用了数据分布、并行数据处理和负载均衡技术,以克服单机处理在计算能力和存储器空间上的限制;针对基于CWT的图像融合处理的计算特点,设计了一种可有效避免计算过程中数据通信的冗余划分方法。然后,从理论上分析了算法在
在封闭经济和开放经济中，垄断产生的原因、垄断主体、垄断产生的经济影响、垄断程度的判别、垄断对经济体内部市场竞争的影响、对国际市场竞争的影响、经济体内部的垄断结构等
政府的主要职能应是提供公共物品，但公共物品却并非只能由政府来提供。政府直接供给公共物品面临诸多困境，如政府的经济人特征、有限理性、信息不对称以及如何由个人效用函数得
2009年12月19日，由湖北经济学院承办的湖北省世界经济学会、湖北省美国经济学会2009年会员代表大会暨学术研讨会在湖北经济学院国际学术交流中心成功举行。来自国家发改委对外
非协调信息系统的知识挖掘是传统数据挖掘方法实践的难点和最重要的研究方向之一。本文在经典粗糙集理论的基础上进行粒计算结构的设计与相应的计算模型研究，提出了基于上述理
在移动对象数据库中，移动对象的数量可能会经常变化，这就给索引技术提出了新的挑战。移动对象索引技术的效率是移动对象数据库的一个重要研究课题。为了防止数据库由于移动对象