1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究Protocol Security Testing with SPIN and TTCN3.pdf

论文研究Protocol Security Testing with SPIN and TTCN3.pdf

上传者: 2020-01-06 01:36:43上传 PDF文件 385.93KB 热度 20次
基于SPIN和TTCN-3的协议安全性测试研究,周礼,王之梁,协议安全性测试是确保通信协议安全的重要方法。本文提出了一种基于模型检测工具SPIN和协议测试语言TTCN-3的网络协议安全性测试方法��
下载地址
用户评论