Provable Security Under Virtualization: Projekt ma na celu udowodnienie bezpieczeństwa hipernadzorcy. Tło: Provable bezpieczeństwa jest pojęciem, które jest coraz częściej wykorzystywane do zapewnienia rygorystycznych gwarancji, że system spełnia speci ed prop erties bezpieczeństwa. Zaprojektuj
historia wersji
- Wersja N/A opublikowany na 2010-02-09
Kilka poprawek i aktualizacji - Wersja N/A opublikowany na 2010-02-09
Szczegóły programu
- Kategorii: Sieć & Internet > Innych
- Wydawca: provablesecurit.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: Array
- Platformy: windows