计算机网络通信协议验证技术的研究

作     者：李艳 彭熙 肖德宝 

作者机构：华中师范大学计算机网络与通信研究所武汉430079 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2002年第28卷第11期

页      码：251-252,272页

摘      要：协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段，阐述了验证技术的目的与方法，分析了当今常用的协议模型技术，重点介绍了基于Petri网、FMS、以及时序逻辑TL模型的协议验证技术。

主 题 词：计算机网络 通信协议 验证 Petri网 有限状态机 

学科分类：0810[工学-土木类] 08[工学] 081001[081001] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2002.11.097

馆 藏 号：203119778...