两段提交协议的Petri网模型

为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.     

基于高层软件协议栈的蓝牙实现

文章主要介绍了蓝牙开发应用的高层软件协议栈Bluestack，详细说明了基于Bluestack的应用程序的实现机制，并给出了一个利用Bluestack协议栈实现的基于RFCOMM的点对点数据通信的实例.     

基于多协议标记交换技术的虚拟专用网安全性分析

介绍了一种新的实现虚拟专用网(VPN)的交换技术——多协议标签交换技术(MPLS)，通过对比分析传统的网络技术在实现VPN上的不足和MPLS技术在安全方面提出的对策，指出了MPLS在保证服务质量和流量控制的同时，能够提供网络的安全保证，能够适应当今网络的发展和需要．     

OSPF路由选择协议研究

OSPF是新型的路由选择协议,被广泛应用于大型网络之中.从阐述OSPF的结构模型入手,分析了OSPF在一个区中的工作机制,以及各区之间路由信息的交换.     

IEEE 802.1x 认证技术的原理和应用

介绍了IEEE802．1x协议的起源、体系结构、技术特点等，指出了需要认证的端口有受控和非受控两种状态，没有通过认证前，只有EAP报文可以通过端口到达认证服务器，认证通过后，其他数据报文才可以通过。     

金融网络协议的网络管理功能

在简述ＦＮＰ（金融网络协议）的基础上，结合某地国际金融网络跨行ＡＴＭ（自动柜员机）系统的网络结构，探讨了金融网络系统ＦＮＰ的网络管理功能、网络管理信元及其特点     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

DHCP中继代理在多子网网络中的应用

利用Windows 2000 Senrer提供的DHCP中继代理服务，可以为隶属于不同子网的计算机自动分配IP地址，从而简化了网络的设置与管理。该文在介绍DHCP工作原理的基础上，结合实际经验，对DHCP服务在多子网网络中的应用进行了深入的讨论。并在结果分析中讨论了DHCP服务器是如何确定并准确地将作用域中的地址分配给DHCP工作站中指定计算机的过程。     

无线Ad hoc网络DSR路由协议的性能分析

无线网络通常可以分为有中心网络和无中心网络.前者需要固定基础设施的支持,移动主机之间的通信通常借助基站来完成,例如蜂窝移动通信系统;后者主要是指移动Ad hoc网络,它不需要固定的基础设施,能够快速地自动组网.无线Ad hoc网络是由一组自主的无线节点或终端相互合作而形成的