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

摘要：

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

关键词：时间自动机、网络协议、协议验证

所属期刊栏目：32

分类号：TP301.1(计算技术、计算机技术)

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

页数：共3页

页码：130-132