基于不同形式化模型的网络通信协议验证技术的分析与比较

摘要：

协议是数据通信、计算机网络等分布式系统的灵魂.协议设计、开发的复杂性的增加导致了协议工程技术的出现,该文主要介绍了协议工程活动中的协议验证与分析阶段.阐述了验证技术的目的与方法,分析了当今常用的协议模型技术,重点介绍了基于FMS、Petri网、以及时序逻辑TL模型的协议验证技术.

关键词：计算机网络、协议、协议工程、协议验证、Petri网

所属期刊栏目：36

分类号：TN915.04

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：428-431