| 基于Lynch简单文件传输协议的SPIN分析验证及其局限性 |
| |
| 引用本文： | 刘涛,龚松显.基于Lynch简单文件传输协议的SPIN分析验证及其局限性[J].山西电子技术,2006(5):69-71. |
| |
| 作者姓名： | 刘涛 龚松显 |
| |
| 作者单位： | [1]解放军理工大学通信工程学院研究生2队,江苏南京210007 [2]解放军理工大学通信工程学院研究生1队,江苏南京210007 |
| |
| 摘 要： | 在已知Lynch的简单文件传输协议缺陷的情况下，首先对该协议进行了分析并用Promela语言对其模型进行了描述，然后用SPIN工具对其进行分析验证，在以上的基础上指出了运用SPIN工具可能存在的局限性。
|
| 关 键 词： | Lynch的简单文件传输协议 SPIN工具 局限性 |
| 修稿时间： | 2006年6月8日 |
Analysis and Certification of SPIN Based on the Simple File Transfer Protocol and Its Limitations |
| |
| Liu Tao Gong Song-xian.Analysis and Certification of SPIN Based on the Simple File Transfer Protocol and Its Limitations[J].Shanxi Electronic Technology,2006(5):69-71. |
| |
| Authors: | Liu Tao Gong Song-xian |
| |
| Affiliation: | Liu Tao~1 Gong Song-xian~2 |
| |
| Abstract: | This paper analyzes the Lynch Simple File Transfer Protocol and describes its model with Promela language based on the known defaults of protocol,validates its correctness with SPIN tool.This work points out the possible limitations when using SPIN tool. |
| |
| Keywords: | Lynch SFTP SPIN tool limitations |
| 本文献已被 CNKI 维普 等数据库收录！ |
