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

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.     

国内3G网络共享问题之研究

随着国内3G时代的来临，3G网络共享问题越来越受到人们的关注。本文结合国内移动通信的现状，着重分析了3G网络共享的模式及经济效益，论述了3G网络共享的相应策略。     

聚合物绝缘材料电痕性能的研究

一、前言作为户外电器产品使用的绝缘村料与一般户内绝缘材料的差别,主要是应具有良好的耐候性及耐电痕性。户外材料在使用环境中往往受到盐雾、水份、灰尘,化学污染物等等的作用,如果在户外使用聚合物绝缘材料就会出现无机绝缘材料所没有的特殊现象——电痕化破坏现象。当聚合物绝缘材料的表面受到潮气和离子污染物沾染时,其表面流过的泄漏电流显著地比干净的表面大得多。该泄漏电流能使     

音响发烧友俚语（四）

音响发烧友俚语（四）朱燊权透明──用于对音质评价。声音听感清晰，乐队层次清楚、语言可懂度高，给人以清彻见底之听觉感受谓之“透明”。反之称为“浑浊”。圆润──用于对音质评价。声音柔和、松弛不紧，高音不刺耳，而听感则悦耳、舒服，谓之“圆润”。重放声音圆润...     

离合器支承铆钉全自动分选系统

本文介绍的分选系统，是一种全自动、高精度、高效率的自动检测设备，除用于离合器支承铆钉外，还可用于其他多种阶梯状锥形零件。文中论述了送料、定位、测量的原理和机构，并就微机化测量控制系统的硬件、软件的组成，及其具有的功能等作了较详细的说明。     

随感与偶得（三）

南北方建筑（设计）比较这个题目也许太大。本人1992年来到广东工作。刚来时有些新鲜认识，随手记下点滴，现在看来，未必正确；而这些年，南方的一些东西和手法又不断传到北方，除了气候使然外，差异也在缩小。当然，不管地域条件，照搬照抄缩小差异的做法也是不正确的，仅以住宅为例作简单比较：·密度、间距·南方一般密度较高，间距较小，原因可能是：1．对阳光的需求不像北方重要，甚至有人认为可有可无，而在纬度较高的鸡西市，条形住宅一般都为东西朝向（可能为避免北向房间常年不见阳光），以获得更多阳光；2．地皮昂贵；3．缺少合…     

起重机起升机构随机疲劳载荷的仿真分析

本文研究起重机传动零件内力随机过程及其统计规律，在机构弹性动力学模型基础上，充分考虑各种随机因素的影响，应用计算机随机仿真方法研究了传动零件扭矩的随机性质，并进一步探讨了扭矩随机性质与起重机基本参数的关系。     

引进国外二手设备的价值

由于近期企业资金紧缺，引进国外二手设备已引起越来越多的人关注。本文从价格优势、装备技术水平、安装调试以及技术人才的培养等方面加以论述，既肯定引进二手设备的价值，也指出了引进企业所承担的风险。     

离子束辅助沉积技术及其进展

本文介绍了离子束辅助沉积技术的基本原理，主要工作特点，设备及主要影响因素，综 利用该技术在制备各种新膜层方面研究的新进展，并指出该技术的不足及未来发展方向。