基于SPIN的协议分析验证研究
来源期刊:软件工程2010年第9期
论文作者:侯奉含 白小翀
文章页码:60 - 63
关键词:SPIN;协议分析验证;Promela语言;GBN协议;
摘 要:为了研究协议分析验证方法的有效性,论文利用协议分析验证工具SPIN对可靠传输协议中的GBN协议进行了分析验证,结果发现单纯依靠工具并不能保证协议的正确性,本文对如何确保协议的正确性进行了研究,提出了具体建议。
侯奉含1,白小翀2
1. 河南工业职业技术学院计算机工程系2. 中国人民解放军95865部队
摘 要:为了研究协议分析验证方法的有效性,论文利用协议分析验证工具SPIN对可靠传输协议中的GBN协议进行了分析验证,结果发现单纯依靠工具并不能保证协议的正确性,本文对如何确保协议的正确性进行了研究,提出了具体建议。
关键词:SPIN;协议分析验证;Promela语言;GBN协议;