时间自动机与网络协议验证

• 作者: 周清雷 高冠龙
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 时间自动机 网络协议 协议验证
• 年，卷（期）: 2006,（22）
• 所属期刊栏目: 网络与通信
• 页码范围: 130-132
• 页数: 3页
• 分类号: TP301.1
• 字数: 2987字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.22.047

摘要

随着网络协议复杂性的增大,其自身的潜在错误变得更加重要.使用形式化的方法来描述和验证网络协议可以发现其中的潜在错误.时间自动机是形式化方法的一种,可以很好地应用于网络协议验证中.目前基于时间自动机已经开发出了多种自动验证工具.文章介绍了网络协议验证的几种方法,并以KRONOS验证FDDI协议为例说明了用时间自动机验证协议的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
5	高冠龙	郑州大学信息工程学院	1	6	1.0	1.0