Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. libsparkcrypto

libsparkcrypto

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu
Tải về

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.

lịch sử phiên bản

  • Phiên bản files đăng trên 2010-09-13
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2010-09-13

Chi tiết chương trình

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.