排序方式: 共有4条查询结果,搜索用时 312 毫秒
1
1.
2.
3.
在已知Lynch的简单文件传输协议缺陷的情况下,首先对该协议进行了分析并用Promela语言对其模型进行了描述,然后用SPIN工具对其进行分析验证,在以上的基础上指出了运用SPIN工具可能存在的局限性。 相似文献
4.
1