cryptlib安全工具包
cryptlib安全工具包,用来实现各种加密和证书生成功能。...
cryptlib安全工具包,用来实现各种加密和证书生成功能。...
security tools 介绍了各种安全工具,很好的书...
smartkid网络安全检测工具,系统安全工具。 C源码。...
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。...
针对计算机网络系统中普遍存在着漏洞和脆弱点的现状,从主动防御的角度出发,分析了利用攻击工具对网络系统进行安全性测试的必要性,研究了攻击工具库与攻击工具箱,提出了多属性攻击工具分类法,设计了面向...