通信协议形式化模型的研究

被引：4

作者：

李腊元

机构：

[1] 武汉交通科技大学计算机科学与工程系!武汉

来源：

计算机学报 | 1998年 / 05期

关键词：

通信协议; 形式化模型; 谓词逻辑; 语义;

D O I：

暂无

中图分类号：

TP393 [计算机网络];

学科分类号：

081201 ; 1201 ;

摘要：

本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型；后者主要包括交互点和分层子模型．文中讨论了这类形式模型的有效性和适用性，运用该类模型对通信协议的主要概念及性质进行了形式定义和描述．重点给出了基于该类模型的协议安全性及活性的形式定义，研讨了安全性及活性的验证，以及某些典型形式描述技术FDT（Estelle，LOTOS，SDL）之间的语义联系，从而为通信协议的研究提供了一种有效的形式基础．

引用

页码：419 / 427

页数：9