| 网络协议的一种构建性验证方法 |
| |
| 引用本文： | 丛延奇,张立堃,刘英莉,刘诗笺. 网络协议的一种构建性验证方法[J]. 计算机工程与应用, 2005, 41(13): 141-142,189 |
| |
| 作者姓名： | 丛延奇 张立堃 刘英莉 刘诗笺 |
| |
| 作者单位： | 哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001;哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001;哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001;哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001 |
| |
| 基金项目： | 黑龙江科技攻关项目资助(编号:GC03A120) |
| |
| 摘 要： | 论文提出了多层自动机映射的思想,并应用此方法构建了复杂协议的构建性验证方法,同时给出了协议构建性验证的逻辑基础和构建步骤。此法有效地避免了复杂协议验证中状态组合爆炸问题。
|
| 关 键 词： | 多层自动机映射 不动点 构建性验证 |
| 文章编号： | 1002-8331-(2005)13-0141-02 |
A Compositional Approach of Network Protocol Verification |
| |
| Cong Yanqi,Zhang Likun,Liu Yingli,Liu Shiqian. A Compositional Approach of Network Protocol Verification[J]. Computer Engineering and Applications, 2005, 41(13): 141-142,189 |
| |
| Authors: | Cong Yanqi Zhang Likun Liu Yingli Liu Shiqian |
| |
| Abstract: | The paper presents an idea of multi-layer FSM mapping.Based on the idea,The authors give a compositional strategy of complex protocol verification,its logical foundation and steps of composition.This approach of verifying complex protocol can overcome the 'state explosion problem' effectively and efficiently. |
| |
| Keywords: | multi-layer FSM mapping invariant compositional verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
