网络协议的一种构建性验证方法

• 作者: 丛延奇 刘英莉 刘诗笺 张立堃
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 多层自动机映射 不动点 构建性验证
• 年，卷（期）: 2005,（13）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 141-142,189
• 页数: 3页
• 分类号: TP393
• 字数: 4209字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.13.045

摘要

论文提出了多层自动机映射的思想,并应用此方法构建了复杂协议的构建性验证方法,同时给出了协议构建性验证的逻辑基础和构建步骤.此法有效地避免了复杂协议验证中状态组合爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丛延奇	哈尔滨工程大学计算机科学与技术学院	12	59	4.0	7.0
2	张立堃	哈尔滨工程大学计算机科学与技术学院	2	18	2.0	2.0
3	刘英莉	哈尔滨工程大学计算机科学与技术学院	2	30	2.0	2.0
4	刘诗笺	哈尔滨工程大学计算机科学与技术学院	2	30	2.0	2.0