协议工程行为模型的研究

近年,随着计算机网络和分布式系统的不断发展,各类新型通信技术和分布式应用已开始出现,其中主要包括高速光纤网、多介质通信、宽带综合业务数字网(B-ISDN)、智能网,以及综合语音、数据和图象服务等。它们已对计算机通信协议的设计和实现带来了很大影响。为了适应这种形势的发展,一门新兴的高科技学科—协议工程已应运而生。协议工程本质上是计算机硬件工程和软件工程的理论方法在通信协议设计和实现中的具体应用,但由于协议具有实时、互操作和同步性等特点,因而其复杂度又要比一般传统软件大得多。协议工程的主要研究目标是使协议软件的生产怎样更好地实现规范化、工程化和自动化。它所包含的基本内容     

通信协议的开发过程——协议工程

协议工程是80年代才发展起来的一门新兴学科,它是计算机通信及网络研究的一个新的重要的领域,有许多值得研究的理论与技术问题。本文试图对协议工程系统的基本概念、组成及其特性作一简要论述,并对协议的开发过程,即:协议的设计、描述、验证、实现以及测试等作了进一步的介绍和探讨。     

模糊控制在网络安全协议中的应用

深入地研究分析了SSL协议的原理和存在的问题，给出了相应改进方案，并用模糊控制算法将这些改进方案应用于SSL协议中，模拟试验表明，改进的SSL协议具有明显的优点。     

SNMP协议在网络流量分析中的应用

自90年代初，BellCore的研究人员LelandW等人发现了网络流量存在自相似性。大量研究人员对网络流量不断做出新的解释。本文提出了采用SNMP协议来采样网络流量。并对收集到的数据进行了初步分析。通过对收集到的数据进行了分析论证了新方法和可行性，同时提出了将网络流量特征考察与整修网络拓扑结构相结合的观点。     

分布式系统中的投票协议

在分布式系统中,利用复制数据来改善分布式系统的可访问性和性能。在访问这些数据时,大部分算法要求与系统的所有节点通信。这样就保证了数据访问的一致性,但同时也导致了高昂的通信耗费。提出了一个可以显著减少系统通信耗费的投票协议,它将节点分配在一些相交的组中,在没有失败的情况下,节点需与本小组内的其它节点通信,以收集到额定票数。     

利用CCS的协议描述与验证技术的研究

本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ在协议描述、协议验证等方面有巨大应用潜力。     

Z39.50协议的原理及其在分布式检索中的应用

主要围绕如何实现分布式环境中的异种数据源的检索，介绍了Z39．50协议的基本工作原理，以及其在分布式环境中的简单应用。