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

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

《秋思幻想曲》:演录双绝的民乐示范音碟

近年来。不少类型的民乐CD相继问世。随着录音技术日新月异地发展改进，在这些民乐录音当中，有些品牌更已跻身于示范与测试音碟的行列。风行唱片公司的这款最新专辑《秋思幻想曲》。便以新颖的编配和高品质的演录，展示了民乐测试碟的新风采。     

罗素·沃森再现天籁之声

罗素·沃森其人 环球Decca旗下有 一位传奇歌手,名 叫罗素·沃森(Russell Watson)。2000年,当这位年仅27岁的帅小伙在Decca出版首张个人专辑“罗素·沃森的歌声”(Russell Watson theVioce)时,唱片公司所附的简历真使人难以置信:他竟然是业余歌手“出身”,曾在英国曼彻斯特一家工程公司供职,此前没有专     

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

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

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

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

超前控制顶煤技术在松软煤巷掘进的应用

根据松软煤体的地质特征、力学性质以及锚杆支护技术措施,提出超前支护对策,解决了顶煤易跨落问题。     

音响发烧友俚语（四）

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

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

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

随感与偶得（三）

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