B—to—B电子商务网络模型的研究及实践

介绍了现代电子商务的主要方式：企业－企业，对企业及其经销商联系的网络模型进行了研究，提出了一种以Ｉｎｔｅｒｎｅｔ技术为基础的，结合传统的Ｃ／Ｓ模型的电子商务网络模型。     

基于SMV的安全协议建模及类型缺陷攻击发现

在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的.     

基于AAA的移动IP安全关联更新方案

介绍了AAA服务体系以及基于AAA的移动IP注册过程,提出了在这种情况下功能实体间的安全关联更新方案,从而避免了因为过长时间使用相同的密钥信息可能导致的攻击.     

用VC++实现基本图形系统

利用面向对象技术，在变量化设计思想的指导下，用VC^ 编写了一个易于扩充的基本形系统，实现了基本图形元素的生成，绘制，编制以及约束方程的建立和求解，支持操作寻活简单的变量化设计，交互操作方式使作图更直观，提供了应用系统开发时所需的基本图形支持，图形文件可与．DXF格式文件交换。     

基于Internet的智能超媒体教学系统

结合超媒体技术在教学系统中的应用和人工智能技术在WWW上的应用，构造出了基于Internet的智能超媒体系统的参考模型，在此基础上讨论了如何提供适合用户的个性化自主学习方案，以达到较好的教学效果；如何提高网络资源和知识资源的利用率，并给出了各个层次的主要技术．     

城域网中的弹性分组环新技术

指出了随着宽带城域网的建设，如何提供高质量的数据服务变得越来越重要．介绍了弹性分组环(RPR)技术的特征，将其与SDH／SONET、以太网技术作了对比，以体现其在环型拓扑结构上支持数据业务的优势．     

分布式应用技术中的CORBA、JavaRMI和DCOM

简述了目前3种流行的分布式应用技术CORBA，JavaRMI和DCOM的基本架构，从技术特点，管理的方便性，安全控制和适宜的应用环境等方面分析了3种技术的应用特点。