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 身份驗證服務。