通信协议的形式描述及自动实现技术

在通信协议工程的主要开发作业中，形式描述和自动实现扮演着重要的角色。本文主要研讨通信协议的形式描述及自动实现技术。文中论述了协议的典型形式描述技术，主要包括半形式描述技术；ＡＳＮ．１和ＴＴＣＮ．标准形式描述技术：Ｅｓｔｅｌｌｅ，ＬＯＴＯＳ和ＳＤＬ。     

一种适用于局网的传输协议及其形式描述

本文研讨局部网络的传输协议及其形式描述技术。文中论述了局部网络建立传输层的必要性和可能性。讨论了局部网络体系结构中的传输层、传输服务和传输协议的设计、给出了该传输协议的一种基于有限状态自动机的形式描述，并通过可达树对该协议的正确性进行了验证。     

一种基于RSL的协议形式化描述技术的研究

1 引言随着计算机网络和分布式系统的发展,特别是开放型异构的互联,协议本身的复杂性越来越高,为了使通信协议的开发过程能理论化和规范化地进行,协议工程学已应运而生。它主要包括协议的形式化描述、协议验证、协议实现和协议测试等阶段,其中形式化描述技术(FDT)贯穿于整个协议开发过程的始终,是协议工程学的基础。     

安全协议的形式化描述和分析

Security protocols use cryptography system to complete the tasks of principal identity authentication and seccion key distribution. The correctness of security protocols is of vital importance to ensure the security of the Inter-net application. Formal methods have been proved to be a valid approach to analyze and verify security protocols. This paper briefly introduces the three main styles in the field of security protocol analysis and their representative work.After that,it points out the future deveopment direction.     

协议形式描述风格的研究

本文研讨了适应于计算机网络义的形式描述风格，文中以一个实例，研究了几种典型形式描述技术（ＦＤＴ）的不同风格，这些形式描述技术包括Ｐｅｔｒｉ网，ＬＰＴＯＳ，关系表示和Ｚ。     

基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。     

RSL应用于协议形式化描述的研究

在RSL形式语言的基础上扩充了时间描述机制，使其能够描述协议的实时性；并且根据该语言的特点．提出了一种面向对象的FSM模型(OOFSM)，该模型将面向对象技术与FSM相结合．既可以有效地解决当构造复杂协议时FSM所面临的状态爆炸问题，又可以使所描述的协议具有可重用性、可组装性且易于维护；最后给出了一个实例说明OOFSM的建模过程．并用扩充的RSL进行了形式化描述。     

计算机网络协议的形式模型研究

本文讨论了计算机网络协议的一种抽象形式模型。文中利用该模型对该通信协议的某些重要概念及性质进行了定义和形式描述,研讨了某些典型形式描述技术：Ｐｅｔｒｉ网,ＬＯＴＯＳ和关系表示法之间的语义联系。     

WinXTP:面向对象快捷运输协议的设计与实现

高速传输服务和新型网络应用对传统协议在功能和性能两个方面提出了新的挑战;协议机制的改进、实现的优化、设计和标准化新的协议是最可行的解决方案．快捷运输协议是集大成的轻型运输层协议,具有协议机制和控制策略分离的特色,在学术研究、标准化和商业应用等领域都有较大的影响．本文提出的面向对象的ＸＴＰ设计模型及在Ｗｉｎｄｏｗｓ环境的实现体现了ＸＴＰ内在的功能灵活和性能高效,提供对象化接口并便于引入多线程实现     

OSI基本类虚终端VT的研究与实现

基本类虚终端是ＯＳＩ应用层中的一个应用服务元素ＡＳＥ。为使人们能利用计算机网络中的终端去广阔各种类型的机器。ＯＳＩ虚终端协议提供了在ＯＳＩ网络中的这种可能性。本文论述基本类虚拟终端ＶＴ的结构模型及设计与实现。     

适用于分布式虚拟环境的MULTICAST通信协议设计与分析

本文主要讨论了分布式虚拟环境（ＤＶＥ）的通信特点及其对网络通信协议的要求,提出了一个基于Ｍｕｌｔｉｃａｓｔ分组（ＭＧ）的通信思想,据此设计实现了一个适用于ＤＶＥ系统的通信协议（基于发送方的分组Ｍｕｌｔｉｃａｓｔ通信协议－－ＳＩＧＭＰ）。最后论文对Ｍｕｌｔｉｃａｓｔ通信和ＳＩＧＭＰ协议进行了详细地性能分析和讨论,推导出了对Ｍｕｌｔｉｃａｓｔ通信进行性能分析的一般方法。编程实现的ＳＩＧＭＰ协议可在Ｉｎ