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

• 作者: 彭熙 李艳 肖德宝
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 计算机网络 协议 协议工程 协议验证 Petri网
• 年，卷（期）: 2002,（11）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 251-252,272
• 页数: 3页
• 分类号: TP393.04
• 字数: 4564字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2002.11.097

摘要

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

作者信息

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