Отправить программное обеспечение
  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 является небольшим и простым генератором паролей. Он предоставляет некоторые дополнительные функциональные возможности, такие как password Patterns и Вероятности Символов.

  • ipfwAdmin Бесплатный

    IpfwAdmin является автономным веб-администратор инструмент, который управляет Таблицы правил FreeBSD Ipfw. Он содержит простые c и некоторые csh/awk/sed скрипты.

  • Cosign: Web Single Sign-On Бесплатный

    Проект с открытым исходным кодом, первоначально разработанный для обеспечения Мичиганского университета безопасной единой системой веб-аутентификации. Cosign является частью Национального научного фонда Middleware инициативы

  • SIFA Бесплатный

    SIFA (Secure Information Flow Analyser) использует графический подход к разуму о возможных уязвимостях системы с точки зрения информационной безопасности, поддерживая несколько представлений о системе. SIFA является экспериме

  • mySQLenum Бесплатный

    myS'Lenum — это автоматический инструмент впрыска слепых sql для веб-приложения, который использует сервер MySql в качестве бэк-энда. Его основная цель заключается в предоставлении простого в использовании интерфейса командно

  • loop-AES Бесплатный

    Быстрая и прозрачная файловая система и пакет шифрования для linux.Исходный код ядра linux не изменяется.Работает с ядрами 2.6, 2.4, 2.2 и 2.0.

  • Comply Бесплатный

    Веб-инструмент отслеживания соответствия, который начнется на основе NIST 800-53. Надеемся, она будет включать в себя HIPAA, GLBA, Sarbane Oxley, Закон о конфиденциальности и т.д.

  • KeyCenter4NB Бесплатный

    Набор модулей для Netbeans IDE для доступа и манипулирования файлами Java keystore, сертификатами X.509 и т.д.

  • Universal SAFE Signing Interface Бесплатный

    USSI является универсальным интерфейсом подписания SAFE. USSI предоставляет веб-сервисы для применения цифровых подписей SAFE для PDF, текста, xml и т.д. Пожалуйста, http://www.safe-biopharma.org для получения дополнительно

  • ASP.Net TypeKey authentication module Бесплатный

    Модуль СЗ, позволяющий ASP.Net легко использовать службу аутентификации TypeKey.