简介概要

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

来源期刊：软件工程2010年第9期

论文作者：侯奉含白小翀

文章页码：60 - 63

关键词：SPIN;协议分析验证;Promela语言;GBN协议;

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

详情信息展示

侯奉含¹，白小翀²

1. 河南工业职业技术学院计算机工程系2. 中国人民解放军95865部队

关键词：SPIN;协议分析验证;Promela语言;GBN协议;