| 通信协议形式化模型的研究 |
| |
| 引用本文： | 李腊元. 通信协议形式化模型的研究[J]. 计算机学报, 1998, 21(5): 419-427 |
| |
| 作者姓名： | 李腊元 |
| |
| 作者单位： | 武汉交通科技大学计算机科学与工程系,武汉,430063 |
| |
| 基金项目： | 国家自然科学基金，湖北省自然科学基金 |
| |
| 摘 要： | 本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型；后者主要包括交互点和分层子模型．文中讨论了这类形式模型的有效性和适用性，运用该类模型对通信协议的主要概念及性质进行了形式定义和描述．重点给出了基于该类模型的协议安全性及活性的形式定义，研讨了安全性及活性的验证，以及某些典型形式描述技术FDT（Estelle，LOTOS，SDL）之间的语义联系，从而为通信协议的研究提供了一种有效的形式基础．
|
| 关 键 词： | 通信协议 形式化模型 谓词逻辑 计算机网络 |
| 修稿时间： | 1997-05-28 |
RESEARCH ON FORMAL MODELS OF COMMUNICATION PROTOCOLS |
| |
| LI La-Yuan. RESEARCH ON FORMAL MODELS OF COMMUNICATION PROTOCOLS[J]. Chinese Journal of Computers, 1998, 21(5): 419-427 |
| |
| Authors: | LI La-Yuan |
| |
| Abstract: | |
| |
| Keywords: | Communication protocols formal model predicate logic semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
