ソフトウェアの提出
  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 ベースの管理ツールで、管理フリーBSD IpFW ルールテーブル。それはプレーンcといくつかのcsh / awk / sedスクリプトが含まれています。

  • Cosign: Web Single Sign-On 無料

    もともとミシガン大学に安全なシングルサインオンウェブ認証システムを提供するために設計されたオープンソースプロジェクト。コサインは、国立科学財団ミドルウェアイニシアチブ(NMI)EDITソフトウェアリリースの一部です。

  • SIFA 無料

    SIFA (セキュア情報フローアナライザー) は、情報セキュリティの観点からシステムの脆弱性の可能性を推論するグラフベースのアプローチを使用して、システム上の複数のビューをサポートします。SIFAは実験的なプロトタイプです。

  • mySQLenum 無料

    mySQLenum は、MySql サーバーをバックエンドとして使用する Web アプリケーション用のコマンド ライン自動ブラインド SQL インジェクション ツールです。その主な目標は、使いやすいコマンドラインインターフェイスを提供することです。

  • loop-AES 無料

    高速かつ透過的なファイルシステムと Linux 用スワップ暗号化パッケージ。Linux カーネルにソースコードは変更されません。2.6、2.4、2.2 および 2.0 カーネルで動作します。

  • Comply 無料

    NIST 800-53に基づいて開始されるウェブベースのコンプライアンストラッキングツール。 うまくいけば、それはHIPAA、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 無料

    ASP.Net サイトが TypeKey 認証サービスを簡単に使用できるようにする C# モジュール。