libsparkcrypto
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/libsparkcrypto/files/libsparkcrypto-0.1.0.tgz/download
に関しては libsparkcrypto
SPARK プログラミング言語を使用した暗号アルゴリズムの正式な実装。ランタイム エラーがないことを示す完全なライブラリの証明が利用可能です。そのサブプログラムの一部には、部分的な正確性の証明が含まれています。
関連プログラム
-
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# モジュール。