libsparkcrypto
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://sourceforge.net/projects/libsparkcrypto/files/libsparkcrypto-0.1.0.tgz/download
Về libsparkcrypto
Việc triển khai chính thức các thuật toán mật mã được xác minh bằng ngôn ngữ lập trình SPARK. Đối với các bằng chứng thư viện đầy đủ về sự vắng mặt của thời gian chạy lỗi có sẵn. Một số chương trình con của nó bao gồm các bằng chứng về tính chính xác một phần.
Các chương trình liên quan
-
GenPW Miễn phí
GenPW là một trình tạo mật khẩu nhỏ và đơn giản. Nó cung cấp một số chức năng bổ sung như, Mẫu mật khẩu và Xác suất Characterset.
-
ipfwAdmin Miễn phí
IpfwAdmin là một công cụ quản trị dựa trên web độc lập quản lý Bảng quy tắc FreeBSD Ipfw. Nó chứa đồng bằng c và một số kịch bản csh / awk / sed.
-
Cosign: Web Single Sign-On Miễn phí
Một dự án mã nguồn mở ban đầu được thiết kế để cung cấp cho Đại học Michigan với một hệ thống xác thực web đăng nhập duy nhất an toàn. Cosign là một phần của Sáng kiến Middleware Quỹ Khoa học Quốc gia (NMI) EDIT phát hành phầ
-
SIFA Miễn phí
SIFA (Secure Information Flow Analyzer) sử dụng một cách tiếp cận dựa trên đồ thị để lý luận về các lỗ hổng có thể có của một hệ thống từ góc độ bảo mật thông tin, hỗ trợ nhiều quan điểm trên hệ thống. SIFA là một nguyên mẫu
-
mySQLenum Miễn phí
mySQLenum là một dòng lệnh tự động mù sql tiêm công cụ cho các ứng dụng web có sử dụng máy chủ MySql như back-end của nó. Mục tiêu chính của nó là cung cấp một giao diện dòng lệnh dễ sử dụng.
-
loop-AES Miễn phí
Hệ thống tập tin nhanh chóng và minh bạch và trao đổi gói mã hóa cho Linux.Không có thay đổi mã nguồn hạt nhân Linux.Làm việc với hạt nhân 2.6, 2.4, 2.2 và 2.0.
-
Comply Miễn phí
Một công cụ theo dõi tuân thủ dựa trên web sẽ bắt đầu dựa trên NIST 800-53. Hy vọng rằng nó sẽ bao gồm HIPAA, GLBA, Sarbane Oxley, Đạo luật bảo mật vv
-
KeyCenter4NB Miễn phí
Một bộ mô-đun cho Netbeans IDE để truy cập và thao tác các tệp kho khóa Java, chứng chỉ X.509, v.v.
-
Universal SAFE Signing Interface Miễn phí
USSI là giao diện ký safe phổ quát. USSI cung cấp dịch vụ web cho việc áp dụng chữ ký số SAFE cho PDF, văn bản, xml, v.v. Vui lòng xem http://www.safe-biopharma.org để biết thêm thông tin về AN TOÀN.
-
ASP.Net TypeKey authentication module Miễn phí
Một mô-đun C # để cho phép ASP.Net các trang web để dễ dàng sử dụng dịch vụ xác thực TypeKey.