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

• 作者: 李艳 肖德宝
• 来源期刊: 华中师范大学学报(自然科学版)
• 学科: 工学
• 关键词: 计算机网络 协议 协议工程 协议验证 Petri网
• 年，卷（期）: 2002,（4）
• 页码范围: 428-431
• 页数: 4页
• 分类号: TN915.04
• 字数: 4183字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-1190.2002.04.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖德宝	华中师范大学计算机网络与通信技术研究所	68	857	16.0	25.0
2	李艳	华中师范大学计算机网络与通信技术研究所	32	545	8.0	23.0