This paper presents a new hybrid model called FCA for communication protocol formal description.
本文提出了适用于通信协议形式描述的一种新的混合模型，文中称之为FCA混合模型。
The foundation of a protocol normal running state model comprises the examination of a protocol formal description expression and the making of a correlation protocol state machine;
协议正常运行状态模型的建立包括协议形式化描述语法的检查和相关协议状态机的生成；
Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
A transport protocol and its formal description techniques for local networks are discussed.
本文研讨局部网络的传输协议及其形式描述技术。
Formal description and automatic implementation play an important part in main developing work of protocol engineering.
在通信协议工程的主要开发作业中，形式描述和自动实现扮演着重要的角色。
This paper gives the formal description of the two-party protocol, and discusses the security, authenticability and verifiability for two-praty protocols.
论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鉴别性和可验证性。
A written description of a change (s) to or formal clarification of a protocol.
对正式方案进行变更的书面描述。
A written description of a change (s) to or formal clarification of a protocol.
对正式方案进行变更的书面描述。
应用推荐