协议实现技术研究

论述了有限状态机、ＳＤＬ形式描述语言以及协议的一些具体实现技术,列举了一个协议实现的实例,并对协议的半自动实现技术做了较详细的描述。它们都是协议工程的一部分,可与协议设计技术、协议验证分析技术、协议测试技术一起构成完整的协议工程技术。     

基于EPr／TN网系统的异构网络集成研究

随着计算机网络技术的发展，异构网络的集成研究越显重要。本就是严格按照协议工程的观点，将EPr/TN网系统作为形式化描述工具，在对协议进行描述和分析和基础上，通过构造协议转换器实现了异构网络的集成。     

协议模型形式描述方法与趋势

本文分析了协议模型形式描述方法(自动机法,Petri-net法,高级语言模型,语义学模型,时态逻辑,代数模型,混合型模型)和特点,并简要介绍了协议形式描述技术的应用和发展趋势。     

基于面向对象方法的形式描述技术OOBFDT研究

采用基于面向对象的形式描述技术（OOBFDT）,提出了一种基于面向对象技术的协议测试例生成新方法。它采用C＋＋语言作为协议说明的描述工具,可以方便地对系统进行形式化描述,这种松散的描述方法可以避免传统的形式描述技术由于其依赖的数学模型的不易修改性所带来的不便。同时,该方法将具体的协议细节直接体现在协议的模型中,使协议模型更具体,从而更能有的放矢地生成有效的测试用例。而且,由于该方法基于面向对象技术,其一致性测试例集直接面向测试操作。     

基于面向对象方法的形式描述技术OOBFDT研究

采用基于面向对象的形式描述技术(OOBFDT),提出了一种基于面向对象技术的协议测试例生成新方法.它采用C 语言作为协议说明的描述工具,可以方便地对系统进行形式化描述,这种松散的描述方法可以避免传统的形式描述技术由于其依赖的数学模型的不易修改性所带来的不便.同时,该方法将具体的协议细节直接体现在协议的模型中,使协议模型更具体,从而更能有的放矢地生成有效的测试用例.而且,由于该方法基于面向对象技术,其一致性测试例集直接面向测试操作.     

第三代移动通信中BS端RLP子层与上下层接口的设计

摘要：近年来移动通信发展迅速，特别是码分多址技术以它在系统容量、业务质量、安全性和可靠性方面的优势倍受瞩目。本文着重描述了CDMA系统中BS端RLP协议功能及其 协议栈结构，通过分析RLP与其协议栈中上下层的关系及任务的划分，考虑并设计其接口的数据结构。     

电子仲裁协议的形式与效力研究

电子仲裁协议是网络技术成为仲裁协议签订程序中重要技术支撑或手段后而产生的仲裁协议形式。从电子商务发展而产生的仲裁协议形成形式入手,分析研究电子仲裁协议形式与其效力之间的关系,希望为我国电子仲裁立法完善提供帮助。     

PPP协议及其在IN，rERNET远程接入技术中的应用

摘要：HlP协议是当前广泛应用在IrIt—t中的链路层协议，其研究和开发具有十分重要的意 义。本文分析了PPP的协议结构、运行机制，并对其在远程接入技术中的应用进行了描述。     

一种描述协议的新模型；线索空间模型

线索空间模型是一种新的安全协议模型，它可利用线索空间图证明Needham-Schroeder协议的某些安全特性，在描述和分析此过程协议存在的漏洞同时并对协议进行了改进，线索空间模型同其他模型相比，最大优点就是简洁直观，是形式化技术的一个重要的研究方向。     

基于Internet/Intranet内部网关路由协议的应用分析

中描述了路由算法的设计目标和种类，介绍了链路状态法和距离向量法两大类路由选择协议，从路由算法的角度，对RIP、IGRP、EIGRP、IS—IS、OSPF等内部网关协议的运行机理和特点进行了深入分析和研究，对组建大、中型网络时进行IGP协议的选择，具有一定的工程指导价值。     

SOAP的原理及实现

简单对象访问协议（Simple Object Access Protocol-SOAP)是一个基于扩展标记语言的在分散或分布式环境中实现信息交换的简单协议。其主要目的是促进不同技术之间的可互用性，真正克服平台和防火墙的限制，使通信各方在互联网上实现畅通无阻的信息交流。介绍了SOAP产生的技术背景及扩展标记语言、网络服务和网络服务描述语言等相关技术，并通过具体实例说明SOAP消息和SOAP封装等协议规范。最后描述了SOAP协议在Windows环境下实现的体系结构及客户端和服务器端的实现过程。     

QoS组播路由研究:算法与协议

本文讨论了QoS组播路由算法、协议的一般问题，给出了一个群组模型，提出了QoS组播路由问题的一般描述；特别在组播算法与组播协议的概念上作了区分，提出了组播路由协议的算法特征和协议的形式特征两个既相联系又相区别的概念，并对算法和协议分别按不同标准进行了分类。指出了几个可能的研究方向。QoS组播最终在互联网上实现之前，仍然有很多问题需要解决。     

基于Petri网的协议分析技术及工具

研究基于Petri网的协议分析技术及工具并对要开发的协议分析器工具软件进行需求分析和人机交互界面设计，进而阐述该工具主要功能模块实现的思路和算法，并将其应用于对AB通讯协议的描述和性能测试分析，表明所开发的工具的有效性。     

基于SDL的PPP协议软件形式化开发

介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程.重点研究了如何利用SDL语言抽象出PPP协议的系统、块、进程和过程并对其进行形式化描述.     

第三代移动通信中BS端RIP子层与上下层接口的设计

近年来移动通信发展迅速,特别是码分多址（CDMA）技术以它在系统容量、业务质量、安全性和可靠性方面的优势倍受瞩目。本文着重描述了CDMA系统中BS端RLP协议功能及其协议栈结构,通过分析RLP与其协议栈中上下层的关系及任务的划分,考虑并设计其接口的数据结构。     

PPP协议及其在INTERNET远程接入技术中的应用

PPP协议是当前广泛应用在Internet中的链路层协议,其研究和开发具有十分重要的意义.本文分析了PPP的协议结构、运行机制,并对其在远程接入技术中的应用进行了描述.     

分布式多层结构PDM系统安全服务的实现

采用分布式多层结构的PDM系统（以下简称“PDM系统”）是PDM技术的主要发展方向，因此对于PDM系统的信息安全问题尤其值得研究。在ISO7489－2的基础上，将PDM系统的安全服务类别重新描述为鉴别、访问控制、数据安全、抗否认等4类后，对其结构上存在的安全隐患进行分析和研究，基于用户管理技术、加密算法和密码学协议，提出了一套完整和实用的安全服务方案。     

星环网的复合访问协议

局域网的介质访问技术得到了广泛的研究，本文描述了一种星环网的介质访问复合协议，在令牌环的基础上增加了实电路连接服务，使得星环网可以很好地适用于实时与交互式通信环境，文中运用有限状态机描述了该协议，最后与令牌环风的时延特性进行了计算机模拟比较。     

PROFIBUS总线技术在胎面挤出联动线中的应用

本文介绍了PROFIBUS现场总线技术在胎面挤出联动线中的应用，描述了生产线的工艺过程、系统配置和控制策略，详细地介绍了PROFIBUS现场总线技术的协议、传输技术和本系统中现场总线通讯的实现过程。     

GSM MAP协议处理分析

本文对ＧＳＭＭＡＰ的协议处理过程进行了分析,并基于有限状态机的基本理论和方法对ＭＡＰ协议处理机的形式描述进行了探讨,给出了其处理过程中的基本状态和状态转移的驱动过程。