个人通信系统中的一种移动用户登记认证协议

假冒和窃听攻击是无线通信面临的主要威胁,在个人通信系统中,为了对无线链路提供安全保护,必须对链路上所传送的数据／话音进行加密,而且在用户与服务网络之间必须进行相互认证,近年来,人们在不同的移动通信网络（如ＧＳＭ,ＩＳ－４１,ＣＤＰＤ,ＷｉｒｅｌｅｓｓＬＡＮ等）中提出许多安全协议,然而,为些协议个人通信环境中应用时存在不同的弱点,本文基于个人通信系统的双相钥保密与认证模型,设计了用户位置登记认证协议     

个人通信系统中的用户登记认证

个人通信系统(PCS)的智能网络层上每个结点的数据库采用全分布式结构。根据PCS的智能层数据库结构特点以及X.509目录认证架构,提出了一种移动用户登记认证方案。此方案克服了X.509所具有的“静态”特性,使其能够满足PCS用户移动性及终端移动性的要求。在进行用户登记认证的同时,用户与本地的访问网络之间还建立起一个秘密数据。基于这一秘密数据,用户与网络之间可以在呼叫建立阶段进行相互认证。这就避免了现有的移动通信系统(如GSM,IS-41等)呼叫建立阶段的认证受归属网位置登记数据库(HLR)控制的缺陷。因此,用于位置修订和查询的信令负荷大大减小;同时,有关骨干网络(如PSPDN或共路信令网)安全的假定也可以被取消。     

基于KryptoKninght的移动用户认证协议

本文基于ＫｒｙｐｔｏＫｎｉｇｈｔ，为个人通信系统设计了一轻量级认证与密且分配协议，该协议现有的协议相比，新协议具有很高的安全性和运行效率，特别适合用作ＰＣＳ移动环境中的低层网络协议。     

一种改进的认证逻辑

本文在BAN逻辑的基础上，提出了一种适用于公钥密码认证系统的逻辑，这是一种共享的方案，并举例说明了其应用．     

基于KryptoKnight的移动用户认证协议

本文基于KryptoDnight[6],为个人通信系统设计了一轻量级认证与密钥分配协议．该协议与现有的协议相比，新协议具有很高的安全性和运行效率，特别适合用作PCS移动环境中的低层网络协议     

个人通信中的鉴别协议

近年来许多标准机构和研究人员提出了不少协议以对抗通信中的安全威胁，但这些协议的强度在漫游环境下一般都很脆弱，致使用户的身份得不到很好地保护，用户的凭据也不能很好地得到认证机构的支援。     

移动用户认证中的匿名问题

本文分析了一种移动用户的认证协议,讨论了其存在的匿名问题并提出了一种具有匿名特征的移动用户认证协议。     

认证协议的形式分析——BAN逻辑

介绍了BAN逻辑,并用其对一个认证协议进行了分析,找到了该认证协议的一些弱点,说明了用BAN逻辑来对认证协议进行分析是有效的。最后,指出了BAN的发展方向。     

一种新的个人唯一通信业务系统

移动通信或个人通信的优点在于满足人们随时随地沟通的需求。但由于移动通信对移动终端的依赖大，长期使用手机对人们的隐私和安全带来一些社会问题。当我们用手机打电话时，音频信号经过手机转换为高频率的电信号，然后通过灭线以电磁波的形式发射出去，这时在手机附近就会产生较为强烈的电磁辐射。手机的工作频率大多为900多兆赫，双频为1800多兆赫，均属于微波波段。电场与磁场都是物质存在的一种形式。     

区域性中轨道卫星移动通信系统“时间决定”星座设计

