对一种基于动态密码体制的Kerberos协议的改进

分析了利用动态密码体制提出的一种改进的Kerberos协议的安全性,针对该协议存在的安全缺陷提出了改进方案.通过对比分析,可以看到改进的Kerberos协议保密强度更高,密钥的管理使用更加合理,验证过程更安全可靠.     

基于GPRS网络的可靠数据传输的研究及其应用

介绍了通过GPRS无线网络在51单片机上实现TCP/IP协议进行点对点可靠的大数据量传输的方法。在设计中使用P89C51RD芯片和WAVECOMQ2403AGPRS模块,外扩32KB的RAM用于对TCP/IP数据包的缓存和1Mb的Flash用于对大数据的存储。     

形式语义描述方法研究进展与评价

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。     

《北京科技大学学报》第五届编委会

2005年9月，《北京科技大学学报（英文版）》和《稀有金属（英文版）》与爱思唯尔公司（Elsevier）签订合作协议，成为爱思唯尔公司中国科技期刊合作计划（CJCP）的首批合作期刊（首批签约20种）。     

高校网络控制IP防盗策略研究

计算机网络的飞速发展和广泛应用已经使得IP地址资源相对匮乏，IP地址被盗用也已成为影响网络运行的重要问题．文章针对高校网络中存在的安全问题，给出了IP地址盗用的常用模式和防范策略；针对不同的盗用方式分别给出了IP防盗的方法，彻底解决了IP地址盗用的问题，减轻了网管工作人员的工作负担，提高网络管理的科学性和安全性．     

河南省科学院与洛阳市政府签订科技合作协议

4月15日上午，洛阳市政府与我院正式签订科技合作协议，这标志着双方将建立全面、长期的科技合作关系。中共河南省委常委、洛阳市市委书记孙善武，我院院长、党委书记赵亚平以及洛阳市领导连维良、李兴太、刘典立、王立林、杨萍和我院院领导薛岐庚、张占仓、姜俊、付伟等同志参加了协议签订仪式。     

TCP／IP协议和LonTalk协议的路由转换法研究

将Lonworks中生成的数据在Internet环境中共享有极高的实际应用价值。因此,其间的协议转换成为异构网络互联的关键。本文对Lontalk协议和TCP／IP协议的转换进行研究,在分析Lontalk和TCP／IP协议各自结构特点上,讨论了TCP／IP协议和LonTalk协议的路由转换法。     

HTTP/1.1的分析

HTTP是互联网中使用得最为广泛的传输协议之一 ,最新版HTTP/ 1 1是对HTTP/ 1 0的改进 ,提高了浏览速度 ,增强了安全性等 .基于此 ,笔者对HTTP/ 1 1的信息进行了详细分析 ,并简单介绍了MIME编码     

入侵检测中的报文交换

阐述了入侵检测中报文交换的产生背景与功能要求，探讨并分析了此领域中的相关技术与进展，包括通用入侵检测框架中的通用事件描述语言，以及IETF入侵检测工作组在这方面的工作：入侵检测报文交换格式(IDMEF)、入侵警报协议、入侵检测交换协议(IDXP)．最后就报文交换方面的未来趋势作出预测．     

基于DSP技术的H.263视频编码协议算法

对H．263编码原理进行了简单介绍，对运动估值中几种主要搜索算法的性能进行了分析比较，完成了H．263的运动图象的编码模拟，最后对其中的搜索算法——十字交叉搜索算法在TMS320 C6211 DSK板上进行了仿真。