VDE安全工具
VDE安全工具技术资料下载专区，收录10,000份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
共 10,000 份资源
VDE安全工具 热门资料
PDF文档
基于GSPM的安全协议检验工具
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。...
PDF文档
面向安全测试攻击工具库设计
针对计算机网络系统中普遍存在着漏洞和脆弱点的现状，从主动防御的角度出发，分析了利用攻击工具对网络系统进行安全性测试的必要性，研究了攻击工具库与攻击工具箱，提出了多属性攻击工具分类法，设计了面向...