| 基于SPIN的协议分析验证研究 |
| |
| 引用本文： | 侯奉含,白小翀.基于SPIN的协议分析验证研究[J].软件工程师,2010(9):60-63. |
| |
| 作者姓名： | 侯奉含 白小翀 |
| |
| 作者单位： | 1. 河南工业职业技术学院计算机工程系,河南,南阳,473009
2. 中国人民解放军95865部队,北京,昌平,102218 |
| |
| 摘 要： | 为了研究协议分析验证方法的有效性,论文利用协议分析验证工具SPIN对可靠传输协议中的GBN协议进行了分析验证,结果发现单纯依靠工具并不能保证协议的正确性,本文对如何确保协议的正确性进行了研究,提出了具体建议。
|
| 关 键 词： | SPIN 协议分析验证 Promela语言 GBN协议 |
The research of protocol analysis and verification based on SPIN |
| |
| HOU Fenghan,BAI Xiaochong.The research of protocol analysis and verification based on SPIN[J].Software Engineer,2010(9):60-63. |
| |
| Authors: | HOU Fenghan BAI Xiaochong |
| |
| Affiliation: | 1 Department of Computer Engineering , Henan Polytechnic Institute, Nanyang, Henan, China, 473009 2 PLA Uint 95865, Changping, Beijing, China, 102218) |
| |
| Abstract: | In order to research the effectivity of the protocol analysis verification, this paper analyzed and verified This paper found that studied how to ensure the only the c reliable transport protocol GBN by protocol analysis tool SPIN relying on SPIN can not guarantee the correctness of the protocol orrectness of the protocol, and made specific recommendations. |
| |
| Keywords: | SPIN |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
