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

• 作者: 彭勃
• 来源期刊: 移动信息
• 学科: 工学
• 关键词: 计算机网络 协议 协议工程 协议验证 Petri网
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 信息系统及应用
• 页码范围: 108-109
• 页数: 2页
• 分类号: TP393.04
• 字数: 2428字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭勃		1	1	1.0	1.0