扫描技术

扫描技术技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

资源总数
500

扫描技术 全部资料 500 份

基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在

2024-05-09 5 扫描技术

此为端口扫描程序,可以应用于使用了多种类型协议的网络,如tcp,udp 等,功能还可以,但不是很快速。

2013-12-22 193 扫描技术