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

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

转折与突变--论先锋小说的叙事变革

比之于传统文学，先锋小说笔下的叙事已不单纯是形式，它被赋予更多的独立性和自主性，本身便是意义，便是内容。     

北京市低保工作初步实现信息化网络化

2003年7月16日，北京市电子政务重点工程——北京市城乡居民最低生活保障管理服务系统（一期工程）在全市正式开通。开通仪式由北京市民政局局长赵义主持，民政局副局长吴文彦介绍了低保系统开发建设情况，民政部副部长姜力到场并讲话，北京市副市长刘志化宣布系统开通。     

FIDIC 2005北京年会中方筹备组成立暨第一次全体会议在北京召开

2005年2月1日上午，FIDIC 2005北京年会中方筹备组成立暨第一次全体会议在北京召开。出席会议的有中国工程咨询协会会长佘健明，北京市发展和改革委员会副主任刘志，中国工程咨询协会副会长，北京市工程咨询公司总经理刘义，投资北京国际有限公司董事长屠行健，国务院南水北调办公室，外交部国际司，国家发改委有关部门，上海市发改委，上海市投资咨询公司，     

关于陶瓷墙地砖的深加工及其机械

本文简要回顾了陶瓷墙地砖深加工的工艺理论和机械设备。对陶瓷墙地砖深加工的自动抛光生产线和组成生产线的工艺单机作了一般介绍。指出设计陶瓷墙地砖深加工工艺单机时要注意的主要问题,并提供了解决这些问题的方法。     

构建高可用的网络制播系统

安全是广播电视行业的永恒主题,进入数字和网络时代,安全播出问题更加突出。怎样构建一个安全的、高可用的系统．变得日益重要。各个电视台的网络制播系统都曾出现过各种各样的问题,有的甚至导致严重的后果。为了从根本上改进这种状况,有必要探讨解决这种状况的方法和措施,使网络制播技术的发展能够更加健康有序。笔者将从网络     

数学专业方向设置的问题初探——基于广东工业大学数学专业优化与调整的七年实践

通过在广东工业大学数学专业7年的专业调整实践，探索了广东工业大学应用数学学院以信息科学、统计科学为数学专业方向的社会时代背景，说明了各个专业方向培养的侧重点和就业前景，阐明了传统学科专业与新增专业方向的联系与区别。     

高校电子商务教学中的问题与对策

文章根据作者的实践,从教材、学生、教师三个方面分析了目前高校在电子商务教学中存在的问题,并提出了自己相应的解决办法.