基于SMV的网络协议形式化分析与验证

摘要：

提出了采用模型检验方法对网络协议进行形式化分析及自动验证,建立了一个特定网络协议PAR的有限状态机模型,并用模型检验工具SMV验证其正确性,发现了该协议存在的一些缺陷.结果表明,利用符号模型检验方法分析检验网络协议是可行的.

关键词：网络协议、协议分析、符号模型检验

所属期刊栏目：32

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

资助基金：贵州省自然科学基金20052111;贵州省教育厅自然科学基金2004219

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

页数：共3页

页码：135-136,145