提交軟體
  1. 首頁
  2. Linux軟體
  3. 其他
  4. libsparkcrypto

libsparkcrypto

軟體性質： 免費 ‎檔案大小： N/A
‎使用者評分： 5.0/5 - ‎1 ‎評分
點擊下載

使用 SPARK 程式設計語言正式驗證的加密演算法實現。對於完整的庫證明不存在運行時錯誤可用。其一些次級方案包括部分正確性的證據。

版本歷史記錄

  • 版本 files 發佈於 2010-09-13
    若干修復和更新
  • 版本 N/A 發佈於 2010-09-13

軟體細節

相關軟體

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