Sicurezza dimostrabile in virtualizzazione: il progetto riguarda la dimostrazione della sicurezza dell'hypervisor. Contesto: La sicurezza dimostrabile è un concetto che viene sempre più utilizzato per fornire garanzie rigorose che un sistema soddisfa specifiche proprietà di sicurezza. Progettare un
cronologia delle versioni
- Versione N/A pubblicato il 2010-02-09
Diverse correzioni e aggiornamenti - Versione N/A pubblicato il 2010-02-09
Dettagli del programma
- Categoria: Rete & Internet > Altro
- Editore: provablesecurit.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: windows