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