📚 安全工具技术资料

📦 资源总数:10000
💻 源代码:10000

🔥 安全工具热门资料

查看全部10000个资源 »

介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。...

⬇️ 7 次下载

针对计算机网络系统中普遍存在着漏洞和脆弱点的现状,从主动防御的角度出发,分析了利用攻击工具对网络系统进行安全性测试的必要性,研究了攻击工具库与攻击工具箱,提出了多属性攻击工具分类法,设计了面向...

👤 kent ⬇️ 7 次下载

💻 安全工具源代码

查看更多 »
📂 安全工具资料分类