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

摘要：

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

关键词：多层自动机映射、不动点、构建性验证

所属期刊栏目：41

分类号：TP393(计算技术、计算机技术)

资助基金：黑龙江省科技攻关项目GC03A120

在线出版日期：2005-06-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：141-142,189