Pda обеспечивает поддержку инструментов для производного подхода протоколов безопасности. Протоколы, модели, свойства безопасности ввесят через графический пользовательский интерфейс. Pda поддерживает усовершенствования протоколов и их моделей и дополнительные доказательства правильности.
история версии
- Версия N/A размещено на 2011-08-09
Несколько исправлений и обновлений - Версия N/A размещено на 2011-08-09
Подробная информация о программе
- Категории: Сеть и Интернет > Других
- Издателя: pda.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: Array
- Платформы: windows