3G中安全增强的AKA协议设计与分析

来源 :计算机应用与软件 | 被引量 : 2次 | 上传用户:daihongjun2
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了3G安全保密系统框架,设计了安全增强的认证与密钥协商协议,并对其进行了基于SVO逻辑的安全性分析。结果表明,SE-AKA协议在永久身份保密、双向认证、不可否认性等方面的安全性都优于3GPP-AKA协议,使UMTS接入网络能够抵抗改向攻击和主动攻击。而且协议中消除了重同步机制,避免了序列号操作困难带来的危害。这些安全功能满足了3G环境下特殊部门高级别的安全需求。
其他文献
据有关资料报道,宝马的子公司罗孚集团最近推出了使人难以置信的小车型的后继车——罗孚迷你样车。该试验样车是由宝马公司的发展部和罗孚集团共同研制
谁都知道没有“天上掉馅饼”的事,可真遇到类似的便宜事却往往甘心尝试。而通过各种渠道买便宜车便是典型的事例,但其结果总是因小失大,贪小利失大益。
根据模糊综合评判法应用的广泛性及现状,提出开发通用的模糊综合评判工具。通过分析需求,建立了系统的功能结构,并通过实例展示了系统的功能。该工具基于Web,利用它,可以针对不同评价问题迅速开发相应的评判系统,且适合群决策,方便而易于使用。
针对塔里木油田钻具物资管理过程中存在的问题,提出了用EJB、Web Service以及无线网络技术对现有钻具物资管理系统进行改进。通过在交接过程中增加一个上架清查环节,解决了物资交接过程中出现的问题,提高了物资周转交接工作的效率,尤其是对钻具的发料工作产生了革命性的改变,提高了钻具物资的管理水平。
悉,在1998年1月底特律国际车展览会上,全新的大众"甲壳虫"将出台亮相。该车的主要特征是采用了低成本的"VVT"可变气门正时系统,其目的在于提高燃油经济性和减少废气排放量。
极限编程是敏捷软件开发方法的代表,在敏捷的同时能否保证最终软件产品的高质量成为我们所关心的问题。通过讨论质量管理的一般过程、对比极限编程相比其它软件过程的特点,从外部过程的控制和内部代码两个角度分析了极限编程控制软件产品质量的方法。分析结果表明,极限编程能够保证一定的软件质量。
随着我国汽车保有量的飞速增加,交通事故也随之频繁发生,汽车保险的作用与影响便日益显著。绝大多数车主都为自己的汽车办理了保险,但是不少朋友还没有索赔经验,交通事故发生
在无线传感器网络中,采用多路径传输方法作为保证可靠数据传输的主要手段。但是,如果对所有收集到的数据都采用多路径同时传输则会耗费大量节点能量。因此,需要使用路径选择策略,区分服务方案。提出基于区分服务方案的多路径数据传输算法CBMMA(Cluster Based Multi-hop Multi-Path Routing Algorithm)。一般情况,对数据传输的可靠性要求并不高。为节约资源,在簇间
故障现象用户反映,由于原来加速不畅,怀疑分火头烧坏,更换后,每次行驶到1500km左右就烧坏,现在用过的分火头已有10多个.为此,曾到过许多专业维修厂维修,故障依然存在.
车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例。该模型有助于提高铁路联锁软件测试系统的安全性与精确性。