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

• 作者: 余滨 张梅 文静华 李祥
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 网络协议 协议分析 符号模型检验
• 年，卷（期）: 2006,（15）
• 所属期刊栏目: 安全技术
• 页码范围: 135-136,145
• 页数: 3页
• 分类号: TP393
• 字数: 2415字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.15.048

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李祥	贵州大学计算机软件与理论研究所	91	551	13.0	19.0
2	文静华	贵州财经学院信息学院	58	334	10.0	15.0
6	张梅	贵州财经学院信息学院	43	257	9.0	14.0
7	余滨	贵州大学计算机软件与理论研究所	1	14	1.0	1.0