区域性卫星移动通信系统对于发展中国家具有十分重要的意义,特别是对于中国这样幅员辽阔且在广大农村地区缺乏基本通信手段的国家.采用中轨星座是解决这一问题的有效途径.本文提出了一种用于区域性系统的中轨星座设计方法:"时间决定"星座设计.该星座可为特定地区提供性能优越的服务,它提供的服务可以是时限的,也可以是非时限的.利用这种设计方法可以为中国设计经济的卫星移动通信系统星座方案,同时这些星座方案也可为美国大陆提供优越的服务.     

Kerberos协议的形式化分析

认证协议是网络环境中一类重要的安全协议，对协议进行形式化分析是保障其安全性的主要手段。文章以BAN逻辑为工具．分析了网络中常用的Kerbems认证协议。结果表明。Kerbems协议达到了预期的认证目标。     

CDMA移动卫星通信系统容量的计算

本文在考虑了下行功率通量密度限制、遮蔽效应、多个系统和相邻波束同频复用、采用话音激活和极化隔离技术的前提下,分别计算和分析了不同下行功率通量密度限制方式、不同信道扩频带宽和不同移动用户接收系统品质因数(G/T)条件下CDMA移动卫星通信系统的容量,并与TDMA和FDMA的容量进行了比较,在最后给出了主要结论。     

公钥体制中BAN逻辑的扩展

通过实例说明了BAN逻辑在公钥体制认证协议中的局限性,分析了该局限性产生的原因,引入了“公开”的逻辑概念,提出了一种扩展BAN逻辑,并通过实例验证了扩展BAN逻辑的有效性．     

通讯调制体制辨别

通讯调制体制辨别是现代电子侦察中经常遇到的一个问题,本文针对现今通用的调制体制,提出了一种方法,这种方法只需利用截获的一段典型信号,就可以确定它的调制体制和主要参数.文中给出了这一方法的理论基础、具体算法和实验数据,理论和实验结果表明,这是一种行之有效的方法。     

自适应移动信道模型的研究和模拟

研究和模拟了建立一个自适应移动信道模型的全过程。根据所建模型的参数,用计算机软件实现方法产生出描述移动信道长突发错误特性的差错序列。并提出了一种门限电平法检验了所建模型的精确度。     

基于BAN逻辑的ad hoc移动网络路由协议的安全性分析

Ad hoe移动网络路由协议为加强其安全性，采用了密码技术，使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoe移动网络路由协议的特点，采用BAN逻辑对协议的安全性进行描述，提出了协议应满足的条件。并对协议的运行过程进行了形式化，给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证，说明方法的有效性。     

PERFORMANCE STUDY OF AN INTEGRATED SATELLITE/TERRESTRIAL MOBILE COMMUNICATION SYSTEM

Terrestrial cellular networks and mobile satellite systems are expected to converge towards a future integrated satellite/terrestrial mobile communication network. Besides a system globalization, the integration of terrestrial and satellite mobile systems will lead to the unloading of the fixed part of the mobile network. This paper proposes an integrated satellite/terrestrial mobile communication system and evaluates its performance in terms of the blocking probability for new call attempts, the call dropping probability and the probability of unsuccessful call. This communication system was simulated and its performence compared with that of a stand-alone terrestrial mobile system. In the terrestrial part of the system we have considered fixed channel allocation (FCA) and dynamic channel allocation (DCA) techniques. Satellite channels can have equal or lower priority compared to terrestrial channels. The improvement of the system performance by means of satellite-to-terrestrial handovers was also estimated.     

基于口令认证的RFID系统安全协议及其BAN逻辑分析

本文提出一种新的基于口令认证的RFID系统安全协议.该方法充分利用RFID低等级标签提供的有限资源:访问口令(PW)、标签的标识码(ID)和伪随机函数等建立RFID系统读写器和标签双向认证的安全协议,对该协议抵抗各种攻击的安全性进行理论分析并对该协议的认证功能进行BAN逻辑的形式化分析.结果表明该协议能够有效抵御在线和离线字典攻击、伪装攻击、重放攻击以及流量分析和跟踪攻击,因而解决了RFID系统的安全问题.