论文研究Protocol Security Testing with SPIN and TTCN3.pdf 上传者：Xieminsen 2020-01-06 01:36:43上传 PDF文件 385.93KB 热度 36次 基于SPIN和TTCN-3的协议安全性测试研究，周礼，王之梁，协议安全性测试是确保通信协议安全的重要方法。本文提出了一种基于模型检测工具SPIN和协议测试语言TTCN-3的网络协议安全性测试方法�� 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
