Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. Obol
  5. Download

Obol 2009-03-28

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов

О Obol

Obol является языком программирования для протоколов безопасности. Идея заключается в том, чтобы программировать ближе к абстракциям, используемым для описания и анализа протоколов безопасности, оставляя низкоуровневые детали, такие как представление сообщений, общение, криптография, на время выполнения.

Похожие программы

  • Action1 Add or Change Startup Program Бесплатный

    ОС Windows автоматически запускает определенные приложения, указанные в профиле каждого пользователя при логотипе. Добавление программы к запуску на Windows может помочь в подготовке рабочего стола пользователя на логотипе ил

  • Secured Sumatra PDF Бесплатный

    Secured Sumatra PDF — это модифицированная версия pdf Sumatra, предназначенная для реализации в специально защищенных средах терминалов, таких как Citrix.

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

    EyeLog является гибким и extensible анализатор журнала для любого типа файла журнала. Это позволяет определить пользовательские регулярные выражения (перл-стиль) для сопоставления шаблонов и пользовательских форматов печати д

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

    gui4bdc - это графический передний конец Bit Defender Console, вирусного сканера для Linux (доступен http://www.bitdefender.com). Она будет направлена на обеспечение всей функциональности консоли утилиты в простой в использов

  • TPM Device Driver Бесплатный

    Драйвер устройства для включения чипа TPM, как описано в спецификациях http://www.trustedcomputinggroup.org.Чип TPM позволит вам использовать оборудование для надежного хранения и защиты ключей и персональных данных. Смотр

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

    Open Smart Home это проект, который обеспечивает интеллектуальный интерфейс управления для вашего дома.

  • Easy-SEND Бесплатный

    Easy-SEND — это реализация протокола SEND (SEcure Neighbor Discovery) для IPv6. Он предназначен для использования в учебных и испытательных целях. SEND описан в RFC 3971. Easy-SEND включает в себя инструмент (CGAGen) для созд

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

    EasyCrypter - это java-приложение для шифрования данных. Шифруйте файлы несколькими простыми шагами.

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

    Инструмент для сокрытия bitTorrent metainfo (.torrent файлов) в и восстановить то же самое назад от изображений (и других типов файлов) с использованием стеганографические методы, обеспечивающие дружественный графический

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

    Дистрибутив Linux стоит на дискете: iptables, ядро 2.4.18, поддержка sshd и легко настраивается.