简单对象访问协议(SOAP)与防火墙

提出了防火墙在Internet应用中阻断合法RPC的问题，简述了SOAP协议及其工作方式，给出了SOAP如何与HTTP结合来实现与防火墙共同工作的方法，文章给出了具体实例和说明。     

供应链管理系统的Web实现技术及应用

分析了传统供应链管理系统的实现技术上存在的缺陷，介绍最新的供应链管理系统的Web实现技术即XML技术及SOAP协议，在此基础上给出一种运用XML及SOAP实现供应链管理系统的解决方案，最后介绍了一个实际运用的系统。     

我校与安康学院签订支持办学协议

4月20日，陕西省安康学院王兴林院长一行来我校访问．常务副校长王乘，学校办公室、教务处、人事处等有关部门负责人出席了座谈会．     

无可信中心的(t,k)门限RSA数字签名体制

提出了一种新的不需要可信中心的门限数字签名方案.在k个成员组成的群组中,只有t个或t个以上成员才能够代表群组签名,而少于t个成员则不能代表群组签名.方案基于Boneh等学者的分布式RSA密钥产生协议和Shamir秘密共享方案而构建.签名过程分为四个阶段:系统初始化、生成个体签名、生成群签名以及签名验证.在系统的初始化阶段不需要可信中心的参与,并且个体签名的生成、群签名的生成和验证都可以方便地实现.通过对方案的安全性分析显示,个体签名和群签名都是不可伪造的,并且在整个签名过程中都没有系统秘密信息的泄漏.     

网络时间协议的基本原理及其在校园网络的应用

论述了网络时间协议(NTP)的基本原理、算法及其工作方式，结合校团网络中不同的设备实施网络时间统一。     

使用MPLS解决网络最大流问题的方法

为解决大多数的流量工程问题和网络传输中的最大流问题，该文提出了基于多协议标签交换（MPLS）解决方案，阐述了解决最大流问题的数学方法，提出一种独特的将数据流划分成“微分支”的思想和方法，并介绍微分支的建立过程；给出仿真结果。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

分布式系统中异型微机间的通讯

主要介绍了一个由异型微机组成的分布式监控系统中的通讯问题。对系统中通讯的硬件设计、软件设计及系统的分析、异型微机之间的通讯规程等诸方面进行了论述，重点在通讯，该系统已投入现场运行４年之久，实践证明该系统的通讯是可靠、稳定的。     

无线传感器网络数据传输协议的研究

通过对无线传感器网络典型应用结构及现有协议的分析，本文给出了一种较为简单的适用于小型无线传感器网络的通信协议，对通信数据格式及数据传输流程进行了较为详细的定义。为进一步验证协议性能，设计了一个小型的无线传感器网络实验系统，并在此系统上完成了对所堡过通信协蠼的验证，实验结果表明了本文所给出协议的有效性。     

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.