3G认证和密钥分配协议的形式化分析及改进

来源 :电子工程师 | 被引量 : 0次 | 上传用户:wenhua5623
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于'询问-应答'式的认证过程,后者采用基于'知识证明'式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于'知识证明'式的认证过程仍然存在安全漏洞.3GPP采取基于
其他文献
<正>1大课间活动的由来常州市觅渡桥小学作为省教科所的实验基地,一直以来致力于"改善学生的学习方式,拓展学习空间,转变教学行为"的教学课题研究,贯彻《加强青少年体育增强
目的分析人脐带间充质干细胞(hUC-MSCs)对Luminal B型乳腺癌细胞生长增殖的影响,并初步探讨其可能的分子机理。方法绿色荧光蛋白(GFP)和荧光素酶共表达慢病毒感染人Luminal B
在社会经济快速发展过程中,我国的电力系统运行方面的发展也取得了显著的成绩,但随着社会经济的发展,电力系统变电运行方面的问题也层出不穷,对我国的工业发展也产生了很大的影响
萧萐父先生早期启蒙说的核心问题是:"中国是否曾有过自己的哲学启蒙或文艺复兴?"这一问题逻辑地蕴涵了四个层次的追问:第一,什么是"哲学启蒙或文艺复兴"?第二,中国有没有"自
介绍了近几年生物降解材料—聚乳酸的改性研究进展,及其在工农业、生物医学领域、纺织领域、包装领域和日常用品中的应用。
超高压输电建设在我国实现坚强电网的宏伟目标中,有着举足轻重的地位.我国输电建设与管理中存在方方面面的问题,本文主要从工程建设的履职能力、属地协调、风险防控、过程管
20世纪初,正值中国革命战争时期,马克思主义由西方逐渐传入中国,对中国的学术界、思想界产生了重要的影响,当时许多学者为马克思主义的传播付出了辛勤的汗水。在学术思想领域
科技图书也要防止政治性差错中国科学技术大学出版社张善金科技图书中的政治性差错时有出现,应当引起科技出版工作者的高度重视。一、政治术语表述上的错误最近,笔者在参加有关
综述了焦炭在高炉冶炼过程的变化及焦炭质量研究进展。焦炭在高炉中主要发生碳溶反应、石墨化和溶解以及受到碱金属侵蚀、灰中矿物质还原、风口高速鼓风等作用而降解粉化。焦
高速数据采集是探地雷达系统的关键部分,利用PCI总线的高速传输特性,给出了一种设计方法.简要阐述了探地雷达中数据采集系统的硬件结构及其工作原理,重点分析了数据采集系统