基于SPIN的协议分析验证研究

• 作者: 侯奉含 白小翀
• 来源期刊: 软件工程师
• 学科: 工学
• 关键词: SPIN 协议分析验证 Promela语言 GBN协议
• 年，卷（期）: 2010,（9）
• 页码范围: 60-63
• 分类号: TP393.08
• 字数: 4111字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0775.2010.09.024

摘要

为了研究协议分析验证方法的有效性,论文利用协议分析验证工具SPIN对可靠传输协议中的GBN协议进行了分析验证,结果发现单纯依靠工具并不能保证协议的正确性,本丈对如何确保协议的正确性进行了研究,提出了具体建议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	侯奉含	河南工业职业技术学院计算机工程系	13	27	3.0	5.0