[网络安全] Pragmatic Equivalence and Safety Checking in Cryptol

说明： To reduce the cost of developing, certifying, and deploying cryptographic applications
<weixin_41656797> 上传 | 大小：603kb

[网络安全] HighLevel Synthesis of Cryptographic Hardware

说明： HighLevel Synthesis Tools 。Cryptol --Functional DomainSpecific Language
<weixin_41656797> 上传 | 大小：755kb

[网络安全] Cryptol: The Language of Cryptography Cryptanalysis

说明： Applying Cryptol to cryptanalysis，This talk will cover these topics and show their use in a cryptanalysis demo using Cryptol.
<weixin_41656797> 上传 | 大小：5mb

[网络安全] Hardware/Software Co-verification of Cryptographic Algorithms using Cryptol

说明： Language tailored to the crypto domain，Designed with feedback from cryptographers
<weixin_41656797> 上传 | 大小：3mb

[网络安全] cryptol Specification

说明： cryptol Specification, Implementation and Verification of High-Grade Cryptographic Applications
<weixin_41656797> 上传 | 大小：5mb

[网络安全] 等级保护标准

说明： 等级保护技术要求。本标准规定了不同安全保护等级信息系统的基本保护要求，包括基本技术要求和基本管理要求，适用于指导分等级的信息系统的安全建设和监督管理
<u011218920> 上传 | 大小：4mb

[网络安全] 代理ip进行恢复还原

说明： 系统的设置项变得更难找,也不是所有人都会怎么恢复代理设置的,那么大家就可以试试使用 ProxyUnsetter 这款小工具了 ProxyUnsetter 很简单，运行就可以了。运行后它会进行监测，当发现系统代理变化时，它就会自动进行还原。而如果你当前已经变化了，想还原，只需要双击 ProxyUnsetter 的图标就可以了。你也可以设置白名单，让 ProxyUnsetter 遇到时不还原。
<chen_wei_1990> 上传 | 大小：148kb

[网络安全] nmap-script使用帮助手册

说明： nmap-scr ipt使用帮助手册、400多个脚本使用帮助手册。
<cw6789> 上传 | 大小：613kb

[网络安全] 赛门铁克 CleanWipe_12.1.7369.6900

说明： 赛门铁克 CleanWipe_12.1.7369.6900 赛门铁克 CleanWipe_12.1.7369.6900
<gtaolife> 上传 | 大小：3mb

[网络安全] FTP上传工具

说明： 和大家分享一款免安装的FTP传输工具，支持FTP传输，大小只有400K，且配置简单
<ming_950803> 上传 | 大小：403kb

[网络安全] weblogic cmd命令漏洞检测

说明： 对weblogic中cmd反序列号漏洞检测，必须要求是java8的环境启动，也可以选择对jboos的漏洞，对安全测评来说，比较重要，可以复现漏洞
<coffee_moka> 上传 | 大小：45mb

[网络安全] 安全测试AppScan手册

说明： 安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册安全测试AppScan手册
<qq_22202013> 上传 | 大小：4mb