libsparkcrypto
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/libsparkcrypto/files/libsparkcrypto-0.1.0.tgz/download
关于 libsparkcrypto
使用 SPARK 编程语言正式验证的加密算法实现。对于完整的库证明不存在运行时错误可用。其一些次级方案包括部分正确性的证据。
相关软件
-
GenPW 免费
GenPW 是一个小型简单的密码生成器。它提供了一些附加功能,如密码模式和字符集概率。
-
ipfwAdmin 免费
IpfwAdmin 是一个基于 Web 的单独管理工具,用于管理FreeBSD Ipfw 规则表。它包含普通 c 和一些 csh/awk/sed 脚本。
-
Cosign: Web Single Sign-On 免费
一个开源项目,最初旨在为密歇根大学提供一个安全的单点登录网络身份验证系统。共同签名是国家科学基金会中间件倡议 (NMI) EDIT 软件发布的一部分。
-
SIFA 免费
SIFA(安全信息流分析器)使用基于图形的方法,从信息安全角度对系统可能的漏洞进行推理,支持对系统的多个视图。SIFA 是一个实验原型。
-
mySQLenum 免费
mySQLenum 是一个命令行自动盲 sql 注入工具,用于使用 MySql 服务器作为其背面的 Web 应用程序。它的主要目标是提供一个易于使用的命令行接口。
-
loop-AES 免费
快速透明的文件系统和交换加密包的linux。没有源代码更改到 linux 内核。适用于 2.6、2.4、2.2 和 2.0 内核。
-
Comply 免费
基于 Web 的合规性跟踪工具,基于 NIST 800-53 启动。 希望这将包括希帕, Glba, 萨班奥克斯利, 隐私法案等。
-
KeyCenter4NB 免费
用于访问和操作 Java 密钥存储文件、X.509 证书等的 Netbeans IDE 的模块套件。
-
Universal SAFE Signing Interface 免费
USSI 是通用安全签名接口。 USSI 为 PDF、文本、xml 等应用安全数字签名提供 Web 服务。 有关 SAFE http://www.safe-biopharma.org,请参阅此信息。
-
ASP.Net TypeKey authentication module 免费
允许站点使用 C# ASP.Net使用 TypeKey 身份验证服务。