摘要
随着网络协议复杂性的增大,其自身的潜在错误变得更加重要。使用形式化的方法来描述和验证网络协议可以发现其中的潜在错误。时间自动机是形式化方法的一种,可以很好地应用于网络协议验证中。目前基于时间自动机已经开发出了多种自动验证工具。文章介绍了网络协议验证的几种方法,并以KRONOS验证FDDI协议为例说明了用时间自动机验证协议的方法。
The protocol complexity is increasing rapidly, it is important to discover the faulty in protocols. There are many verification methods for protocols. Timed automata can also be applied in protocol verifications very well. Many tools have been developed based on timed automata. They are very useful in protocol verifications. This paper presents some methods of protocol verification and uses KRONOS to verily FDDI to introduce the method of using timed automata.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第22期130-132,共3页
Computer Engineering
关键词
时间自动机
网络协议
阱议验证
Timed automata
Network protocol
Protocol verification
