Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. PDA - The Protocol Derivation Assistant
  5. Download

PDA - The Protocol Derivation Assistant

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

О PDA - The Protocol Derivation Assistant

Pda обеспечивает поддержку инструментов для производного подхода протоколов безопасности. Протоколы, модели, свойства безопасности ввесят через графический пользовательский интерфейс. Pda поддерживает усовершенствования протоколов и их моделей и дополнительные доказательства правильности.

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

  • KwikBASIC BASIC Interpreter Бесплатный

    KwikBASIC является переводчиком BASIC, написанным в FreeBASIC и внимательно следит за синтаксисом FreeBASIC.

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

    Это приложение Для потоковой передачи клиентских серверов, которое поддерживает многокастрикасовую потоковую передачу с использованием RTP / RTCP и потоковое аудио-видео по требованию с помощью RTSP. Поддерживает политику бал

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

    FluxWin является портом FluxBox для платформ Cygwin/XFree86. Я взял источник FluxBox и взломали части, которые не будут компиляции под Cygwin. Последняя рабочая версия 0.0.1 основана на Fluxbox 0.9.7.

  • ctInstaller Suite Бесплатный

    Простая настройка программы / создателя. Все данные установки хранятся при сжатии exe-files (может быть повторно открыт) файлов/данных. Временные файлы во время установки компонентов и операций настройки не основаны на скрипт

  • Remote Installer Starter Бесплатный

    Этот инструмент аудита программного обеспечения для локальных сетей позволяет собирать данные о приложениях, установленных на удаленных ПК. Собранная информация хранится в базе данных и может использоваться для создания отчет

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

    Chrootbin это инструмент, который поможет вам сделать основные chroot окружающей среды. Это позволяет пропустить скучные части сделать chroot с нуля. Он также поможет вам установить любые другие executables как strace или най

  • NSClient for Nagios Бесплатный

    Агент мониторинга NSClient для серверов Windows для использования в рамках мониторинга Nagios.

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

    SockThread – это реализация многотекторных розеток. Он встроен в эхо-сервер для подключения telnet. Первоначально она написана со стандартными родными библиотеками C/C. Были использованы классы СЗ std::thread и C гнездо API l

  • Like-C compiler Бесплатный

    Составитель Like-C — это небольшое, простое в использовании приложение, предназначенное для использования пользователями, которые хотят знать работу компилятора, такие как лексический анализ, грамматический анализ, семантичес

  • Drupal Video Tutorial | Drupal Video Tut Бесплатный

    Шаг за шагом видео-уроки выявить ярлык секреты о том, как победить Drupal быстро и легко.http://www.drupaltutorials.org/index.php